look-forest

이번 시간에는 Concurrency-Control의 고전적인 문제들에 대해서 알아보겠다. The Bounded-Buffer Problem (The Producer-Consumer Problem) The Readers-Writers Problem The Dining-Philosophers Problem The Bounded-Buffer Problem 데이터 n개를 담을 수 있는 버퍼를 Producer가 채우고, Counsumer가 비우는 상황 상호 배제를 위한 mutex, 빈 상태와 가득 찬 상태를 위한 counting semaphore를 쓴다. int n; semaphore mutex = 1; semaphore empty = n; semaphore full = 0; empty 세마포어와 full 세마포어..

이전 시간에 동기화 문제 해결을 위한 피터슨 알고리즘에 대해서 알아보았다. 좋은 알고리즘이지만, 너무 복잡했다. 또한 Peterson's algorithm과 같은 software적인 해결책은 SMP (Symmetric Multiprocessor System) 환경과 같은 modern computer system에서는 제대로 작동할 수 있다는 보장이 없다. 그 해결책으로 하드웨어적인 instruction이나 mutex, semaphore와 같은 소프트웨어적인 API를 사용하여 프로세스 간 동기화를 보장하는 방법을 사용한다. 이번 시간에는 Critical Section Problem 해결을 위한 좀 더 higher-level의 software tool에 대해서 알아보겠다. OS supported SW sol..