운영체제 과제[Semaphore를 사용해서 Producer-Consumer Relationship 구현(Linux&C언어)]

1. Problem Definition

Producer-Consumer 문제는 컴퓨터 과학에서 널리 알려진 동기화 문제로, 생산자와 소비자 간의 정보를 안전하게 공유하는 상황을 다룬다. 이 문제는 일반적으로 FIFO(First-In-First-Out)를 사용하는 공통의 버퍼에서 발생한다. 생산자는 데이터를 생성하여 버퍼에 저장하고 소비자는 이 데이터를 버퍼에서 읽어가는 역할을 한다. 이 과정에서 두 주체 간의 데이터 일관성과 메모리 접근의 안전성을 확보하는 것이 중요하다. 생산자가 버퍼에 데이터를 추가하려 할 때 버퍼가 가득 차 있거나 소비자가 버퍼에서 데이터를 읽으려 할 때 버퍼가 비어 있는 경우와 같은 경계 조건을 처리하는 것이 필수적이다. 문제의 핵심은 작업 간의 동기화이다. 이 문제를 제대로 처리하지 않으면 데이터 손실이나 데이터의 불일치가 발생할 수 있다. 예를 들어 소비자가 버퍼에서 데이터를 읽으려 할 때 소비자보다 먼저 읽으려는 시도가 있을 경우 무효한 데이터에 접근하는 문제가 발생할 수 있다. 반대로 생산자가 데이터를 쓸 공간이 없을 때 발생하는 문제 역시 중요한 이슈이다. 이런 과정에서 경쟁 상태(race condition)가 발생할 수 있는데, 여러 프로세스…