Procházet otázky :: SZZ na MFF UK

#

- Hlavní strana
- Okruhy
- Projít
- Stáhnout
- Co je potřeba
- Chci přispět
- Kredity

Hledat:

## Prohlížení státnicových textů

### Uzamykací protokoly

Vytváření rozvrhů a testování jejich uspořádatelnosti není pro praxi zřejmě ten nejvhodnější způsob. Pokud ale budeme transakce konstruovat podle určitých pravidel, tak za určitých předpokladů bude každý jejich rozvrh uspořádatelný. Soustavě takových pravidel se říká protokol.

Nejznámější protokoly jsou založeny na dynamickém zamykání a odemykání objektů v databázi. Zamykání (operace LOCK) je akce, kterou vyvolá transakce na objektu, aby ho chránila před přístupem ostatních transakcí.

Definice (Dobře formovaná transakce)

Transakci nazveme dobře formovanou pokud podporuje přirozené požadavky na transakce:

1. transakce zamyká objekt, chce-li k němu přistupovat,
2. transakce nezamyká objekt, který již je touto transakcí uzamčený,
3. transakce neodmyká objekt, který není touto transakcí zamčený,
4. po ukončení transakce jsou všechny objekty uzamčené touto transakcí odemčeny.

Subsections

- Dvoufázový protokol (2PL)
- Striktní dvoufázový protokol (S2PL)
- Konzervativní dvoufázový protokol (C2PL)