동기화에 대한 질문 있습니다. 프로그레스가 무얼 말하는건지요.

그 부분을 시험공부하면서 읽은 기억이 있는데 지금은 잘 생각 안나네요

책이 사물함에 있어서 -_- 정확히는 모르겠지만 이해를 돕자면..

critical section과 non-critical section은 쓰레드나 프로세스의 코드 부분을

말해요. 즉, critical section에선 동시에 한 쓰레드만 (때에 따라선 몇개의 쓰레드만) 접근 할 수 있는

변수나 장치를 사용한다는 거죠. (예를들어, cpu나 semaphore 처럼요)

질문하신 분의 내용만 보자면, 각 쓰레드는 아래와 같은 구조가 되어있죠.

(예를 들어 혼자 써야 하는 장치가 printer라고 하면요)

[non-critical section] (printer를 사용하지 않는 코드부분)

while { printer == lock; }

printer = lock;

[critical section] (printer를 사용하는 코드부분)

printer = unlock;

[non-critical section]

이와 같은 형태를 취해야 한다는거죠 ^^

non-critical section을 execute하고 있다는 건,

critical section에 들어가기 위해 기다리고 있지 않다는 말이거든요.

여러 쓰레드가 같은 장치를 access할려고 기다리고 있고, 그 장치가 사용

가능하게 되었을 때 어떤 쓰레드가 그 장치를 사용하도록 할 것인지는,

policy에 달린 문제이지만 반드시 기다리던 쓰레드에게 사용권을

넘겨주어야 progress가 진행이 될 수 있다는 말 같네요.

(다른 작업 신나게 하고 있는 쓰레드에게 사용권 줘버리면, 딴 쓰레드 들이

그 사용권 따기 전까진 아무것도 못하겠죠?)

그리고 답변하신 분의 책에서 인용한,

this selection cannot be postponed indefinitely.

는 deadlock / starvation 에 대한 말이네요

참고로 deadlock은 진행되지 못하고 있는 상태가 영원히 지속되는 경우,

따라서 victim을 정해서 얽힌 lock을 풀어주지 않을 경우 계속 멈춰있는 경우

이고, starvation은 우선권을 가지는 다른 쓰레드 때문에 어떤 쓰레드가 굶고

지쳐 쓰러질 지경이 되는 경우를 말합니다 ^^