🤔 [CH06]Q2 Mutex와 Semaphore의 차이점을 설명해주세요.

[dianestar]

Mutex는 주로 Binary Semaphore를 일컫는데, 이는 자원의 개수가 하나 뿐이라 오직 한 개의 프로세스만이 공유 자원에 접근이 가능한 반면, Counting Semaphore는 자원의 개수가 여러 개로 지정된 변수 값 만큼의 다수의 프로세스가 공유 자원에 접근이 가능하다는 특징이 있습니다. 또한, Mutex는 lock을 설정한 스레드 또는 프로세스 본인만이 lock을 해제할 수 있는 반면, Semaphore는 커널 단위에서 리소스 변수가 관리되므로 lock을 설정한 해당 프로세스가 이외의 제 3자인 프로세스도 lock을 해제할 수 있다는 차이점을 갖습니다.

[gzgzg2]

Mutex는 Locking 매커니즘으로 자원의 개수가 하나일 때 적용하는 프로세스 동기화 객체이다. 오직 하나의 쓰레드만이 동일한 시점에 Mutex를 얻어 임계구역에 들어오고 나갈 때 자원을 해제할 수 있다. Semaphores는 공유자원이 여러개일 경우 사용하며 block/wakeup 알고리즘이 적용된 객체이다.

앞서 말한 것처럼 세마포어는 뮤텍스와 다르게 공유자원이 여러개일 때 사용되며 자원을 해제하는 대상는 자원을 가지고 있는 모든 프로세스가 될 수 있다.

[codenamehee]

뮤텍스와 세마포어는 모두 프로세스의 동기화 기법이라는 점에서 동일하지만 뮤텍스는 오직 1개의 프로세스 또는 쓰레드만이 접근할 수 있고, 세마포어는 세마포어의 변수만큼의 프로세스 혹은 쓰레드가 접근할 수 있다는 점에서 차이가 있습니다. 또한 세마포어는 현재 수행중인 프로세스가 아닌 다른 프로세스도 세마포어를 해제하고 잠글 수 있지만 뮤텍스는 락을 획득한 프로세스만이 그 락을 해제할 수 있습니다.