Lock Strategy

임계 영역 대기 비용

하드웨어 원자 명령은 재료이고, 스핀락·뮤텍스·futex는 경합 상황에 맞춘 정책입니다.

Spin 스핀락 멀티코어에서 임계 영역이 매우 짧으면 재우는 비용보다 반복 대기가 작습니다.
Sleep 뮤텍스 임계 영역이 길거나 I/O가 섞이면 CPU를 양보하고 깨우는 편이 안전합니다.
Hybrid futex 경합이 없을 때는 사용자 공간 CAS, 경합이 생기면 커널 대기로 전환합니다.