목록dining-philosophers (1)

CafeM0ca

[공룡책] 챕터7 동기화 예시

목표 bounded-buffer, readers-writers, dining-philosophers 동기화 문제를 설명한다. 리눅스/윈도우에서 프로세스 동기화 문제를 해결하기 위한 특정한 툴을 소개한다. POSIX와 Java가 프로세스 동기화 문제를 풀어내는지 설명한다. POSIX와 Java API를 사용하여 프로세스 동기화 문제에 대한 해결방법을 디자인하고 개발하는 솔루션에 대해 알아본다. 고전적인 동기화 문제 생산자와 소비자 프로세스는 위 데이터 구조를 공유한다. n개의 버퍼로된 pool이 있고 각 버퍼는 하나의 항목을 저장할 수 있다고 가정하자. mutex 세마포어는 버퍼 pool에 상호 배제적으로 접근하기 위해 제공되며 1로 초기화 된다. empty와 full 세마포어는 빈 버퍼와 가득찬 버퍼의 ..
OS/공룡책 2021. 3. 5. 00:24
Prev 1 Next