본문으로 바로가기

Semaphore

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

1 / 10두 스레드가 같은 카운터를 1씩 올립니다. 기대값은 2 — 그런데 잠금이 없으면 무슨 일이 벌어질까요?
스레드 A
스레드 B
공유 counter0

1부 — 잠금 없음

단계 목록 · 키보드 ←/→ 이동, Space 재생
구현 계약펼쳐서 명세 보기 · 참고 자료
분류
Locks & Synchronization · frame-simulation
구현 핵심
스레드/프로세스, 대기열, 락·세마포어·조건 변수, 공유 자원의 소유/대기/실행 상태를 시간 순서대로 전이한다.
내부 제목/모드
T
단계·시나리오
서술 레코드 약 0개; 단계/상태 값 acquiring, holding, idle, waiting, releasing; 기록 ID 없음/정적
시각 구조
svg, circle, path; 엔티티 없음/정적; 반응형 필수
조작
play; 버튼 렌더 단서 1개
타이밍
300 ms (CSS utility), 500 ms (CSS utility)
도메인 용어
add, threads, see, action, thread, pool
Semaphore | KIE