Synchronization Example Bounded-Buffer Reader-write dining philosopher Bounded-Buffer Problem n개의 버퍼가 각각 1개의 아이템을 가질 때 mutex Semaphore는 1로 초기화하는 binary Semaphore이고 full Semaphore(몇개의 방이 채워져있는가)와 empty Semaphore(몇개의 방이 비워져있는가)는 각각 0과 n으로 초기화하여 리소스의 개수 만큼 count하는 counting Semaphore이다. //Producer 공유 버퍼에 값 추가하기 while (true){ ... wait(empty);//만약 Semaphore에서 빈방 없이 0 이하이면 blocking 시킨다. wait(mutex);//이..