Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Verklemmungsfreie Philosophen I
void philosoph (int i)
while (true)
denke();
nimmGabeln (i);
esse();
legeGabeln (i);
6.3. Programmieren von nebenläufigen Abläufen
void nimmGabeln (int i)
down ( ausschluss );
zustand[i] = hungrig;
prüfe(i);
up ( ausschluss );
down ( phil[i] );
(* Blockiere falls Gabeln nicht frei *)
void legeGabeln (int i)
down ( ausschluss );
zustand[i] = denkend;
prüfe( (i-1) % N ); (* aktiviere ggf. Nachbarn *)
prüfe( (i+1) % N ); (* aktiviere ggf. Nachbarn *)
up ( ausschluss );
void prüfe (int i)
if ( zustand[i] == hungrig &&
zustand[i-1 % 5] != essend &&
zustand[i+1 % 5] != essend )
zustand[i] = essend;
up ( phil[i] );
(* aktiviert bei Blockade! *)
Realisierung in Java
¯ in Java: geschützte Objekte (entsprechen geschützten Bereichen)
129