Deadlock
스레드/프로세스, 대기열, 락·세마포어·조건 변수, 공유 자원의 소유/대기/실행 상태를 시간 순서대로 전이한다.
1 / 6데드락의 재료는 넷 — 상호 배제, 점유 대기, 비선점, 그리고 순환 대기. 마지막 하나가 오늘 일어납니다.
스레드 A
락 1
락 2
스레드 B
단계 목록 · 키보드 ←/→ 이동, Space 재생
구현 계약펼쳐서 명세 보기 · 참고 자료
- 분류
- Concurrency Problems · frame-simulation
- 구현 핵심
- 스레드/프로세스, 대기열, 락·세마포어·조건 변수, 공유 자원의 소유/대기/실행 상태를 시간 순서대로 전이한다.
- 내부 제목/모드
- Resource A, Resource B
- 단계·시나리오
- 서술 레코드 약 0개; 단계/상태 값 free, idle, deadlocked, held, holding, waiting, completed; 기록 ID 없음/정적
- 시각 구조
- svg, rect, circle, path; 엔티티 없음/정적; 반응형 필수
- 조작
- Step, Pause, Run, play; 버튼 렌더 단서 1개
- 타이밍
- 300 ms (CSS utility)
- 도메인 용어
- circular, wait, detected, acquire, order, unsafe