[운영체제]병행성, 임계구역, 상호배제, 교착상태

교착상태(Deadlock)

모든 프로세스들이 대기 중이고 프로그램이 진행을 할 수 없는 상태.

두 개 이상의 작업이 서로 작업이 끝나기만을 기다리고 있어서, 결과적으로 어떤 일도 완료하지 못하게 되는 것을 말한다.

병행성(concurrency)

프로그램에 있는 연산들이 병렬적으로 실행될 수 있으면 연산들이 병행적이라고 함. 병렬성의 가능성을 말함. <-> 순차적

상호배제(Mutual exclusion)

공유변수를 액세스하고 있는 하나의 프로세스 이외에 다른 모든 프로세스들이 공유변수를 액세스하지 모하도록 제어하는 기법.

각 프로세스들이 변수를 '읽기'만 할 때에는 문제가 없다. 하지만 '쓰기'를 하려고 할 때 문제가 발생한다. 따라서 이런 경우 서로 동시에 액세스 하지 못하도록 하는 것이 상호배제이다.

임계구역(Critical Sections, Critical Region)

어떤 프로세스가 공유데이터를 액세스하고 있을 때 그 프로세스는 임계구역에 있다고 한다. 상호배제를 위해서 한 프로세스가 임계구역에 있으면 다른 프로세스가 이에 접근하지 못하도록 해야 할 것이다.