Протокол гранулированных захватов требует соблюдения следующих правил:
Блокировка L1 называется более сильной по отношению к блокировке L2 тогда и только тогда, когда для любой конфликтной ситуации (Нет - недопустимо) в столбце блокировки L2 в некоторой строке матрицы совместимости блокировок (см. табл. 11.2) существует также конфликт в столбце блокировки L1 в той же строке.
Диаграмма приоритетов блокировок приведена на рис. 11.12.
Рис. 11.12. Диаграмма приоритета блокировок различных типов
244
242 :: 243 :: 244 :: Содержание