임계 영역 범위를 줄일 때 지킬 경계
contention을 줄이되 read-check-write 불변식을 갈라 놓지 않는다.
| 작업 | lock 위치 | 근거 |
|---|---|---|
| 형식 검증·정규화 | 밖 | 공유 state 독립 |
| 재고 확인과 차감 | 안 | 원자 불변식 |
| 불변 snapshot 생성 | 안 | 같은 시점 |
| 외부 전송 | 밖 또는 별도 transaction | 긴 대기 |
핵심: 보호 field의 모든 mutable 접근이 동일 lock 규칙을 따르는지 검색한다.
contention을 줄이되 read-check-write 불변식을 갈라 놓지 않는다.
| 작업 | lock 위치 | 근거 |
|---|---|---|
| 형식 검증·정규화 | 밖 | 공유 state 독립 |
| 재고 확인과 차감 | 안 | 원자 불변식 |
| 불변 snapshot 생성 | 안 | 같은 시점 |
| 외부 전송 | 밖 또는 별도 transaction | 긴 대기 |
핵심: 보호 field의 모든 mutable 접근이 동일 lock 규칙을 따르는지 검색한다.