Übungsblatt 6 A1
08.12.2011 12:00:00
Hi,

haben da mal ne Frage wegen dem wechselseiteigen Ausschluss. Und zwar sagt die Vorlesungsfolie, dass nicht alle 5 Bedingungen für den wechselseitigen Ausschluss bei Versuch 1 immer gegeben sind (Bed 4 nicht erfüllt), also denke ich, dass für Versuch 1 der wechselseitige Ausschluss nicht garantiert ist.

Habe trotzdem einfach mal die turn variable entsprechend verändert, dass Versuch 1 auch für n Prozesse läuft.
Re: Übungsblatt 6 A1
08.12.2011 12:08:23
Da sind die Folien vielleicht ein bisschen missverständlich.
"Wechselseitiger Ausschluss" besagt nur, dass zwei Prozesse nicht gleichzeitig im kritischen Bereich sind (vergleiche Folie 6 in den annotierten Folien).
Die 4 zusätzlichen Bedingungen 2-4 (siehe Folie 7 in den annotierten Folien) müssen dazu nicht erfüllt sein, sind aber wünschenswerte Bedingungen für Algorithmen, die einen wechselseitigen Ausschluss implementieren.