공유 counter의 lost update는 두 thread가 같은 옛값을 읽을 때 생긴다

count++는 하나의 원자 연산이 아니라 read·add·write 세 단계입니다.

count=7공유 시작값
A read 7local 7
B read 7local 7
A write 8count=8
B write 8한 증가 손실

핵심: 병렬 축약은 local count를 결합하거나 atomic primitive를 명시적으로 사용합니다.