운영체제 상호배제기법 - Dekker 알고리즘 질문

Question

안녕하세요. 운영체제 공부하다가 모르는게 있어 질문 남깁니다.Dekker의 알고리즘에서 초기 상태가 flag[0], [1] &#61;&#61; false, turn &#61;&#61; 0 이라고 하겠습니다.먼저 P0가 CS에 진입하기 위해 flag[0]를 true로 바꾸자마자 인터럽트가 발생해 멈춘다면, 뒤따라 오던 P1은 flag[0]는 true이고 turn도 0이기에 바로 CS에 진입을 못하고 P0의 인터럽트가 끝나고 CS에 진입 후 나와야지만 P1의 진입이 가능해지는 문제점이 있는 것이 맞을까요?그렇다면 No delay 조건에 위배되어 잘못된 알고리즘 아닌가요? 질문을 좀 두서없이 적은거 같습니다. 긴글 읽어주셔서 감사합니다.

캐티 · Accepted Answer

운영체제에서 no delay는 사용 중이지 않는 영역에는 가장 먼저 사용하는 쪽에 우선을 주는 것이빈다. 데드락 회피 같은 것과 핵심 기능은 다른 것 같으네요.데커 알고리즘의 핵심은 변수 turn 에 대해서 A는 1 B는 0으로 turn 을 공유하는데 이 것은 set 또는 unset 상태만 가짐으로 A,B 분기에서 어느 하나만 통과 할 수 있는 상태이어요. 첫 번째 반복문은 루프가 활성 상태가 되는 것이 맞는 것이빈다.p0 은 p1의 상태를 읽고 p1은 p0의 상태를 읽는 것으로 구현이 되어 이쩌여.그러므로 turn 0인 상태에서 p0 이 먼저 cs(크리티컬 섹션)을 통과 하도록 되어 이쩌여. p1 에서 p0의 루프를 해제 하기 떄문이어요.

나도이젠맥북오우너 · Answer

먼저 P0가 CS에 진입하기 위해 flag[0]를 true로 바꾸자마자초기조건 두 플래그가 트루이며 턴이 영일때는 p0가 flag[0]을 트루로 바꾸는 명령어는실행될수 없는코드로 보입니당위에서 하나씩 양손으로 한라인씩 따라서 내려가보세욥!

운영체제 상호배제기법 - Dekker 알고리즘 질문

2개의 답변

Q&A 목록