Ein bekanntes Problem in nebenläufigen Programmen ist das so genannte ABA Problem. Das bedeutet, dass ein Wert zweimal gelesen wird und jedes Mal den gleichen Wert A zurückgibt. Die Schlussfolgerung, dass sich der Wert nicht geländert hat, ist falsch. Es hat sich ein B dazwischen eingenistet.

Hier geht es zum Artikel auf Heise Developer.