Безопасное состояние системы

безопасность система алгоритм банкир Безопасным состоянием системы называется такое состояние, которое не приводит к возникновению в системе тупиков. Для того чтобы избежать появление тупиков надо сделать следующее. Когда процесс запрашивает ресурс, система должна уточнить, не приведет ли выделение конкретного ресурса к безопасному состоянию системы. Система будет находится в безопасном состоянии, если в ней присутствует безопасная последовательность, которая состоит из всех процессов находящихся в системе. Безопасной последовательностью процессов называется последовательность процессов, такая, что для каждого нового процесса Ni ресурсы, которые возможны для запроса, могут быть выделены из ресурсов, которые доступны в текущее время и из ресурсов, удерживаемых процессами Nj, где j < i.

Если все последовательные процессы безопасны, то система может и дальше придерживаться следующей безопасной стратегии, с точки зрения распределения ресурсов и исполнения процессов:

• · Если потребность процесса Ni в ресурсах не возможны незамедлительно удовлетворены, то процесс будет ждать пока не завершатся процессы Nj (где j < i), которые удерживает нужные ресурсы;
• · Когда все процессы Nj будет завершены, процесс Ni может получит нужные ресурсы, и вернуть удержанные ресурсы и завершиться;
• · После завершения процесса Ni, процесс Ni+1 может получить необходимые ему ресурсы.

Отсюда следует, справедливы следующие утверждения:

• · Если система находится в безопасном состоянии, то тупиков нет;
• · Если системы находится в небезопасном состоянии, то тупики скорее всего возможны;
• · Для того, чтобы в дальнейшем избежать тупиков, надо перед выделением ресурсов обязательно проверять, что система никогда не приведет в небезопасное состояние.