Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

6. Verteilte Berechnungen
¯ Lösung: Schützen des Besteckkasten durch synchronized-Anweisung
Diese implementiert quasi einen Monitor analog einer Semaphore.
¯ kritischer Bereich
alle Zugriffe synchronisiert mittels Semaphore mit Initialwert 1
Der Besteckkasten
¯ Verwaltung der 5 Gabeln
¯ Operationen zum Aufnehmen, Ablegen und Testen
class Canteen
// 5 Gabeln: true - frei, false - belegt
boolean forks[] =
true, true, true, true, true
;
// Testet, ob Gabel verfügbar ist.
boolean isAvailable (int f)
return forks[f];
// Aufnehmen der Gabel.
void takeFork (int f)
forks[f] = false;
// Ablegen der Gabel.
void putFork (int f)
forks[f] = true;
Ein Philosoph
class Philosopher extends Thread
// Konstanten für die möglichen Zustände
public final static int THINKING = 1;
public final static int HUNGRY = 2;
public final static int EATING = 3;
130
Canteen canteen; // der Besteckkasten
int leftFork, rightFork;