Тема 27 «Види синхронізаційних захоплень» План

1. Гранульвані синхронізаційні захоплення.

2. Предикатні синхронізаційні захоплення.

3. Тупіки, розпізнавання та руйнування.

Література

1. Крёнке Д. «Теория и практика построения баз данных» 8-е издание. Питер. 2003г

2. М. Р. Когаловский «Энциклопедия технологий баз данных». Москва: Финансы и статистика. 2002 г.

3. К. Дж. Дейт «Введение в системы баз даннях» 7-е издание. Вильямс. 2001 г.

Гранульовані синхронізаційні захоплення

Схожі міркування призвели до розробки апарату гранульованих синхронізаційних захоплень. При застосуванні цього підходу синхронізаційні захоплення можуть проситися за відношенням до об’єктів різного рівня: файлам, відношенням та кортежам. Вимагаємий рівень об’єкту визначається тим, яка операція виконується (наприклад, для виконання операції знищення відношення об’єктом синхронізаційного захоплення повинні бути всі відношення, а для виконання операції знищення кортежу - цей кортеж). Об’єкт будь-якого рівня може бути захоплений в режимі S або X.

Зараз найважливіша відмінність, на якій, тримається відповідність захоплень різного рівня. Вводяться спеціальні протоколи гранульованих захоплень та нові типи захоплень: перед захопленням об’єкту в режиму S або X відповідний об’єкт найвищого рівня повинен бути захоплений в режимі IS, IX або SIX. Що ж з себе представляють ці режими захоплень?

IS (Intented for Shared lock) по відношенню до деякого складеного об’єкту O означає намір захопити деякий входящий в O об’єкт в сумісному режимі. Наприклад, при намірі читати кортежі з відношення R це відношення повинне бути захоплене в режимі IS (а до цього в таком ж режимі повинен бути захоплений файл).

IX (Intented for eXclusive lock) по відношенню до деякого складеного об’єкту O означає намір захопити деякий входящий в O об’єкт в монопольному режимі. Наприклад, при намірі знищувати кортежі з відношення R це відношення повинне бути захоплене в режимі IX (а до цього в таком ж режимі повинен бути захоплений файл).

SIX (Shared, Intented for eXclusive lock) по відношенню до деякого складеного об’єкту O означає спільне захоплення всього цього об’єкту з наміром згодом захоплювати будь-які що входять в нього об’єкти в монопольному режимі. Наприклад, якщо виконується довга операція перегляду відношення з можливістю знищення деяких переглядаємих кортежів, то економніше всього захопити це відношення в режимі SIX (а до цього захопити файл в режимі IS).

Важко описати словами всі можливі ситуації. Ми обмежимося наведенням повної таблиці сумісності захоплень, аналізуючи яку можно виявити всі випадки:

	X	S	IX	IS	SIX
-	так	так	так	так	так
X	ні	ні	ні	ні	ні
S	ні	так	ні	так	ні
IX	ні	ні	так	так	ні
IS	ні	так	так	так	так
SIX	ні	ні	ні	так	ні