임계 영역 대기 비용

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

경합이 발생했는가? 먼저 사용자 공간의 빠른 경로를 시도한다.

아니오 futex · CAS로 즉시 획득

예 수 µs 스핀락 · 길거나 I/O 뮤텍스

Spin 스핀락 멀티코어에서 임계 영역이 매우 짧으면 재우는 비용보다 반복 대기가 작습니다.

Sleep 뮤텍스 임계 영역이 길거나 I/O가 섞이면 CPU를 양보하고 깨우는 편이 안전합니다.

Hybrid futex 경합이 없을 때는 사용자 공간 CAS, 경합이 생기면 커널 대기로 전환합니다.