이번 장에서는 6장에 제시된 도구를 몇 가지 고전적인 동기화 문제에 적용한다!

• 또한, Linux, UNIX 및 Windows 운영체제에서 사용되는 동기화 기법을 알아본다.
• Java 및 POSIX 시스템의 API 세부 사항을 학습한다.

1. 고전적인 동기화 문제들

→ 많은 클래스의 병행 제어(concurrency control) 문제에 대한 예로서, 중요한 여러 가지의 다른 동기화 문제들을 알아본다.

• 동기화 문제에 대한 해결책을 제시할 때 전통적으로 세마포를 사용해 왔기 때문에, 우리의 해결안에서도 세마포가 사용된다.
  • 그러나 해결책을 실제 구현할 때는 이진 세마포 대신에 mutex 락이 사용될 수 있다.

유한 버퍼 문제(The Bounded-Buffer Problem)

→ 이 문제는 일반적으로 동기화 프리미티브들의 능력을 설명하기 위해 사용된다.

• 해결하려는 문제에서 소비자와 생산자는 다음과 같은 자료구조를 공유한다.

• n 개의 버퍼로 구성된 풀(pool)이 있으며, 각 버퍼는 한 항목을 저장할 수 있다고 가정한다.
  • mutex 이진 세마포는 버퍼 풀에 접근하기 위한 상호 배제 기능을 제공하며, 1 로 초기화된다.
  • empty 와 full 세마포들은 각각 비어 있는 버퍼의 수, 꽉 찬 버퍼의 수를 기록한다.

생산자 코드