просто быстрый запрос о безопасных/небезопасных состояниях в алгоритме банкира Дейкстры... Если один из процессов на снимке системы (например, тот, что ниже) уже выполнил все свои потребности, а ресурсов недостаточно для удовлетворения...