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)