Modellierung des Ressourcenzugriffs

Modellierung des ausschließlichen Ressourcenzugriffs:

class Fork { 
    private boolean taken = false;
    synchronized void take () {
        while (taken) { wait (); }  
        taken = true;               }
    synchronized void drop () {
        taken = false; notify ();   } }

beachte:

• beide Methoden sind synchronized
• wait() innerhalb einer Schleife, die die Bedingung testet (nach Aufwachen)