Principy distribuovaných systémů
Sylabus
- Úvod -
definice, funkce, typy
- Meziprocesová komunikace -
klient/server model, zprávy, spolehlivost, RPC, skupinová komunikace
- Synchronizační algoritmy -
fyzické a logické hodiny, vyloučení procesů, volba koordinátora,
kauzální závislost, doručovací protokoly, virtuální synchronie
- Distribovaný konsensus -
detekce globálního stavu, dosažení distribuované shody, replikovaný stavový automat, Paxos, RAFT
- Distribuovaná sdílená paměť -
architektury, konzistenční modely, distribuované stránkování, epidemické protokoly
- Správa prostředků a procesů -
zablokování a distribuované algoritmy detekce, vzdálené spouštění procesů, migrace, vyvažování zátěže
- Technické principy kryptoměn -
blockchain, UTXO, konsensus, proof-of-work, multisig, Merkle tree, lightning network, routing
Slajdy
Související předměty
English-speaking students
Since 2025/26, there is a dedicated English parallel combining selected lectures, self-study, and consultations, lead by Tomáš Faltín.
See the course website for more information here.