[Concurrency] 기아 상태 (Starvation)

#동시성

Starvation은 동시성 프로그램에서 발생할 수 있는 동시성 버그 패턴 중 하나다.
특정 프로세스(혹은 스레드)가 실행되거나 자원에 접근할 기회를 잘 얻지 못하는 현상을 말한다.

보통 Task들에게 일종의 우선순위가 구현되어있을 경우에만 발생한다.
높은 우선순위를 가진 Task가 계속 실행되어서 Lock을 점유하고, 낮은 우선순위의 Task들이 Lock에 걸려서 제대로 된 동작을 하지 못하는 것이다.

vs 데드락

데드락과 비교되기도 하는데, 헛돌기만 하거나 무한 대기상태에 빠지는 것과는 다르다.

데드락은 아예 동작하지 않는 것에 가까운데, Starvation은 아예 동작하지 않는 것은 아니고 "공평하게" 실행되지 못하는 문제를 말한다.

그리고 데드락과는 다르게 일반적인 응용프로그램 수준에서 흔하게 발생하지는 않는다. 애초에 Task에 우선순위를 할당해서 거창하게 스케줄링을 하는것부터 단순한 사용사례는 아니기 때문이다.