Probleem waarbij een waarde van A naar B en weer terug naar A verandert en een CAS die alleen de waarde vergelijkt de wijziging niet opmerkt en toch slaagt. Vraagt aandacht bij lock-free datastructuren.
Japanse benaming: ABA問題
“ABA-probleem” komt voor in 2 oefenvragen uit 1 onderwerpen, bijv. Multicore en synchronisatie.
Vakgebied: Multicore en synchronisatie
Antwoord: B. Wanneer een waarde van A naar B verandert en dan terug naar A, merkt CAS de verandering niet op en slaagt
Wanneer de kop van een gekoppelde lijst A is, kan terwijl een thread A leest en CAS voorbereidt een andere thread A verwijderen, bewerkingen met B uitvoeren en weer een knoop op hetzelfde adres A invoegen. CAS slaagt omdat de waarde nog A is, maar de inhoud van de lijst is intussen veranderd en de structuur raakt beschadigd. Dit wordt voorkomen door de pointer samen met een bijwerkteller te vergelijken, of met LR/SC.
Het correct maken is echter moeilijk en aandacht voor onder meer het ABA-probleem is nodig.
Welke eigenschap van een lock-free algoritme is juist?Lock-free LR/SC Interrupt Acquire-release Atomaire instructie Barrièresynchronisatie Compare-and-swap Conditievariabele Data race Deadlock