Двухфазная блокировка: различия между версиями

В [[База данных|базах данных]] и [[Обработка транзакций|обработке транзакций]] '''двухфазная блокировка (2PL)''' — это метод [[:en:Concurrency control|управления параллелизмом]], который гарантирует [[Граф предшествования|сериализуемость]]<ref>Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman (1987): ''Concurrency Control and Recovery in Database Systems'', Addison Wesley Publishing Company, ISBN 0-201-10715-5</ref><ref>Gerhard Weikum, Gottfried Vossen (2001): ''Transactional Information Systems'', Elsevier, ISBN 1-55860-508-8</ref>. Это также имя результирующего [[Расписание (СУБД)|набора графиков]] [[Транзакция (информатика)|транзакций базы данных]] (истории). Протокол использует блокировки, применяемые транзакцией к данным, которые могут [[Блокировка (программирование)|блокировать]] (интерпретировать как сигналы для остановки) другие транзакции от доступа к тем же данным в течение жизни транзакции.

 

 

 

 

 

== Блокировки доступа к данным ==

Блокировка — системный объект, связанный с общим ресурсом, например элемент данных элементарного типа, строка в базе данных или страница памяти. В базе данных перед доступом к объекту может потребоваться блокировка объекта базы данных (блокировка доступа к данным) путем транзакции. Правильное использование блокировок предотвращает нежелательные, неправильные или непоследовательные операции с общими ресурсами другими параллельными транзакциями. Когда к объекту базы данных с существующей блокировкой, полученной одной транзакцией, необходимо получить доступ другой транзакцией, существующая блокировка объекта и тип предполагаемого доступа проверяются системой. Если существующий тип блокировки не разрешает этот конкретный тип одновременного доступа, транзакция, пытающаяся получить доступ, блокируется (в соответствии с предопределенным соглашением / схемой). На практике блокировка объекта не блокирует транзакцию непосредственно над объектом, а блокирует транзакцию от приобретения другой блокировки на одном и том же объекте, которая должна быть сохранена / принадлежит транзакции перед выполнением этой операции. Таким образом, с блокирующим механизмом необходимая блокировка операций контролируется надлежащей схемой блокировки блокировки, которая указывает, какие блоки блокировки блокируют тип блокировки.

 

 

* '''Запись-блокировка (эксклюзивная блокировка)''' связана с объектом базы данных транзакцией (терминология: «транзакция блокирует объект» или «получает блокировку для нее») перед записью (вставка / изменение / удаление) этого объекта.

* Блокировка чтения не блокирует предполагаемое чтение другой транзакцией. Соответствующая блокировка чтения для предполагаемого считывания приобретается (совместно с предыдущим чтением) сразу после запроса на чтение, а затем происходит само предназначение считывания.

 

 

{| class="wikitable"

!'''Тип блокировки'''

!'''блокировка чтения'''

| '''Х'''

|}

 

'''Комментарий.''' В некоторых публикациях записи в таблице просто помечены как «совместимые» или «несовместимые», или, соответственно, «да» или «нет».

Согласно протоколу '''двухфазной блокировки''' транзакция обрабатывает свои блокировки в двух разных последовательных фазах во время выполнения транзакции:

 

 

Правило двух фазовых блокировок можно суммировать как: никогда не получить блокировку после того, как блокировка была выпущена. Свойство [[Граф предшествования|сериализуемости]] гарантируется для расписания с транзакциями, которые подчиняются этому правилу.