스핀락

뮤텍스(Mutex), 세마포어(Semaphore)

이전 프로세스 동기화 에서 프로세스 혹은 스레드가 공유 리소스에 동시에 접근하는 경우 공유 리소스에 대한 데이터 불일치 문제가 발생하고, 동기화를 통해 공유 리소스에 대한 데이터 일관성을 유지할 수 있는 것을 확인했다. 그리고, 이런 공유 리소스에 접근하기 위해 프로세스끼리 경쟁하는 것을 경쟁 상태(Race Condition), 공유 리소스에 접근하며 실제 동기화 문제가 발생하는 영역을 임계 영역( Critical Section)이라 했다. 마지막으로 임계 영역 문제를 해결하기 위해선 반드시 3가지 조건이 충족되어야 한다고 했다. Mutual Exclusion (상호 배제) : 임계 영역에는 반드시 하나의 프로세스만 실행되어야 한다. Progress (진행) : 임계 영역이 비어있는 상태라면 대기하고 있..