동기화와 공유 상태 예제가 실행되는 순서

1. 1
   공유 가변 상태 식별

   두 스레드가 같은 이전 값을 읽으면 증가 하나가 사라질 수 있습니다.

2. 2
   불변식을 지키는 복합 동작을 임계 구역화

   상태 확인과 변경을 같은 락 아래 두고 락 객체를 외부에 노출하지 않습니다.

3. 3
   락 밖에서 결과를 관찰

   lock 뒤에는 반드시 finally에서 unlock합니다.

실행 순서 Pair의 두 필드는 같은 모니터에서 함께 바뀌어 스냅샷의 좌우 값이 항상 일치합니다.