График приоритета - Precedence graph

А граф приоритета, также названный граф конфликтов[1] и сериализуемость график, используется в контексте контроль параллелизма в базы данных.^[1]

Граф приоритета расписания S содержит:

• Узел для каждой зафиксированной транзакции в S
• Дуга из T_я к Т_j если действие T_я предшествует и конфликты с одним из Т_jдействия.

Примеры графа приоритета

Пример 1

Пример 2

${displaystyle S = {egin {bmatrix} T1 & T2 R (A) & R (A) A = A * 5 & R (B) W (A) & B = B + A R (B) & W (B) B = B * 10 & W (B) & end {bmatrix}}}$

Пример 2

${displaystyle D = R1 (A)}$ ${displaystyle R2 (B)}$ ${displaystyle W2 (A)}$ ${displaystyle Com.2}$ ${displaystyle W1 (A)}$ ${displaystyle Com.1}$ ${displaystyle W3 (A)}$ ${displaystyle Com.3}$

Граф приоритета расписания D с 3 транзакциями. Поскольку существует цикл (длиной 2, с двумя ребрами) через зафиксированные транзакции T1 и T2, это график (история) нет Сериализуемый конфликт Обратите внимание, что фиксация транзакции 2 не имеет никакого значения для создания графа приоритета.

Тестирование сериализуемости с помощью графа приоритета

Пример тестирования сериализуемости

Алгоритм для тестирования Сериализуемость конфликта расписания S вместе с примером расписания.

${displaystyle S = {egin {bmatrix} T1 & T2 & T3 R (A) && & W (A) & & Com. & W (A) && Com. && && W (A) && Com. end {bmatrix}} }$

или же

${displaystyle S = R1 (A)}$ ${displaystyle W2 (A)}$ ${displaystyle Com.2}$ ${displaystyle W1 (A)}$ ${displaystyle Com.1}$ ${displaystyle W3 (A)}$ ${displaystyle Com.3}$

1. Для каждой транзакции T_Икс участвуя в расписании S, создайте узел с меткой T_я в графе приоритета. Таким образом, граф предшествования содержит T₁, Т₂, Т₃.
2. Для каждого случая в S, где T_j выполняет read_item(X) после T_я выполняет write_item(X), создайте ребро (T_я → Т_j) в графе приоритета. В приведенном выше примере этого нигде не происходит, так как чтение после записи не выполняется.
3. Для каждого случая в S, где T_j выполняет write_item(X) после T_я выполняет read_item(X), создайте ребро (T_я → Т_j) в графе приоритета. Это приводит к направленному ребру от T₁ к Т₂ (как T₁ имеет R (А) перед T₂ имея Вт (А)).
4. Для каждого случая в S, где T_j выполняет write_item(X) после T_я выполняет write_item(X), создайте ребро (T_я → Т_j) в графе приоритета. Это приводит к направленным ребрам из T₂ к Т₁, Т₂ к Т₃ и т₁ к Т₃.
5. Расписание S сериализуемо тогда и только тогда, когда у графа приоритетов нет циклов. Поскольку T₁ и т₂ составляют цикл, приведенный выше пример не является (конфликтным) сериализуемым.

Рекомендации

внешняя ссылка

• Основы систем баз данных, 5-е издание использование графов приоритета обсуждается в главе 17, поскольку они относятся к тестам для сериализуемость конфликта.
• Авраам Зильбершатц, Генри Корт и С. Сударшан. 2005. Концепции систем баз данных (5-е изд.), PP. 628–630. McGraw-Hill, Inc., Нью-Йорк, Нью-Йорк, США.