5 Philosophen: Aufgaben/Übung

Programmstruktur:

class Fork { void take() ; void drop () }
Philosoph i : new Thread () { void run () { 
 while(true) { this.nachdenken();
    fork[i].take(); fork[i+1].take();
    this.essen();
    fork[i].drop(); fork[i+1].drop(); 
}}} . start();

welche Eigenschaften hat dieses Programm,

• global: progress oder deadlock?
• lokal: fairness?

wie kann man das ggf. reparieren?