관찰 가능한 결과
1000:1000 / 1000
동기화와 공유 상태의 성공과 실패 증거
Pair의 두 필드는 같은 모니터에서 함께 바뀌어 스냅샷의 좌우 값이 항상 일치합니다.
왜 실패하는가
Pair의 두 필드는 같은 모니터에서 함께 바뀌어 스냅샷의 좌우 값이 항상 일치합니다.
코드에 남길 계약
동시성 안전성은 키워드 하나가 아니라 어떤 상태를 누가 공유하고 어느 연산 묶음이 하나처럼 보여야 하는지 정의하는 일입니다.
관찰 증거 동시성 안전성은 키워드 하나가 아니라 어떤 상태를 누가 공유하고 어느 연산 묶음이 하나처럼 보여야 하는지 정의하는 일입니다.