Какие существуют методы предотвращения тупиковых ситуаций в многозадачных системах?

Некоторые методы предотвращения тупиковых ситуаций в многозадачных системах:

• Предварительное выделение ресурсов. 1 Процесс не должен начинать исполнение, не получив всех необходимых для этого ресурсов. 1 При этом нужно знать заранее, сколько ресурсов понадобится процессу. 1 Проектировщик просит систему выделять ресурсы с запасом. 1
• Разрешение ОС забирать ресурсы у процесса. 1 Этого можно достичь, реализовав механизм запоминания состояния процесса, чтобы иметь возможность восстановить его. 1 Однако нежелательно позволять процессам отбирать ресурсы у устройств ввода/вывода. 1
• Запрет образования сетей запросов. 1 Его можно соблюсти с помощью принципа иерархического выделения ресурсов. 1
• Добровольное освобождение ресурсов. 3 Процесс должен отказываться от имеющихся у него ресурсов только тогда, когда он завершает свою задачу или больше в них не нуждается. 3
• Использование порядка распределения ресурсов. 3 Каждому ресурсу присваивают уникальный номер, и процессы могут запрашивать ресурсы только в порядке возрастания их количества. 3 Это предотвращает циклические цепочки процессов, ожидающих ресурсов. 3
• Алгоритм банкира. 13 Это алгоритм распределения ресурсов и предотвращения взаимоблокировки, который проверяет все запросы ресурсов, выполняемые процессами. 3 Если выполнение запроса поддерживает систему в безопасном состоянии, запрос разрешён, если безопасного состояния не существует, запрос отклоняется. 3