Blatt 12, A4
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Sperren
In den Musterlösungen steht für die Folge: r2(B), w2(B), r1(A), r3(A), r3(B), w1(A), w3(A), c1, c2, c3,
dass “T1 fordert X-Sperre für A an und wird ebenfalls blockiert.”. Hier ist mir nicht so ganz klar, warum T1 blockiert wird. In der Tabelle ist X-Sperre frei. Und ist es nicht analog r2(B), w2(B) … === r1(A), … , w1(A)?
Danke.
Solange T3 die S-Sperre auf A hält (also den Wert liest, um ihn weiter zu verarbeiten), kann T1 keine X-Sperre auf A kriegen, denn dann würde ja A geändert und T3 hätte einen alten Wert gelesen. Wenn dann T3 A aktualisiert, wäre das wohl ein Lost Update.
A = 2.
T1 liest A=2.
T3 liest A=2.
T1 schreibt A=A+10=12.
T3 schreibt A=A(alt!)+5 = 7.
T1 darf daher keine X-Sperre auf A halten.
Ohne Gewähr, aber so würde ich mir das erklären 
edit: Zu den Kombinationsmöglichkeiten ist evtl. Foliensatz 12, S. 27 hilfreich 
Kann mir jemand erklären, wie man auf den Abhängigkeitsgraph (Aufgabe zuvor) kommt?
Danke! 