Last update: RNDr. Filip Zavoral, Ph.D. (14.09.2022)
Architectures of distributed systems. Communication primitives, distributed synchronization algorithms. Group communication, delivery protocols, virtual synchrony. Distributed consensus, PAXOS, RAFT. Distributed shared memory, consistency models, page-based distributed shared memory. Process migration, load balancing. Replication. Technical principles of cryptocurrencies.
Last update: RNDr. Filip Zavoral, Ph.D. (06.09.2023)
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