Semaphore와 Mutex

Semaphore

• Signaling 매커니즘
• lock을 걸지 않은 쓰레드도 Signal을 보내 lock 해제 가능
• wait, signal 2개의 atomic operaions 사용
  • wait : 세마포어 카운트 - 1
    • 세마포어 카운트가 <= 0 이 되면 lock 실행
  • signal : 세마포어 카운트 + 1
    • 세마포어 카운트가 <= 0 이 되어 동기화가 된 상황에서 다른 쓰레드가 signal 호출시, 해당 쓰레드는 lock에서 나올 수 있음.
• Counting Semephores
  • 세마포어 카운트가 양의 정수값.
  • 설정 값만큼 쓰레드 허용, 그 이상 접근시 lock
• Binary Semaphores
  • 세마포어 카운트 1
  • 뮤텍스처럼 사용 가능

Mutex

• 상호 배제기술
• Locking 매커니즘
• 하나의 쓰레드만이 뮤텍스를 얻어 임계영역 Critical Section에 접근 가능하고, 임계영역을 나갈 때 뮤텍스를 해제할 수 있다.