2-up - ETH Zürich

Race conditions bei Threads
• Threads kommunizieren über gemeinsame Variablen
• „shared variables“
• Dabei kann es zu unterschiedlichen Ergebnissen kommen,
je nachdem, welcher Thread zuerst bzw. zuletzt auf eine
Variable zugreift
• „race condition“ bzw. „hazard“
A
B
Wer hat das letzte Wort? Welcher Effekt ist hier wirksam?
Wer zuerst kommt, mahlt zuerst – aber wer zuletzt lacht, lacht am besten
Unbeabsichtigte Wettlaufsituationen
sind ein häufiger
Grund für schwer auffindbare
Programmfehler; bezeichnend
für solche Situationen
ist nämlich, dass bereits die
veränderten Bedingungen
zum Programmtest zu einem
völligen Verschwinden der
Symptome führen können.
de.wikipedia.org
803
Ein Beispiel für race conditions
int x = 5; // initial
Thread 1:
{ y=x; y=y+1; x=y; }
Thread 2:
{ y=x; }
Thread 3:
{ y=x; y=y+5; x=y; }
• Welches Ergebnis ist das richtige?
• Ablauf ist nicht-deterministisch es gibt
mehrere „gleich richtige“ (wie viele?)
• Oder ist richtig nur das, was der Programmierer
„eigentlich“ gemeint hat?
Denkübung: was könnte bei
echter Parallelität mit 2 oder
3 CPU-Kernen passieren?
804
331