456-0304/01 – Distribuované algoritmy (DAL)
| Garantující katedra | Katedra informatiky | Kredity | 4 |
| Garant předmětu | Fiktivní Uživatel | Garant verze předmětu | Tomáš Lavička |
| Úroveň studia | pregraduální nebo graduální | Povinnost | povinně volitelný |
| Ročník | 3 | Semestr | zimní |
| | Jazyk výuky | čeština |
| Rok zavedení | 2003/2004 | Rok zrušení | 2004/2005 |
| Určeno pro fakulty | FEI | Určeno pro typy studia | navazující magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Cílem předmětu je definovat algoritmy, používané v distribuovaných systémech, vybrat základní představitele a vysvětlit funkci těchto algoritmů.
Vyučovací metody
Anotace
Předmět poskytne studentům orientaci v algoritmech, používaných v distribuovaných systémech. Důraz bude kladen na diskuzi o použití, popřípadě
výhodách či nevýhodách jednotlivých metod. Prakticky se studenti seznámí s principy fungování distribuovaných systémů a řešení různých událostí a kolizí v těchto systémech.
Povinná literatura:
Tel, G.: Introduction to Distributed Algorithms (Cambridge University Press, 1994)
Tanenbaum, A. S.: Modern Operating Systems (Prentice - Hall, 1992)
Doporučená literatura:
Pripravovana skripta k predmetu
Další studijní materiály
Forma způsobu ověření studijních výsledků a další požadavky na studenta
E-learning
Další požadavky na studenta
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
Přednášky:
Distribuované systémy - co je distribuovaný systém, architektura a jazyky, distribuované algoritmy.
Model - transition systems, algoritmy, následnost eventů, logické hodiny.
Komunikační protokoly - Balanced Sliding-Window protokol, Timer-based protokol.
Směrovací algoritmy - směrování, problém nejkratší cesty, směrovací tabulky, hierarchické směrování.
Přepojování paketů - deadlock, strukturovaná a nestrukturovaná řešení.
Wave a Travesal algoritmy - definice a přiklady Wave algoritmů, Traversal algoritmy.
Volební algoritmy - kruhové sítě, arbitrary sítě, Korach-Kutten-Moranův algoritmus.
Detekce ukončení - výpočet stromů a lesů, Wave řešení, další možná řešení.
Neznačené sítě - deterministické algoritmy, algoritmus pravděpodobné volby, výpočet velikosti sítě.
Snapshots - snapshot algoritmus, detekce zablokování.
Synchronizace v síti - volby v synchonní síti, synchronizační algoritmus.
Tolerance selhání v distribuovaných systémech - význam použití, robustní algoritmy, stabilizační algoritmy.
Tolerance selhání v asynchronních systémech - Initially-dead procesy, deterministicky dosáhnutelné případy, slabé ukončení.
Tolerance selhání v synchronních systémech - synchronní rozhodnutelné protokoly, autentizační protokoly, časová synchronizace.
Stabilizace - grafové algoritmy, metodologie stabilizace.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.