Prozesse seien im Zustand aktiv (noch
Arbeit vorhanden) oder passiv (keine Arbeit vorhanden).
Ein aktiver Prozeß kann spontan passiv werden.
Ein passiver Prozeß wird durch Erhalt eines
Auftrags wieder aktiv.
Frage: Sind alle passiv?
Zur Klärung dieser Frage wird ein Hamilton-Kreis
in der Topologie benutzt, auf dem ein Token
weitergereicht wird, welches vom Master
initiiert wird.
Das Token wird nur von
passiven Prozessen weitergereicht.
Zu Beginn sind alle Prozesse weiß.
Ein Prozeß wird schwarz durch Verschicken eines Auftrags.
Master startet im passiven Zustand ein weißes Token und
wird weiß.
Ein weißer Prozeß reicht Token so weiter wie erhalten.
Ein schwarzer Prozeß reicht Token schwarz weiter und wird weiß.
Erhält weißer Master ein weißes Token, so sind alle passiv.
Erhält Master ein schwarzes Token, so reicht er es weiß weiter.