Principy distribuovaných systémů

Filip Zavoral, NSWI035

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, minig, multisig, segwit/taproot, Merkle tree, Bloom filters, lightning network, proof-of-work
  ( ..., Cashu, Ark, liquid, Taproot Assets, smart contracts, DeFi, stablecoin, CBDC, zero-knowledge proofs, ... )

Slajdy

• Slajdy z přednášky
• Crypto - technické principy kryptoměn

Související předměty

• NSWI080 Middleware
• NPRG042 Programování v paralelním prostředí
• NSWI150 Virtualizace a Cloud Computing
• NSWI152 Vývoj cloudových aplikací
• NSWI204 Bitcoin a technologie kryptoměn

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.

In 2024/25, the course is only offered in Czech. However, self-study using the mentioned textbook (and other materials) and passing the exam is possible. Better support for English-speaking students is planned from the next year.