Systemsoftware

Semantik von Signal()
(1) {B∧(CV'=∅)} CV.Signal ( ) {B∧(CV=∅)}
• Variante I: kein Besitzwechsel, Befreiung höchstens eines Threads aus CV
(2) {B∧(CV'≠∅)} CV.Signal ( ) {B∧(CV=CV'-{P x },P x ∈CV')∧(P=P'∪{P x })}
• Variante II: kein Besitzwechsel, Befreiung aller Threads aus CV
(2') {B∧(CV'≠∅)} CV.Signal ( ) {B∧(CV=∅)∧(P=P'∪CV')}
• Variante III: Besitzwechsel vom signalisierenden auf einen signalisierten
Thread (Hoare 1974)
(2'') {B∧(CV'≠∅)} CV.Signal ( ) {B∧(P=P'∪{P r }∧(P r =Blocked) ∧(CV=CV'- {P x },
P x ∈CV')∧(P x =Ready)}
Systemsoftware - Lektion X 7
Programmierregeln
• Signal-Varianten I und II
– keine Garantie, dass die Bedingung B nach Wait erfüllt ist, deshalb
Benutzung von Wait immer in der while-Schleife:
while (!B) Conditionvariable.Wait();
• Signal-Variante III:
– war B unmittelbar vor Signal erfüllt, dann ist B auch garantiert nach Wait
erfüllt, deshalb ist die Benutzung von Wait auch in if-Anweisung sicher:
if (!B) Conditionvariable.Wait();
Systemsoftware - Lektion X 8