Transakce - NDBI016

• Anglický název: Transactions
• Zajišťuje: Katedra softwarového inženýrství (32-KSI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2023 do 2023
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: http://siret.ms.mff.cuni.cz/lokoc/?src=UK/index
• Garant: doc. RNDr. Jakub Lokoč, Ph.D.
• Třída: Informatika Mgr. - Softwarové systémy
• Kategorizace předmětu: Informatika > Databázové systémy

Anotace

čeština

Poslední úprava: G_I (16.03.2011)

Kurz o transakcích pro pokročilé studenty. Poskytuje detailní informace o transakcích jako základním mechanismu pro zajištění stability dat. Seznámí s vlastnostmi transakcí a strukturou a implementací transakčních systémů. Předmět je vyučován v anglickém jazyce. Předpokládají se znalosti v rozsahu bakalářského kursu NDBI025 Databázové systémy.

angličtina

Poslední úprava: TUMA (28.04.2005)

Transactions course for advanced students. Provides detailed information about transactions as a basic mechanism for achieving data stability. Explains the properties of transactions and the structure and implementation of transactional systems.

Podmínky zakončení předmětu

čeština

Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.10.2017)

Podmínkou úspěšného ukončení předmětu je vypracování menšího projektu, který je zadán na jedné z prvních přednášek a absolvování ústní zkoušky.

angličtina

Poslední úprava: RNDr. Michal Kopecký, Ph.D. (04.10.2017)

A condition for the successful passing the course is preparation of a minor project, which will be assigned in one of the first lectures and the oral exam.

Literatura

Poslední úprava: TUMA (28.04.2005)

Bernstein P. A., Hadzilacos V., Goodman N.: Concurrency Control and Recovery in Database Systems, http://research.microsoft.com/pubs/ccontrol

Gray J., Reuter A.: Transaction Processing, Concepts And Techniques, Morgan Kaufmann Publishers, 1994

Moss J. E. B.: Nested Transactions, An Approach to Reliable Distributed Computing, MIT Press 1985

CORBAservices Specification, Object Transaction Service, OMG document ORBOS/97-3-4, ftp://ftp.omg.org, 1994-1997

Sylabus

čeština

Poslední úprava: T_KSI (13.05.2012)

Motivace pro zavedení transakcí (spolehlivost, paralelismus)

• definice a měření spolehlivosti, přehled metod zvyšování spolehlivosti (předcházení a maskování chyb)

• připomenutí problémů souvisejících s paralelismem, cíle (jednoduchost, paralelismus, možnost kompozice)

Základní vlastnosti transakcí

• atomicity, consistency, isolation, durability

• modely transakcí, prosté, zřetězené, vnořené

• modely pro dlouho trvající transakce

• formální popisy modelů

Základní funkce transakčních systémů

• různé varianty transakčních systémů (databáze, distribuované transakce, koordinační frameworky, transakční paměť)

• funkce nabízené transakčními systémy, orientační příklady rozhraní a jejich použití

Paralelní běh transakcí

• formalizace paralelního běhu, rozvrhy a jejich vlastnosti

• plánování pomocí zamykání a jeho implementace

• plánování pomocí časových razítek a jeho implementace

• plánování pomocí serializačních grafů a jeho implementce

• certifikující plánovače

• integrované plánovače

• verzující plánovače

Atomické ukončení transakcí

• dvoufázový commit protokol

• třífázový commit protokol

• spolehlivé logování

angličtina

Poslední úprava: T_KSI (13.05.2012)

Motivation for introducing transactions (reliability, parallelism)

• definition and measurement of reliability, reliable system construction methods (error avoidance and masking)

• rehearsal of parallelism related issues, goals (simplicity, parallelism, composability)

Basic transaction properties

• atomicity, consistency, isolation, durability

• transaction models, flat, chained, nested

• long running transaction models

• model formalisms

Basic features of transactional systems

• types of transactional systems (databases, distributed transactions, coordination frameworks, transactional memory)

• features of transactional systems, examples of interfaces and their usage

Parallel execution

• formal model of parallel execution, schedules and their properties

• lock based scheduling, implementation

• timestamp based scheduling, implementation

• serialization graph based scheduling, implementation

• certifying schedulers

• integrated schedulers

• versioning schedulers

Atomic termination

• two phase commit protocol

• three phase commit protocol

• reliable storage and logging