공유자원과 임계영역, 경쟁상대 강의에서 임계영역 문제해결 질문

Question

안녕하세요 강의 잘 보고있습니다. 다름이 아니라 강의 2분 경 임계영역 문제 해결을 위한 세 가지 조건에 대해 궁금한 점이 있어서요. 강의와 함께 학부 때 필기를 보던 중 제 필기에는 임계영역 문제 해결을 위한 세 가지 요건에 1) Mutual Exclusion 2) Progress 3) Bounded Waiting 가 있음을 보았습니다. 강의 자료의 상호배제는 Mutual Exclusion, 한정대기는 Bounded Waiting임을 알겠는대요. 융통성은 Progress일까요? 상호배제에서 한 프로세스가 임계영역에 들어갔을 때 다른 프로세스는 임계영역에 들어갈 수 없다고 했는데 이러한 상호배제가 있음에도 융통성이라는 조건을 통해 다른 프로세스의 일을 방해해서는 안 된다는 문장의 구체적 의미 또한 궁금합니다. 이 경우에서 P1이 먼저 수행시 P0의 작업 수행을 방해하는 경우가 융통성의 예시가 되는 건가요?

큰돌 · Answer

A1. 융통성이라고는 하지 않고 진행의 융통성(progress flexibility, progress) 또는 진행이라고 합니다. 이는 CS에 프로세스가 없다면 프로세스가 들어가서 자원을 활용할 수 있음을 뜻합니다. 예를 들어 P1이 CS에 2번이상 연달아 CS에 들어갈 수 있는 것을 말합니다.이 때 이 진행의 융통성에 영향을 미치는 프로세스는 CS를 들어가길 기다리는 프로세스에 한정하며 이 결정은 무기한 연기될 수 없음을 뜻합니다. - CS는 Critical Section의 약자입니다. A2. 이러한 상호배제가 있음에도 융통성이라는 조건을 통해 다른 프로세스의 일을 방해해서는 안 된다는 문장의 구체적 의미 또한 궁금합니다. >> 음.. 융통성을 통해 방해를 안한다는게 아니라 CS에 없다면 들어가서 일한다는 의미입니다. A3. 말씀주신 그림의 경우 turn은 공유변수겠죠? 해당 부분은 진행의 융통성을 충족하지 않습니다. 예를 들어 turn이 1일 때 둘 다 대기하기 되기 때문입니다. 제가 진행의 융통성을 충족시키지 않는 그림을 그려봤는데요. 이렇게 “진행을 막으면” 안됩니다. ㅠ 비어있다면 어떠한 프로세스든 방해하지 않는 것을 말합니다. 감사합니다.