2-up - ETH Zürich

Atomarität
• Ist eine Java-Anweisung „atomar“?
• Z.B.: Konto.Update(Betrag + Konto.Stand());
• Oder zumindest: Buchung(k, …);
Auch dann gäbe es aber
zwei mögliche Abläufe:
Konto würde bei „unglücklicher“
Reihenfolge evtl.
kurzzeitig überzogen!
• Atomare Folge von Operationen
• Während die Folge ausgeführt wird, werden keine anderen
Operationen (quasi) gleichzeitig ausgeführt
• Wenn die CPU mit der ersten Operation der atomaren
Folge beginnt, arbeitet sie diese bis zur letzten ab,
ohne zwischendrin etwas anderes („störendes“) zu tun
• Unterbrechungen sind höchstens zwischen atomaren Folgen erlaubt
807
Relative Atomarität
• Aber: „unkritische Dinge“ könnten eigentlich doch
parallel zu einer atomaren Folge ausgeführt werden
• Quasi „heimlich“?
• Und was genau ist (in welchem Sinne?) unkritisch?
• Teile eines ganz anderen Programms?
• Auf den Kontostand nur lesend zugreifen?
• Leere Schnittmenge bzgl. gemeinsamer / veränderter Variablen?
„Atomar“ ist ein interpretationsbedürftiger relativer Begriff!
808
333