Beispiel: Philosophen in der Mensa

(Edsger Dijkstra, Tony Hoare, ca. 1965)

• Prozess = Philosoph
• gemeinsame Ressource = Gabel

gewünschte System-Eigenschaften:

• liveness (kein Verklemmen)

  die Folge der Aktionen ist unendlich

• fairness (kein Verhungern)

  falls ein Prozeß eine Ressource anfordert, bekommt er sie nach endlich vielen Aktionen tatsächlich