대기 중단이 발생한 시점별 복구 책임
lock 획득 전과 임계 영역 진입 후의 상태 변경 가능성을 나눈다.
| 중단 지점 | 공유 state | 필요 처리 |
|---|---|---|
| acquisition 전 | 변경 없음 | cancel outcome |
| lock 획득 후 계산 | 부분 변경 가능 | rollback·유효 상태 |
| unlock 이후 | commit 완료 | 호출자 상태 조회 |
핵심: finally unlock은 lock 누수를 막지만 domain transaction을 자동으로 되돌리지 않는다.