4. 프로세스 동기화

<aside> 💡 동기화가 왜 필요한가?

</aside>

데이터 일관성을 지키기 위해서 !

<aside> 💡 Critical Section (임계 영역)

</aside>

• 공유 자원에 대해 동기화가 필요한 부분
• 다음과 같은 속성들을 지켜야 문제가 안생김
  1. 상호 배제 ⇒ 임계 영역을 실행하는 프로세스는 한 개여야 함
  2. 진행 ⇒ 임계 영역에 실행되는 프로세스가 없는 경우 기다리는 프로세스가 실행되어야 함
  3. 한정 대기 ⇒ 무한으로 대기하는 프로세스가 있으면 안됨

<aside> 💡 Busy Waiting

</aside>

• Peterson's Algorithm의 문제점
• 무한 반복을 통해 임계 영역 실행 직전까지 머무르는 것 ⇒ 바쁘게 임계영역에 들어가기 위해 기다리는 것!

<aside> 💡 Mutex vs Semaphore

</aside>

쓰레드 간 동기화 기법

Muetx는 Lock / Unlock 이라면, Semaphore는 임계 영역에 들어가는 쓰레드가 여러 개일 수 있음

* DeadLock

모든 쓰레드가 Semaphore를 갖기 위해 기다리고 있어 더이상 진행되지 않는 상태

<aside> 💡 DeadLock

</aside>