획득 성공부터 finally 해제까지 소유권을 한 스레드가 유지한다.
locked = false
누구나 CAS 획득을 시도한다.
locked = true
성공 스레드만 임계 영역에 들어간다.
CAS false
다른 스레드는 상태를 바꾸지 않는다.
owner cleared
다음 성공자를 받을 수 있다.
핵심: 예외가 나도 해제하도록 임계 영역을 try-finally로 감싼다.