상태 전이가 만족시킨 반대쪽 Condition에 신호한다
생산자는 notEmpty를, 소비자는 notFull을 참으로 만듭니다.
| 상태 전이 | 참이 되는 술어 | 신호 |
|---|---|---|
| enqueue | queue가 비어 있지 않음 | notEmpty.signal |
| dequeue | queue가 가득 차지 않음 | notFull.signal |
| close | 모든 대기 종료 가능 | signalAll × 2 |
핵심: 대기자 역할이 아니라 방금 참이 된 술어를 기준으로 신호 방향을 정합니다.
생산자는 notEmpty를, 소비자는 notFull을 참으로 만듭니다.
| 상태 전이 | 참이 되는 술어 | 신호 |
|---|---|---|
| enqueue | queue가 비어 있지 않음 | notEmpty.signal |
| dequeue | queue가 가득 차지 않음 | notFull.signal |
| close | 모든 대기 종료 가능 | signalAll × 2 |
핵심: 대기자 역할이 아니라 방금 참이 된 술어를 기준으로 신호 방향을 정합니다.