Atomaire instructie die alleen een nieuwe waarde schrijft als de waarde in het geheugen gelijk is aan de verwachte waarde. Ook CAS genoemd. Bij falen wordt opnieuw gelezen en herhaald in een lus, zodat updates zonder lock mogelijk zijn.
Japanse benaming: コンペア・アンド・スワップ
“Compare-and-swap” komt voor in 2 oefenvragen uit 1 onderwerpen, bijv. Multicore en synchronisatie.
Vakgebied: Multicore en synchronisatie
Antwoord: A. Schrijft alleen een nieuwe waarde als de waarde in het geheugen gelijk is aan de verwachte waarde, en laat weten of dit is gelukt
CAS voert ondeelbaar uit: 'als de waarde op dit adres nog de verwachte waarde is, verander hem dan in de nieuwe waarde'. Als een andere thread de waarde tussen lezen en schrijven heeft veranderd, mislukt het, zodat bijwerken kan terwijl wordt gecontroleerd dat er niets is gewijzigd. Bij mislukking wordt opnieuw gelezen en berekend en wordt CAS herhaald in een lus, zodat een gedeelde waarde veilig zonder lock kan worden bijgewerkt. De cmpxchg-instructie van x86 is hiervan een voorbeeld.
Voorbeelden zijn CAS (compare-and-swap), fetch-and-add en de LR/SC- en AMO-instructies van RISC-V; ze vormen de basis voor locks en lock-free datastructuren.
Welke uitleg over atomaire instructies (ondeelbare instruct…Atomaire instructie Numerieke apertuur (NA) LR/SC Lock-free ABA-probleem Acquire-release Barrièresynchronisatie Conditievariabele Data race Deadlock