Spurious Wakeup

스레드/프로세스, 대기열, 락·세마포어·조건 변수, 공유 자원의 소유/대기/실행 상태를 시간 순서대로 전이한다.

1 / 6두 스레드가 1, 2, 3, 4…를 번갈아 출력해야 합니다 — '지금 누구 차례인가'를 조건 변수가 중재합니다.

스레드 A (홀수)

조건 변수

스레드 B (짝수)

단계 목록 · 키보드 ←/→ 이동, Space 재생

구현 계약펼쳐서 명세 보기 · 참고 자료

분류: Concurrency Problems · frame-simulation
구현 핵심: 스레드/프로세스, 대기열, 락·세마포어·조건 변수, 공유 자원의 소유/대기/실행 상태를 시간 순서대로 전이한다.
내부 제목/모드: 페이지 제목과 동일
단계·시나리오: 서술 레코드 약 12개; 단계/상태 값 checking, sleeping, woke, badRead, rechecking, proceeding; 기록 ID 없음/정적
시각 구조: svg, rect, path, code; 엔티티 없음/정적; 반응형 필수
조작: Pause, Replay, Play, Resume, Back, Step, Speed:; 버튼 렌더 단서 3개
타이밍: 300 ms (CSS utility)
도메인 용어: guard, ready, wait, thread, wakes, signal