IT 상식] 세마포어 뮤텍스 차이

참고 사이트: http://ninako21.tistory.com/500

[임계구역] - Critical Section

임계구역이란 프로그램 상에서 동시에 실행될 경우 문제을 일으킬 수 있는 부분을 말함. 

만약 어느 쓰레드에서 임계구역을 실행하고 있으면 다른 쓰레드들은 그 임계 구역에 접근할 수 없고 앞의 쓰레드가 임계 구역을 벗어나기를 기다려야한다. 

[데드락] Dead-Lock

교착상태. 하나의 스레드가 임계영역에서 빠져나오지 못하여 다른 스레드까지 멈춰버리는 현상.

[뮤텍스] - Mutex

MUTual EXclusion 으로 상호배제라고도 한다. 

Critical Section을 가진 스레드들의 Runnig Time이 서로 겹치지 않게 각각 단독으로 실행되게 하는 기술이다.  

다중 프로세스들의 공유 리소스에 대한 접근을 조율하기 위해 locking과 unlocking을 사용한다. 

즉, 쉽게 말하면 뮤텍스 객체를 두 스레드가 동시에 사용할 수 없다는 의미이다. 

 

[세마포어] - Semaphore

세마포어는 리소스의 상태를 나타내는 간단한 카운터로 생각할 수 있다. 일반적으로 비교적 긴 시간을 확보하는 리소스에 대해 이용한다. 유닉스 시스템의 프로그래밍에서 세마포어는 운영체제의 리소스를 경쟁적으로 사용하는 다중 프로세스에서 행동을 조정하거나 또는 동기화 시키는 기술이다. 세마포어는 운영체제 또는 커널의 한 지정된 저장장치 내 값으로서, 각 프로세스는 이를 확인하고 변경할 수 있다. 확인되는 세마포어의 값에 따라, 그 프로세스가 즉시 자원을 사용할 수 있거나, 또는 이미 다른 프로세스에 의해 사용 중이라는 사실을 알게 되면 재시도하기 전에 일정 시간을 기다려야만 한다.

세마포어는 이진수 (0 또는 16)를 사용하거나, 또는 추가적인 값을 가질 수도 있다. 세마포어를 사용하는 프로세스는 으레 그 값을 확인하고, 자원을 사용하는 동안에는 그 값을 변경함으로써 다른 세마포어 사용자들이 기다리도록 해야한다.

- 프로세스 간 메시지를 전송하거나 혹은 공유 메모리를 통해서 특정 데이터를 공유하게 될 경우 발생하는 문제는 공유된 자원에 여러 프로세스가 접근하면서 발생하다. 하나의 프로세스만 접근을 가능하도록 해야할 때 세마포어를 사용한다.  

- 바이너리 세마포어랑 세마포어의 값이 0과 1만을 지니도록 구현된 세마포어를 말한다.  

 

[뮤텍스와 세마포어의 차이점]

- 세마포어는 뮤텍스가 될 수 있지만 뮤텍스는 세마포어가 될 수 없다.

- 세마포어는 소유할 수 없는 반면 뮤텍스는 소유가 가능하며 소유주가 이에 대한 책임을 진다. 

- 뮤텍스의 경우 뮤텍스를 소유하고 있는 쓰레드가 이 뮤텍스를 해제할 수 있다. 하지만 세마포어의 경우 이러한 세마포어를 소유하지 않는 스레드가 세마포어를 해제할 수 있다. 

- 세마포어는 시스템 범위에 걸쳐있고 파일시스템상의 파일 형태로 존재한다. 반면 뮤텍스는 프로세스 범위를 가지며 프로세스가 종료될 때 자동으로 clean up된다. 

**가장 큰 차이점은 관리하는 동기화 대상이 갯수이다. 

[주의]

데드락이 걸렸을 때 사용하는 것이 아니고 세마포어나 뮤텍스에 의해 데드락이 걸릴 수도 있다. 따라서 꼭 필요한 부분에만 제대로 사용해야한다.