직접 구현은 모든 동시성 계약을 소유하고 표준 구현은 검증된 기계를 재사용합니다.
lock·predicate·signal·interrupt 모두 소유
원자 Queue 연산과 대기 계약 제공
메시지 타입·거부·종료 의미만 추가
핵심: 특별한 상태 전이가 없다면 래퍼는 타입 변환·지표·수명 같은 실제 책임만 가져야 합니다.