한 번 실패한 full 상태가 다음 시도에도 같다고 가정하지 않습니다.
짧은 획득
space?
enqueue 후 반환
unlock
lock 밖 대기
예산 재계산
핵심: 시도 횟수·deadline·interrupt를 모두 종료 조건으로 둡니다.