Добавил:
Kaz
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Теория СУБД Часть 1 Копачев Алексей Геннадьевич, БГУИР (Мет пособие).pdf
13
проверка SCN |
| |
|
| |
|
счета Pi > |
| |
|
| |
|
сравнение |
| |
|
| |
|
А.SCN и В.SCN |
| |
t1 |
| |
- |
А.SCN и P1.SCN |
| |
|
| |
|
P1=100 |
| |
|
| |
|
Sum=100 |
| |
|
| |
|
- |
| |
t2 |
| |
X, P3 блокировка счёта P3, бло-й X |
- |
| |
t3 |
| |
P3: 100>50 |
- |
| |
t4 |
| |
x, P1 |
- |
| |
t5 |
| |
Pi: 100150 |
- |
| |
t6 |
| |
END |
SCN.P2 |
| |
t7 |
| |
- |
P2=100; |
| |
|
| |
|
sum=200; |
| |
|
| |
|
!SCN.P3>A.SCN |
| t8 |
| |
- |
|
Старое P3 |
| |
t9 |
| |
|
P3=100 |
| |
|
| |
|
Sum=300 |
| |
|
| |
|
END |
| t10 | |
|
||
Теория Есварана
Протокол двухфазной блокировки
1)Перед выполнением функций транзакция должна заблокировать 0. 2)После снятия блокировки тр-я не должна накладывать никаких других
блокировок. Все транзакции называются монопольными.
Теорема Есварана. Если все транзакцииии в смеси подчиняются протоколу двухфазной блокировки, то для всех генерирующихся графиков запуска транзакций существует возможность их упорядочения.
Условные обозначения
-блокировка объекта.
-работает с объектом.