• 카테고리

    질문 & 답변
  • 세부 분야

    취업 · 이직

  • 해결 여부

    미해결

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

22.10.09 18:11 작성 조회수 226

0

안녕하세요 강의 잘 보고있습니다.

다름이 아니라 강의 2분 경 임계영역 문제 해결을 위한 세 가지 조건에 대해 궁금한 점이 있어서요.

강의와 함께 학부 때 필기를 보던 중 제 필기에는 임계영역 문제 해결을 위한 세 가지 요건에

1) Mutual Exclusion

2) Progress

3) Bounded Waiting

가 있음을 보았습니다.

강의 자료의 상호배제는 Mutual Exclusion, 한정대기는 Bounded Waiting임을 알겠는대요. 융통성은 Progress일까요?

상호배제에서 한 프로세스가 임계영역에 들어갔을 때 다른 프로세스는 임계영역에 들어갈 수 없다고 했는데 이러한 상호배제가 있음에도 융통성이라는 조건을 통해 다른 프로세스의 일을 방해해서는 안 된다는 문장의 구체적 의미 또한 궁금합니다.

그림1.png이 경우에서 P1이 먼저 수행시 P0의 작업 수행을 방해하는 경우가 융통성의 예시가 되는 건가요?

답변 1

답변을 작성해보세요.

1

A1. 융통성이라고는 하지 않고 진행의 융통성(progress flexibility, progress) 또는 진행이라고 합니다.

이는 CS에 프로세스가 없다면 프로세스가 들어가서 자원을 활용할 수 있음을 뜻합니다. 예를 들어 P1이 CS에 2번이상 연달아 CS에 들어갈 수 있는 것을 말합니다.이 때 이 진행의 융통성에 영향을 미치는 프로세스는 CS를 들어가길 기다리는 프로세스에 한정하며 이 결정은 무기한 연기될 수 없음을 뜻합니다.

 - CS는 Critical Section의 약자입니다.

 

A2.

이러한 상호배제가 있음에도 융통성이라는 조건을 통해 다른 프로세스의 일을 방해해서는 안 된다는 문장의 구체적 의미 또한 궁금합니다.

>> 음.. 융통성을 통해 방해를 안한다는게 아니라 CS에 없다면 들어가서 일한다는 의미입니다.

 

A3.

말씀주신 그림의 경우 turn은 공유변수겠죠?

해당 부분은 진행의 융통성을 충족하지 않습니다. 예를 들어 turn이 1일 때 둘 다 대기하기 되기 때문입니다.

제가 진행의 융통성을 충족시키지 않는 그림을 그려봤는데요.

이렇게 “진행을 막으면” 안됩니다. ㅠ 비어있다면 어떠한 프로세스든 방해하지 않는 것을 말합니다.

image

감사합니다.

namk님의 프로필

namk

질문자

2022.10.10

융통성과 진행이 같은 개념인 것 같은데 왜 이름이 다른가 싶어 고민하다 머리 속에서 꼬였나봅니다 ㅠㅠ

진행의 융통성이군요! 진행의 융통성이 더 와닿는 것 같네요 ㅎㅎ

친절하고 구체적인 답변 감사합니다!