조건 반복문은 술어·변경자·알림·종료를 함께 검토한다
while 문법만 맞아도 predicate가 불완전하면 대기 누락이 생깁니다.
| 질문 | 검증 | 실패 |
|---|---|---|
| 술어 | 진행 가능한 정확한 조건 | 허위 진행 |
| 변경자 | 누가 조건을 true로 만드나 | 영구 대기 |
| 알림 | 상태 변경 뒤 호출 | 신호 유실 |
| 재검사 | while | 경쟁 오류 |
| 종료 | closed·interrupt | 무한 대기 |
핵심: 공유 상태를 읽고 바꾸는 모든 경로가 같은 lock을 쓰는지 확인합니다.
while 문법만 맞아도 predicate가 불완전하면 대기 누락이 생깁니다.
| 질문 | 검증 | 실패 |
|---|---|---|
| 술어 | 진행 가능한 정확한 조건 | 허위 진행 |
| 변경자 | 누가 조건을 true로 만드나 | 영구 대기 |
| 알림 | 상태 변경 뒤 호출 | 신호 유실 |
| 재검사 | while | 경쟁 오류 |
| 종료 | closed·interrupt | 무한 대기 |
핵심: 공유 상태를 읽고 바꾸는 모든 경로가 같은 lock을 쓰는지 확인합니다.