두 increment는 read-modify-write 경쟁에서 하나로 줄 수 있다
++는 하나의 원자 명령이 아니라 읽기·계산·쓰기의 복합 동작입니다.
초기count=0
T1 read0
T2 read0
T1 write1
T2 write1 · T1 갱신 소실
핵심: 최종 값만 보지 말고 두 thread가 읽은 시점과 쓴 값을 추적합니다.
++는 하나의 원자 명령이 아니라 읽기·계산·쓰기의 복합 동작입니다.
핵심: 최종 값만 보지 말고 두 thread가 읽은 시점과 쓴 값을 추적합니다.