Při rozložení, kdy výsledek je stejný jako u sériového provedení Þ sériově ekvivalentní proložení
Plán provádění transakce - uspořádání elementárních kroků množiny prováděných transakcí.
Plán je sériově ekvivalentní, když výsledek je shodný.
Pro zajištění sériově ekvivalentního plánu je nutno použít prostředky synchronizace. Lze použít především zámky a časové značky.
Použití zámků
Každý datový objekt (věta, soubor…) může být první transakcí, která s ním pracuje, uzamknut. Transakce, která objekt uzamkne, tj. přidělí mu svůj zámek, způsobí nepřístupnost objektu pro ostatní transakce.
Pokud se transakce snaží uzamknout uzamknutý objekt, musí provést některou z následujících činností:
- čekat na zrušení zámku (nejobvyklejší, ale je možné „zatuhnutí systému“)
- neúspěšně ukončit provádění (ABORT) s využitím time out
- vyvolat neúspěšné ukončení původní transakce, aby získala přístup
Zámky mohou zajistit serializovatelnost (sériové provedení). Pokud je transakce dobře formovaná a dvoufázová, je výsledné provádění transakce serializovatelné.
Žádné komentáře:
Okomentovat