Lab 1 Bonus-Problem 2

[Talaron]

Hallo,

bei der Bearbeitung der zweiten Bonusaufgabe des ersten Labs sind wir auf einen Atomic-Get&Set-Block getoßen, den man zwar nicht weglassen kann, aber stark vereinfachen könnte:

Wenn man sich streng an die Vorlage aus der Vorlesung hält, sollte man schreiben:

Code: Alles auswählen

atomic {
   guard && !critical;
   critical = true;
} 
queue ! me
critical = false;

Allerdings führt man ja im kritischen Block nur ein einziges Kommando aus, sodass es genausogut möglich wäre, folgendes zu schreiben:

Code: Alles auswählen

atomic {
   guard;
   queue ! me;
} 

Hierdurch hätte man eine Hilfsvariable und zwei Zeilen Code gespart. Ist diese Vereinfachung zulässig, oder sollen wir uns hier wirklich ganz streng an die Vorlage aus der Vorlesung halten?

Grüße und Danke.

Nico Ritschel

[Nathan Wasser]

Nein, die Vereinfachung ist nicht zulässig. Ich werde nach der Abgabefrist gerne noch mehr dazu sagen, jetzt scheint es mir aber eher ungeeignet zu sein.

[2basti]

Könnte man denn jetzt "mehr dazu sagen" und vielleicht auch mal ganz allgemein was zwar "funktioniert" aber nicht "erlaubt" ist.
Danke

[Nathan Wasser]

Gerne.

Das erste Problem im allgemeinen mit einem Statement wie "atomic { guard; queue ! me }" ist, dass ein potentiell blockierendes Statement "queue ! me" im atomic Block ist. Wenn man so etwas macht, sollte man entweder 100%ig sicher sein, dass dieses Statement nie blockiert, oder aber damit einverstanden sein, dass der atomic Block möglicherweise nicht atomic ist. Da ist es vermutlich wesentlich leichter die Variante zu wählen, bei der man sich solche Fragen nicht stellen muss.

Das zweite Problem ist recht einfach: Ihr solltet hier eine atomic Test&Set Instruktion nachbilden, die es in mancher Hardware gibt. Damit umzugehen ist also durchaus auch praxisrelevant. Alles mögliche in einem atomic Block einzuklammern ist hingegen äußerst weltfremd. SPIN erlaubt dies (und Rendezvouskanäle) um etwas eher kompliziertes sehr einfach ausdrücken zu lassen. Es sollte aber nicht missbraucht werden.

Zu der Frage was erlaubt ist: Wenn in der Aufgabenstellung etwas verlangt wird, dann sollte es auch eingehalten werden.