가시성부터 시간 제한 lock까지 최종 선택
공유 invariant와 대기 정책을 한 표에서 연결한다.
| 필요 | 도구 | 대표 결과 |
|---|---|---|
| 단일 최신값 | volatile | visible |
| 단순 자동 임계 영역 | synchronized | BLOCKED |
| interruptible 무한 대기 | lockInterruptibly | cancelled |
| 즉시·제한 포기 | tryLock | busy·timeout |
핵심: fairness는 별도 constructor 정책이며 end-to-end 업무 FIFO를 대신하지 않는다.