Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

6. Verteilte Berechnungen
Philosoph
repeat
denken;
hungrig werden;
nimm Gabel ;
nimm Gabel ÑÓ ;
essen;
lege Gabel zurück;
lege Gabel ÑÓ zurück
until false.
Philosoph mit Semaphoren
repeat
denken;
hungrig werden;
down ();
down ( );
essen;
up ();
up (
until false.
Verklemmungen möglich!
Verklemmungsfreie Philosophen: Idee
N Philosophen, eine Semaphore ausschluss zum Synchronisieren der Gabelaufnahme
Prozedur prüfe testet ob beide Nachbarn essen; falls nicht aktiviert Philosoph
für Essensphase
je Philosoph eine Semaphore phil umd die Blockade und das Aktivieren zu
realsieren
Aktivierung: Philosoph aktiviert (wenn möglich) beide Nachbarn sobald er fertig
gegessen hat
Verklemmungsfreie Philosophen: Varablen
128
int zustand [N];
(* denkend, hungrig, essend *)
semaphor ausschluss = 1;
(* Synchronisation aller Philosophen *)
semaphor phil [N] = 0;
(* Blockade eines Philosophen *)