Sylabus
1. Architektury distribuovaných systémů, hardwarové architektury
2. Meziprocesová komunikace - klient/server model, zprávy, spolehlivost, RPC
3. Synchronizační algoritmy - fyzické a logické hodiny, kauzalita, skupinová komunikace, doručovací protokoly, virtuální synchronie, vektorové a maticové hodiny, vyloučení procesů, volba koordinátora
4. Distribuovaný konsensus - detekce globálního stavu, dosažení distribuované shody, Paxos, RAFT
5. Distribuovaná sdílená paměť - konzistenční modely, distribuované stránkování
6. Procesy - vzdálené spouštění procesů, migrace, vyvažování zátěže, detekce zablokování
7. Replikace - replikace, aktualizační protokoly, klientocentrické konzistenční modely, masivní replikace
8. Technické principy kryptoměn - blockchain, konsensus, datové struktury, UTXO, proof-of-work vs. proof-of-stake, zero-knowledge proofs
Anotace
Architektury distribuovaných systémů, komunikace, synchronizace. Kauzalita, skupinová komunikace, doručovací protokoly, virtuální synchronie.
Distribuovaný konsensus. Distribuované sdílení paměti, konzistenční modely, distribuované stránkování.
Vzdálený běh a migrace procesů, detekce deadlocků. Replikace.
Technologie blockchainu.