lock
공유 조건 읽기
condition loop는 spurious return 뒤에도 술어를 재검사한다
park는 unpark·interrupt·허위 반환 등 여러 이유로 돌아올 수 있습니다.
조건 false
park 준비
park
대기
return
이유 불명
조건 재검사
true일 때만 진행
조건이 false면 다시 park
핵심: 대기 종료 여부는 반환 자체가 아니라 lock 아래의 업무 조건으로 판정합니다.
park는 unpark·interrupt·허위 반환 등 여러 이유로 돌아올 수 있습니다.
공유 조건 읽기
park 준비
대기
이유 불명
true일 때만 진행
핵심: 대기 종료 여부는 반환 자체가 아니라 lock 아래의 업무 조건으로 판정합니다.