Deeper Learning

멀티프로그래밍 환경에서 공유자원의 안정적인 사용을 위해서는 여러 프로세스가 동시에 접근하는데 제한을 두어야 한다. 이를 위하여 Semaphore와 Mutex가 고안되었다. Semaphore 예를 들어 프로세스 A는 변수 x를 1 증가시키고 프로세스 B 역시 변수 x를 1 증가시킨다고 하자. x=1 -> A가 x를 load -> B가 x를 load -> A가 x++ -> B가 x++ 위와같은 과정을 거치면 x는 3이 아닌 2가 된다. 이는 동시에 두 프로세스가 한 공유자원을 변경하며 생긴 문제로 이를 Semaphore를 사용하여 해결이 가능하다. 임계 영역(critical section)은 공유자원에 접근할 수 있는 영역으로 Semaphore를 통해 보호한다. P는 S를 1만큼 감소시키는 함수이며, V는 ..