Войти
В базах данных и обработки транзакций, двухфазное замок ( 2PL) является управление параллельным методом, который гарантирует сериализуемость. Это также имя результирующего набора расписаний транзакций (историй) базы данных. Протокол использует блокировки, применяемые транзакцией к данным, которые могут блокировать (интерпретировать как сигналы для остановки) другие транзакции от доступа к тем же данным в течение срока действия транзакции.
По протоколу 2PL блокировки применяются и снимаются в два этапа:
Базовый протокол использует два типа блокировок: разделяемые и монопольные блокировки. Уточнения основного протокола могут использовать больше типов блокировок. Используя блокировки, которые блокируют процессы, 2PL может быть подвержен взаимоблокировкам, возникающим в результате взаимной блокировки двух или более транзакций.
Замок является системным объектом, связанным с совместно используемым ресурсом, такими как элемент данных элементарного типа, строки в базе данных, или странице памяти. В базе данных блокировка объекта базы данных (блокировка доступа к данным) может потребоваться транзакцией перед доступом к объекту. Правильное использование блокировок предотвращает нежелательные, неправильные или несогласованные операции с общими ресурсами другими параллельными транзакциями. Когда к объекту базы данных с существующей блокировкой, полученной одной транзакцией, требуется доступ для другой транзакции, система проверяет существующую блокировку для объекта и тип предполагаемого доступа. Если существующий тип блокировки не разрешает эту конкретную попытку одновременного доступа, транзакция, пытающаяся получить доступ, блокируется (в соответствии с заранее определенным соглашением / схемой). На практике блокировка объекта не блокирует напрямую операцию транзакции с объектом, а скорее блокирует эту транзакцию от получения другой блокировки для того же объекта, которая должна удерживаться / принадлежать транзакции перед выполнением этой операции. Таким образом, с помощью механизма блокировки необходимая блокировка операций контролируется соответствующей схемой блокировки блокировки, которая указывает, какой тип блокировки блокирует какой тип блокировки.
Используются два основных типа замков:
Общие взаимодействия между этими типами блокировки определяются поведением блокировки следующим образом:
Существует несколько вариаций и усовершенствований этих основных типов блокировки с соответствующими вариациями поведения блокировки. Если первая блокировка блокирует другую блокировку, эти две блокировки называются несовместимыми ; в противном случае замки совместимы. Часто типы блокировок, блокирующие взаимодействия, представлены в технической литературе таблицей совместимости блокировок. Ниже приведен пример общих основных типов блокировок:
| Тип замка | блокировка чтения | блокировка записи |
|---|---|---|
| блокировка чтения | ✔ | Икс |
| блокировка записи | Икс | Икс |
Согласно протоколу двухфазной блокировки, транзакция обрабатывает свои блокировки на двух различных последовательных фазах во время выполнения транзакции:
Два правила фазовой блокировки можно резюмировать следующим образом: никогда не устанавливать блокировку после того, как блокировка была снята. Свойство сериализуемости гарантируется для расписания с транзакциями, которые подчиняются этому правилу.
Как правило, без явного знания о транзакции в конце фазы 1, она безопасно определяется только тогда, когда транзакция завершила обработку и запросила фиксацию. В этом случае все блокировки могут быть сняты сразу (фаза 2).
Разница между 2PL и C2PL заключается в том, что транзакции C2PL получают все необходимые блокировки до начала транзакции. Это сделано для того, чтобы транзакция, которая уже удерживает некоторые блокировки, не будет блокироваться в ожидании других блокировок. Консервативный 2PL предотвращает тупиковые ситуации.
Чтобы соответствовать протоколу S2PL, транзакция должна соответствовать 2PL и снимать свои (исключительные) блокировки записи только после того, как она закончилась, то есть была либо зафиксирована, либо прервана. С другой стороны, блокировки чтения (разделяемые) регулярно снимаются во время фазы 2. Этот протокол не подходит для B-деревьев, потому что он вызывает Узкое место (в то время как B-деревья всегда начинают поиск от родительского корня).
или Строгость, или Жесткое планирование, или Строгая двухфазная синхронизация
Для соблюдения строгой строгой двухфазной блокировки (SS2PL) протокол блокировки освобождает как записи (эксклюзивные), так и чтения (общие) блокировки, применяемые транзакцией только после завершения транзакции, то есть только после завершения выполнения ( готовности) и становится либо совершенным, либо прерванным. Этот протокол также соответствует правилам S2PL. Транзакция, подчиняющаяся SS2PL, может рассматриваться как имеющая фазу 1, которая длится всю продолжительность выполнения транзакции, и не имеющая фазы 2 (или вырожденной фазы 2). Таким образом, фактически осталась только одна фаза, и «двухфазная» в названии, кажется, все еще используется из-за исторического развития концепции от 2PL, а 2PL является суперклассом. Свойство расписания SS2PL также называется строгостью. Это также имя класса расписаний, обладающих этим свойством, и расписание SS2PL также называется «строгим расписанием». Термин «жесткость» свободен от ненужного наследия «двухфазности», а также не зависит от какого-либо (блокирующего) механизма (в принципе, могут использоваться другие блокирующие механизмы). Соответствующий механизм блокировки объекта иногда называют строгим 2PL.
SS2PL является частным случаем S2PL, т. Е. Класс расписаний SS2PL является надлежащим подклассом S2PL (каждое расписание SS2PL также является расписанием S2PL, но существуют расписания S2PL, которые не являются SS2PL).
SS2PL был предпочтительным протоколом управления параллелизмом для большинства систем баз данных и использовался с первых дней их появления в 1970-х годах. Доказано, что он является эффективным механизмом во многих ситуациях и обеспечивает, помимо сериализуемости, также строгость (особый случай безкаскадной возможности восстановления), которая играет важную роль для эффективного восстановления базы данных, а также упорядочение обязательств (CO) для участия в распределенных средах, где CO используются решения на основе распределенной сериализуемости и глобальной сериализуемости. Являясь подмножеством CO, эффективная реализация распределенного SS2PL существует без распределенного диспетчера блокировок (DLM), в то время как распределенные взаимоблокировки (см. Ниже) разрешаются автоматически. Тот факт, что SS2PL, используемый в системах с несколькими базами данных, обеспечивает глобальную сериализуемость, был известен за годы до открытия CO, но только с CO пришло понимание роли протокола атомарной фиксации в поддержании глобальной сериализуемости, а также наблюдение за автоматическими разрешение распределенных тупиков (см. подробный пример Distributed SS2PL ). Фактически, SS2PL, наследование свойств восстанавливаемости и CO, более важно, чем подмножество 2PL, которое само по себе в своей общей форме, помимо простого механизма сериализуемости (однако сериализуемость также подразумевается CO), неизвестно наделить SS2PL любыми другими значительными качествами. 2PL в его общей форме, а также в сочетании со строгостью, т. Е. Строгим 2PL (S2PL), как известно, не используются на практике. Популярный SS2PL не требует маркировки «конец фазы 1», как это делают 2PL и S2PL, и поэтому его проще реализовать. Кроме того, в отличие от общей 2PL, SS2PL предоставляет, как упоминалось выше, полезные свойства упорядочивания Strictness и Commitment.
Существует множество вариантов SS2PL, которые используют различные типы блокировок с различной семантикой в различных ситуациях, включая случаи изменения типа блокировки во время транзакции. Примечательны варианты, в которых используется блокировка с множественной гранулярностью.
Комментарии:
| Тип замка | блокировка чтения | блокировка записи |
|---|---|---|
| блокировка чтения | Икс | |
| блокировка записи | Икс | Икс |
Включение классов расписания: стрелка от класса A к классу B указывает, что класс A строго содержит B; отсутствие направленного пути между классами означает, что классы несравнимы. Свойство по своей сути является блокирующим, если оно может быть реализовано только путем блокировки операций доступа к данным транзакции до тех пор, пока определенные события не произойдут в других транзакциях. ( Раз, 1992) Между любыми двумя классами расписаний (определяемыми соответствующими свойствами их расписаний), которые имеют общие расписания, либо одно содержит другое ( строго содержит, если они не равны), либо они несопоставимы. Взаимосвязи между классами 2PL и другими основными классами расписания показаны на следующей диаграмме. 2PL и его подклассы по своей сути являются блокирующими, что означает, что для них не существует оптимистичных реализаций (и всякий раз, когда упоминается «Оптимистичный 2PL», это относится к другому механизму с классом, который также включает расписания, не входящие в класс 2PL).
Блокирует блокировку операций доступа к данным. Взаимная блокировка между транзакциями приводит к тупиковой ситуации, когда выполнение этих транзакций останавливается, и завершение не может быть достигнуто. Таким образом, необходимо разрешить тупиковые ситуации, чтобы завершить выполнение этих транзакций и освободить связанные вычислительные ресурсы. Тупик - это отражение потенциального цикла в графе приоритета, который произошел бы без блокировки. Тупиковая ситуация разрешается путем прерывания транзакции, связанной с таким потенциальным циклом, и прерывания цикла. Это часто обнаруживается с помощью графа ожидания (графа конфликтов, заблокированных блокировками от материализации; конфликты, не материализованные в базе данных из-за заблокированных операций, не отражаются в графе приоритета и не влияют на сериализуемость ), который указывает, какая транзакция "ожидает" снятия блокировки, по которой транзакция, а цикл означает тупик. Прервать одну транзакцию за цикл достаточно, чтобы разорвать цикл. Если транзакция была прервана из-за разрешения тупиковой ситуации, приложение должно решить, что делать дальше. Обычно приложение перезапускает транзакцию с самого начала, но может отложить это действие, чтобы дать другим транзакциям достаточно времени для завершения, чтобы избежать возникновения новой тупиковой ситуации.
В распределенной среде атомно приверженность протокол, как правило, Двухфазное принятие (2PC) протокол используется для атомарности. Когда восстанавливаемые данные (данные под управлением транзакции) разделены между участниками 2PC (т. Е. Каждый объект данных контролируется одним участником 2PC), то распределенные (глобальные) взаимоблокировки, взаимоблокировки с участием двух или более участников в 2PC, разрешаются автоматически следующим образом:
Когда SS2PL эффективно используется в распределенной среде, то глобальные взаимоблокировки из-за блокировки порождают тупиковые ситуации с голосованием в 2PC и автоматически разрешаются с помощью 2PC (см. Упорядочивание обязательств (CO) в разделе Точная характеристика тупиков с голосованием по глобальным циклам ; Нет ссылок кроме статей CO, как известно, это замечают). Для общего случая 2PL глобальные взаимоблокировки аналогичным образом автоматически разрешаются протоколом точки синхронизации конца фазы 1 в распределенной транзакции (точка синхронизации достигается «голосованием» (уведомление локального завершения фазы 1) и распространяется на участников распределенной транзакции так же, как и точка принятия решения в атомарной фиксации; по аналогии с точкой принятия решения в CO, конфликтующая операция в 2PL не может произойти до конечной точки синхронизации фазы 1, с тем же результирующим тупиком голосования в случае глобальный тупик доступа к данным; тупик голосования (который также является глобальным тупиком на основе блокировки) автоматически разрешается протоколом, прерывающим некоторую вовлеченную транзакцию с отсутствующим голосом, обычно с использованием тайм-аута ).
Комментарий:
