О предотвращении тупиков в условиях коллективного закрепления ресурсов

Описывается простая модификация алгоритма банкира Дейкстры, допускающая закрепление каждого из разделяемых ресурсов одновременно за несколькими параллельными процессами (коллективное закрепление). Приводятся алгоритмы закрепления и открепления ресурсов, обеспечивающие отсутствие тупиков в этих условиях, и доказывается теорема, подтверждающая их корректность.