|
Vyučující
|
-
Tříska Jan, Mgr. Ph.D.
-
Osička Petr, Mgr. Ph.D.
-
Mikula Tomáš, Mgr.
-
Trnečka Martin, RNDr. Ph.D.
-
Urbanec Tomáš, Mgr.
|
|
Obsah předmětu
|
Historie paralelních algoritmů - jejich správnost. Programová logika. Problém kritické sekce, algoritmy a důkazy správnosti. Bariéry - správnost a složitost řešení, použití. Použití semaforů pro řešení klasických problémů: Čtenářů a písařů, Kuřáků, Čekajícího holiče. Modely distribuovaných algoritmů, globální stav. Logický čas. Vzájemné vyloučení v distribuovaném modelu. Detekce uváznutí a ukončení.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení, Demonstrace
|
|
Výstupy z učení
|
Studenti se seznámí s paralelními a distribuovanými systémy, algoritmy, důkazy jejich právnosti, složitostí.
Porozumění: Navrhni správný paralelní nebo distribuovaný algoritmus.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní a písemné zkoušky.
|
|
Doporučená literatura
|
-
ANDREWS G. R. (2000). Multithreaded, Parallel, and Distributed Programming. Addison-Wesley.
-
Ben-Ari M. (2006). Principles of concurrent and distributed programming. Addison-Wesley.
-
Ghos, S. (2007). Distributed systems. Chapman & Hall/CRC.
-
Kshemkalyani, A.D., Singhal, M. (2008). Distributed computing. Cambridge University Press.
-
Nancy A. Lynch. (1996). Distributed Algorithms.
-
Tel G. (2001). Introduction to Distributed Algorithms. Cambridge University Press.
-
van Steen. M, Tanenbaum A. (2017). Distributed Systems. CreateSpace Independent Publishing Platform.
|