Principy distribuovaných systémů
Sylabus
- Úvod -
definice a funkce, hw architektury
- 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ěť -
konzistenční modely, distribuované stránkování
- 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
- Replikace -
mechanismy replikace, klientocentrické konzistenční modely, epidemické protokoly
-
Technické principy kryptoměn -
blockchain, konsensus, UTXO, multisig, segwit, Merkle tree, Bloom filters, proof-of-work vs. proof-of-stake, lightning network
( ..., taproot, coinjoin, smart contracts, DeFi, stablecoin, CBDC, zero-knowledge proofs, ... )
Slajdy
Starší slajdy, již nevyužívané
- Crypto Tomáš Faltín
- DHT - peer-to-peer sítě a distribuované hashovací tabulky, Miroslav Novotný
Související předměty
Pokyny pro externí a kombinované studenty
Z předmětu je pouze zkouška, žádné jiné povinnosti nejsou, účast na přednášce není povinná.
Ve slajdech je uvedena literatura. Doporučuji brát slajdy jako index požadovaných témat (tj. nikoliv jako učebnici) a vlastní látku čerpat z literatury.
English-speaking students
The topics are very well covered by textbooks. The mapping can be found here.
I recommend to use the slides and slides as indexes to the books.