3545336795

Weryfikacja szeregowalności (algorytm tworzenia grafu pierwszeństwa)

. Dla każdej transakcji Ti należącej do harmonogramu S utwórz w grafie pierwszeństwa wierzchołek Ti

. Dla każdego przypadku w S. gdy Tj wykonuje operację r(x) po wykonaniu przez transakcję Ti operacji w(x), utwórz w grafie pierwszeństwa krawędź (Ti->Tj)

Dla każdego przypadku w S, gdy Tj wykonuje operację w(x) po wykonaniu przez transakcje Ti operacji r(x), utwórz w grafie pierwszeństwa krawędź (Ti->Tj)

. Dla każdego przypadku w S, gdy Tj wykonuje operację w(x) po wykonaniu przez transakcję Ti operacji w(x), utwórz w grafie iż (Ti->Tj)

Blokady

Blokady (zamki) - podstawowy mechanizm zapobiegający konlliktom przy współbieżnie wykonywanych iransakciach

Istnieje metoda zakładania blokad gwarantującapowslanie i realizację planów wyłącznie szeregowanych i odtwarzalnych -protokół ścisłego blokowania dwufazowego.

Przykład

Przykład planu nieszeregowalnogo: Tt:r(a),w(a).    r(b).w(b)

12;    r(a),w(a),r(b).w(b).

f=t

Protokół ścisłego blokowania dwufazowego (Strict 2PL)

Każda transakcja musi uzyskać blokadę S na obiekcie zanim odczyta ten obiekt oraz blokadę X na obiekcie przed zapisaniem go.

Jeśli transakcja trzyma blokadę X na obiekcie, żadna inna transakcja nie ma prawa założyć żadnej blokady na tym

Jeśli transakcja trzyma blokadę S na obiekcie, żadna inna transakcja nie ma prawa założyć blokady X na tym obiekcie Gdy transakcja nie może założyć blokady na obiekcie, może ustawić się w kolejce oczekujących transakcji stowarzyszonej z tym obiektem.

Wszystkie blokady trzymane przez transakcję są zwalniane jednocześnie, w chwili, gdy transakcja kończy się