\begin{slide}{Das ABA-Problem}

compare-and-set für Verweise:

Verweise könnten übereinstimmen,
aber Bedeutungen nicht (Beispiel: bei selbstgebauter
Speicherverwaltung---ein korrekter Gargabe Collector
würde den alten Verweis mit ändern)

Ausweg: Verweise mit Versionsnummern
(AtomicStampedReference)

\end{slide}
