스핀 락 수명주기

획득 성공부터 finally 해제까지 소유권을 한 스레드가 유지한다.

1

미소유

locked = false

누구나 CAS 획득을 시도한다.

2

획득 성공

locked = true

성공 스레드만 임계 영역에 들어간다.

3

경쟁 스핀

CAS false

다른 스레드는 상태를 바꾸지 않는다.

4

반납 완료

owner cleared

다음 성공자를 받을 수 있다.

핵심: 예외가 나도 해제하도록 임계 영역을 try-finally로 감싼다.