운영체제 chapter 5 Process Synchronization정리

race condition(경쟁 조건) / critical section problem

peterson's solution / 동기화 하드웨어(test_and_set, compare_and_swap)

compare_ane_swap의 lock 변수 / bounded-waiting을 추가한 상호 배제

mutex locks / aquire, release / semaphore 세마포

deadlock, starvation / 고전적인 동기화 문제

모니터 / deadlock problem

deadlock 의 특성 / 자원할당 그래프