프로세스 동기화1 Operating System Concepts Chapter 6. 프로세스 동기화 문제풀이 chapter 6. 프로세스 동기화 연습문제 6.1. 두 개의 프로세스를 위한 임계 영역 문제에 대한 Dekkers 알고리즘이, 임계영역 문제의 세 가지 요건을 모두 충족시킴을 증명하라. 1. 상호배제 -> 프로세스는 상대 프로세스가 들어가있는지를 flag[j] 로 확인할 수 있다. 이 값이 false 일 때 까지 계속 대기 하기 때문에 상호배제를 충족시킬 수 있다. flag[j]가 true 값을 가질 때는, j 프로세스가 임계영역에 들어가 있다는 뜻이고, j 가 작업을 끝내고 나올 때 이 값을 false 로 바꾸기 때문에 임계영역에는 동시에 들어가지 않는다. 2. 진행, 한정된 대기-> 프로세스는 임계영역에서 나오기 전에, 다른 프로세스에게 turn 을 넘긴다. 그렇기 때문에 기다리던 프로세스들도 반드.. 2017. 1. 18. 이전 1 다음