Prozessverwaltung

[svenni10]

Hallo ich habe eigentlich ein ganz simples Problem zur Prozessverwaltung, aber irgendwie habe ich n Brett vorm Kopf :upps (ich hoffe das Thema ist an der richtigen Stelle, aber ein Forum zur theoretischen Informatik hab ich nicht gefunden)

ich habe folgendes Programmgerüst:

T1 ------> T2 ------> T5

..\............................/

...\........................../

...T3-------------->T4

die sollen in einem Prozess laufen und Präzedenzen sollen eingehalten werden.

Dann wäre doch der Prozess so oder?

Prozess P1

========

T1

T3

T2

T4

T5

was ist aber mit der Präzendezenreihenfolge? T3 vor T2?! Wenn ich T2 vor T3 nehme haut das nicht mit der Grafik hin.

In zwei Prozessen könnte man das gut als Prozesse mit Wechselwirkung darstellen, aber in einem?! Kann mir jemand einen Denkanstoss geben?

[flashpixx]

Was hat das Thema bitte mit C/C++ zu tun?

Ich denke, dass Du das ganze eher als Relation auffassen solltest. Die Präzendenzrelation besagt (salopp formuliert) erst einmal dass ein T_i beendet sein muss, bevor ein T_j beginnt mit i < j _und_ T_i orthogonal zu T_j (sprich nicht parallel). (Daraus ergibt sich dann z.B. auch Transitivität und auch die lineare Abfolge der Zugriffe auf den Speicher)

Die visuelle Darstellung ist dann mit einem azyklischen gerichteten Graphen denke ich klar, wobei der Graph keine Zyklen enthalten darf (ist auch denke ich klar, warum).

Ich weiß jetzt nicht wie ich Deine Graphik deuten soll, da es definitiv kein gerichteter Graph ist. T1, T2, T5 sind klar, denn sie sind serialisierbar (analog T3 und T4). Bei der Kante T1 zu T3 bzw T4 zu T5 fehlen die Richtungsangaben.

Ich denke Du wirst hier über die formale Definition weiter kommen, d.h. eben die Einhaltung der Orthogonalität von genau zwei Elementen der Relation. Bei dem Beispiel kannst Du auch alle Möglichkeiten durchprobieren, schwieriger wäre es wenn Du es für n zeigen musst (Stichwort: transitive Hülle der Relation)