Prozesskommunikation
Prozesskommunikation
Prozesskommunikation
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Eine grundsätzliche Überlegung (2)<br />
Behauptung<br />
Es gibt kein solches Protokoll, das mit endlich vielen<br />
Botschaften auskommt!<br />
Beweis: Angenommen, es gebe solche Protokolle<br />
●<br />
bestehend aus Folgen von Botschaften: ( m p → q , m q → p )*.<br />
●<br />
●<br />
Wähle: Protokoll mit geringster Zahl von Botschaften.<br />
o. B. d. A.: m p → q sei letzte Botschaft dieses Protokolls, dann<br />
kann p eine solche Entscheidung nicht auf der Annahme<br />
aufbauen, dass m p → q ankommt.<br />
●<br />
dito für q.<br />
●<br />
➔<br />
Also kann m p --> q auch wegfallen.<br />
Widerspruch, da offensichtlich nicht kleinstes Protokoll!<br />
Betriebssysteme WS 2012, ProzessKommVS 16<br />
Hermann Härtig, TU Dresden