[완료] 임계구역문제의 요건에 대해

설명하고 있는 글입니다. 한글판은 안봐서 어딘지 잘 모르겠네요.

"임계구역에서 실행되는 스레드가 없고 그리고 임계 구역으로 진입하려고 하는 스레드들이 있다면, 임계 구역이 아닌 곳에서 실행중이 아닌 스레드들만 다음에 누가 그 임계 구역으로 진입할 수 있는 지를 결정하는 데 참여할 수 있으며"

A, B, 그리고 C 세개의 쓰레드는 모두 임계구역 T를 한번씩 거치도록 프로그래밍 되어있다고 가정합시다. A, B, C 모두 임계구역에 진입하지 않았다면 그 세개 중 어떤 쓰레드가 먼저 임계구역에 진입할 지 결정합니다. 만약 A가 먼저 임계구역에 들어가서 작업을 하고 있다면, 당연히 B나 C는 임계구역에 진입하지 못합니다. A가 임계구역을 빠져나가게 되면 B 또는 C 둘중 하나가 임계구역이 진입을 해야 하는데, 이 때 임계구역을 이미 진입했다가 빠져나온 쓰레드로써 B와 C가 내려야 하는 결정에 방해가 되면 안됩니다. 쉽게 얘기해서 T 지역에 진입할 때 lock을 걸고 빠져나올때 lock을 풀어야 하는데, A가 임계구역을 빠져나오면서 lock을 풀지않고 그냥 다른 일을 해버리면 B와 C는 아무것도 못하는 상태가 되겠죠. 임계구역과 관계있는 B와 C만이 lock을 가지고 다투는 상황이 되어야 합니다.

"이 선택은 무한히 연기될 수 없다"
deadlock을 말하는 것 같은데요. 위에서 A가 lock을 가지고 다른 일을 해버리는 것과 비슷한 상황이라고 생각하면 될 것 같습니다.