Распределение ресурсов согласно алгоритму банкира осуществляется при выполнении условия “взаимоисключения”, “ожидания дополнительных ресурсов” и “неперераспределяемости”. То есть процессы могут претендовать на монопольное использование ресурсов, которые им требуются. Процессам реально разрешается удерживать за собой ресурсы, запрашивая и ожидая выделения дополнительных ресурсов, причем система удовлетворяет только те запросы, при которых ее состояние остается надежным. Запрос пользователя, приводящий к переходу системы в ненадежное состояние, откладывается до момента, когда его все же можно будет выполнить.
1.Алгоритм банкира исходит из фиксированного количества распределяемых ресурсов. Но поскольку устройства, предоставляющие ресурсы, требуют технического обслуживания, то мы не можем считать, что количество ресурсов всегда остается фиксированным.
2.Алгоритм требует, чтобы число выполняющихся процессов оставалось постоянным. Подобное требование также является нереалистичным. В современных мультипрограммных системах количество работающих процессов непрерывно меняется.
3.Алгоритм требует, чтобы процессы заранее указывали свои максимальные потребности в ресурсах, но т.к. распределение ресурсов становится более динамичным, то все труднее оценивать максимальные потребности процесса.
Методы обнаружения тупиков применяются в системах, которые допускают возможность возникновения тупиковых ситуаций как следствия либо умышленных, либо неумышленных действий программистов. Цель средств обнаружения тупиков – установить сам факт возникновения тупиковой ситуации, причем точно определить те процессы и ресурсы, вовлеченные в данную тупиковую ситуацию. После этого, данную тупиковую ситуацию можно будет устранить.
Обнаружение тупика – установление факта, что возникла тупиковая ситуация, и определение процессов и ресурсов, вовлеченных в эту тупиковую ситуацию. Алгоритмы обнаружения тупиков, как правило, применяются в системах, где выполняются первые три необходимых условия возникновения тупиковой ситуации. Эти алгоритмы затем определяют, не создался ли режим кругового ожидания. Одним из способов обнаружения тупиков является редукция ориентированного графа распределения ресурсов и запросов. Редукция графа на конкретный процесс изображается исключением стрелок, идущих к этому процессу от резервов (т.е. ресурсов, выделенных данному процессу) и стрелок к ресурсам от этого процесса (т.е. текущих запросов данного процесса на выделение ресурсов). Если граф можно редуцировать на все процессы, значит тупиковой ситуации нет, а если этого сделать нельзя, то все “нередуцируемые” процессы образуют набор процессов, вовлеченных в тупиковую ситуацию.