Principy distribuovaných systémů - NSWI035

• Anglický název: Principles of Distributed Systems
• Zajišťuje: Katedra softwarového inženýrství (32-KSI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2021
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Další informace: https://www.ksi.mff.cuni.cz/teaching/nswi035-web/
• Garant: RNDr. Filip Zavoral, Ph.D.
• Vyučující: RNDr. Filip Zavoral, Ph.D.
• Třída: Informatika Mgr. - Softwarové systémy
• Kategorizace předmětu: Informatika > Softwarové inženýrství
• Je prerekvizitou pro: NSWI070

Anotace

čeština

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, konsensus, Bitcoin, Lightning Network.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (04.07.2024)

angličtina

Distributed systems architectures. Communication, synchronization. Group communication, delivery protocols, virtual synchrony. Distributed shared memory, consistency models, page-based distributed shared memory. Process migration, load balancing. Replication. Blockchain technology, consensus, Bitcoin, Lightning Network.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (04.07.2024)

Podmínky zakončení předmětu

čeština

Ústní zkouška

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (26.09.2017)

angličtina

Oral exam.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (07.06.2019)

Literatura

Tanenbaum, van Steen: Distributed Systems - Principles and Paradigms

Chow, Johnson: Distributed Operating Systems and Algorithms

Antonopoulos: Mastering Bitcoin

Novák: Lightning Network

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (18.12.2023)

Sylabus

čeština

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

8. Technické principy kryptoměn - blockchain, datové struktury, UTXO, konsensus, proof-of-work, Lightning Network

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (04.07.2024)

angličtina

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.

Poslední úprava: Zavoral Filip, RNDr., Ph.D. (14.09.2022)