Четыре условия для тупика:
- Взаимное исключение: независимо от алгоритма планирования, ресурсы могут быть использованы одним процессом без совместного использования.
- Удерживать и ждать. В этом состоянии процессы могут ожидать других ресурсов, удерживая один ресурс. Это возможно с любым алгоритмом планирования.
- Без упреждения: FCFS не является упреждающим. То есть процессы, выполняющие критическую часть своего кода, не могут быть принудительно остановлены.
- Циклическое ожидание: процессы ожидают, пока другой процесс выпустит ресурс циклическим способом. Это, опять же, независимо от алгоритма планирования
Следовательно, FCFS не гарантирует, что система не будет в тупике. Если четыре условия соблюдены, возникает тупик.