Übung Semaphore

Simulation allgemeiner Semaphor durch binären Semaphor

• Warum ist Solution 1 falsch, worin besteht Unterschied zu Solution 2? http://www.csc.uvic.ca/~mcheng/460/notes/gensem.pdf

Philosophen: Algorithmen implementieren und Eigenschaften (Liveness, Fairness) diskutieren/beweisen:

• trivialer Ansatz: http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=skpp13.git;a=tree;f=philo;hb=HEAD
• Philosoph 0 ist Linkshänder
• ein Kellner, der immer nur maximal 4 Leute an den Tisch läßt

weiter Beispiele zu Semaphoren: Allen B. Downey: The Little Book of Semaphores, http://greenteapress.com/semaphores/downey08semaphores.pdf