TIL (Today I Learned)
2022.05.04
오늘 읽은 범위
1장. 깨끗한 코드
🎿 The only way to go fast, is to go well
경쟁 상태 해결 조건
- Mutual Exclusion (상호 배제)
: 어떤 프로세스가 임계 영역을 수행 중이면, 다른 모든 프로세스들은 그 임계 영역에 들어가지 못하게 막는 것.- Progress(진행)
: 임계 영역에 들어간 프로세스가 없는 상태에서, 임계영역에 들어가려는 프로세스가 있으면 들어가게 해주어야 함.
임계 영역에 있는 프로세스 외에는 다른 프로세스가 임계영역에 진입하는 것을 방해하면 안됨.- Bounded Waiting(한정 대기)
: 기아(starvation) 상태를 방지하기 위해 프로세스가 임계 영역에 들어가려고 요청한 후부터, 다른 프로세스들이 임계 영역에 들어가는 횟수 한계 필요. 임계영역에 한 번 들어갔다온 프로세스는 다음 들어갈 때 제한 있음.