Transakce Pednky z distribuovanch systm DS Synchronizace Transakn
Transakce Přednášky z distribuovaných systémů DS - Synchronizace
Transakční model (1) Oprava master pásky je odolná proti poruchám. 30. 10. 2021 DS - Synchronizace 2
Transakční model (2) Primitive Description BEGIN_TRANSACTION Make the start of a transaction END_TRANSACTION Terminate the transaction and try to commit ABORT_TRANSACTION Kill the transaction and restore the old values READ Read data from a file, a table, or otherwise WRITE Write data to a file, a table, or otherwise Příklady primitivních transakcí. 30. 10. 2021 DS - Synchronizace 3
Transakční model (3) BEGIN_TRANSACTION reserve WP -> JFK; reserve JFK -> Nairobi; reserve Nairobi -> Malindi; END_TRANSACTION (a) a) b) 30. 10. 2021 BEGIN_TRANSACTION reserve WP -> JFK; reserve JFK -> Nairobi; reserve Nairobi -> Malindi full => ABORT_TRANSACTION (b) Úspěšná transakce pro rezervaci tří letů Neúspěšná transakce je-li třetí let nedostupný DS - Synchronizace 4
Distribuované transakce 30. 10. 2021 a) b) Vnořené transakce Distribuované transakce DS - Synchronizace 5
Privátní pracovní prostor a) b) c) 30. 10. 2021 Idnes souborů a diskových bloků pro soubor se třemi bloky Situace, kdy transakce modifikovala blok 0 a připojila něco za blok 3 Po ukončení transakce (commit) DS - Synchronizace 6
Dopředný log - Writeahead Log x = 0; y = 0; BEGIN_TRANSACTION; x = x + 1; y=y+2 x = y * y; END_TRANSACTION; (a) Log Log [x = 0 / 1] [y = 0/2] [x = 1/4] (b) (c) (d) a) transakce b) – d) log před provedením každého příkazu 30. 10. 2021 DS - Synchronizace 7
Řízení souběhu (concurency) (1) Obecná organizace managerů pro zpracování transakcí. DS - Synchronizace 30. 10. 2021 8
Řízení souběhu (concurency) (2) Základní organizace managerů pro zpracování distribuovaných transakcí. 30. 10. 2021 DS - Synchronizace 9
Serializovatelnost BEGIN_TRANSACTION x = 0; x = x + 1; END_TRANSACTION (a) BEGIN_TRANSACTION x = 0; x = x + 2; END_TRANSACTION BEGIN_TRANSACTION x = 0; x = x + 3; END_TRANSACTION (b) (c) Schedule 1 x = 0; x = x + 1; x = 0; x = x + 2; x = 0; x = x + 3 Legal Schedule 2 x = 0; x = x + 1; x = x + 2; x = 0; x = x + 3; Legal Schedule 3 x = 0; x = x + 1; x = 0; x = x + 2; x = x + 3; Illegal (d) 30. 10. 2021 a) – c) Tři transakce T 1, T 2, and T 3 d) Možná zpracování DS - Synchronizace 10
Dvoufázové uzamykání (1) Dvoufázové uzamykání. 30. 10. 2021 DS - Synchronizace 11
Dvoufázové uzamykání (2) Striktní dvoufázové uzamykání. 30. 10. 2021 DS - Synchronizace 12
Pesimistické uspořádání časovými značkami Řízení souběhu použitím časových značek. 30. 10. 2021 DS - Synchronizace 13
- Slides: 13