Gegenseitiger Ausschluß (grundsätzlich)

Semaphore s := 1;
Gemeinsame Ressource r;
Prozeß Nr i { non_critical_section;
              Wait (s);
              cricital_section; // benutze r
              Signal (s);    }

Eigenschaften:

• gegenseitiger Ausschluß
• fairness für 2 Prozesse
• für ≥3 Prozesse nur progress
• fairness für ≥3, wenn blockierte Prozesse in Queue (statt Menge) verwaltet werden