[CS / OS] Race Condition

Race Condition

• 두 개 이상의 프로세스가 공통 자원을 병행적으로 읽거나 쓰는 동작을 할 때, 공용 데이터에 대한 접근이 어떤 순서에 따라 이루어졌는지에 따라 그 실행결과가 같지 않고 달라지는 상황

임계 영역( critical section)

• 운영체제에서 여러 프로세스가 데이터를 공유하면서 수행될 때 각 프로세스에서 공유 자원에 접근하는 프로그램 코드 부분

 

임계 영역 충족 조건

1. 상호 배제 (mutual exclusion) : 한 프로세스만 임계 영역에 진입 가능
2. 진행 (progress) : 임계 영역에 한 프로세스가 진입해야함
3. 유한 대기(bounded waiting) : 프로세스가 임계 영역에 진입하기 위해 무한정으로 기다리는 기아 현상이 발생하면 안됨