Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Erzeuger-Verbraucher-System als Petri-Netz
Erzeuger
6.3. Programmieren von nebenläufigen Abläufen
Erzeuger Puffer
Verbraucher
nichtvoll
nichtleer
repeat
‘‘Erzeuge Marke’’;
down (nichtvoll);
down (gesperrt);
‘‘Transportiere Marke in Puffer‘‘;;
up (gesperrt);
up (nichtleer);
until false;
Verbraucher
repeat
down (nichtleer);
down (gesperrt);
‘‘Entnehme Marke dem Puffer‘‘;;
up (gesperrt);
up (nichtvoll);
‘‘Verbrauche Marke’’;
until false;
Philosophenproblem mit Semaphoren
¯ Gabeln als Semaphoren initialisiert mit 1
... Verklemmungsmöglichkeit falls alle Philosophen dem selben Programm
folgen!
¯ Eine Semaphore für den Spaghettitopf ....
..wenig Nebenläufigkeit wenn lange gegessen wird.
¯ Eine (globale) Semaphore für Überprüfung ob beide Nachbargabeln frei sind,
schützt auch die Aufnahme der Gabeln aber nicht die gesamte Eßphase ...
... mehr Nebenläufigkeit, keine Verklemmungen.
n = 4
127