retries 0 · lost updates 0
count++ · read → add → write step 0 / 6
shared memory
count: 0
🧵 T1 local: —
🧵 T2 local: —
count++ is not one operation
Press ▶ Step. Each thread takes its own local copy first.
▸ CAS in one line: if it is still what I read, swap it — otherwise re-read and retry.