Гарантируется ли, что при использовании расписания FCFS «система» не зайдет в тупик?
Заранее спасибо!
Взаимоблокировки вызваны блокировкой ресурсов, а не порядком планирования. FCFS не гарантирует, что ваши потоки всегда будут захватывать ресурсы последовательно, поэтому ответ на ваш вопрос отрицательный.
Четыре условия тупиковой ситуации:
Следовательно, FCFS не гарантирует, что система не окажется в тупике. Если четыре условия соблюдены, возникнет тупик.
Я не думаю, что тупиковые ситуации имеют какое-либо отношение к FCFS. AFAIK, взаимоблокировки возникают из-за потоков (в большинстве случаев; предположим, что поток A) удерживает блокировки ресурсов, ожидая получения блокировок других ресурсов, которые уже заблокированы другим потоком B. И если поток B также ожидает получить блокировки ресурсов, которые уже заблокированы потоком A.