조건을 알린 뒤 실행권이 즉시 대기자에게 넘어가는 모니터와 나중에 경쟁하는 모니터는 무엇이 다른가요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

Hoare식은 signal 후 대기자에게 실행권을 넘기는 의미를, Mesa식은 깨어난 대기자가 나중에 락을 다시 경쟁하는 의미를 구분합니다. 실제 언어·라이브러리의 규칙을 확인해야 합니다.

Mesa식에서는 다른 작업이 predicate를 바꿀 수 있어 while 재검사가 필요합니다. 알림은 조건 자체가 아니며 spurious wakeup·종료·객체 수명을 함께 시험합니다.

이해가 드러나는 지점을 확인해 보세요.

Hoare식은 signal 후 대기자에게 실행권을 넘기는 의미를, Mesa식은 깨어난 대기자가 나중에 락을 다시 경쟁하는 의미를 구분합니다. 실제 언어·라이브러리의 규칙을 확인해야 합니다.
알림은 조건 자체가 아니며 spurious wakeup·종료·객체 수명을 함께 시험합니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: Hoare식은 signal 후 대기자에게 실행권을 넘기는 의미를, Mesa식은 깨어난 대기자가 나중에 락을 다시 경쟁하는 의미를 구분합니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.