Distribuovaný výpočet

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra počítačů

Anotace:

Komunikační mechanismy - výměna zpráv, procedurální komunikace (RPC, ORB), sdílená distribuovaná paměť. Algebra procesu - CSP , CCS a pi-kalkul, spolupracující automaty, Petriho sítě. Distribuovaný výpočet, globální stav, kauzalita, logický čas. Algoritmy výlučného přístupu, výběru, prevence a detekce zablokování (transakce), ukončení výpočtu. Quorum algoritmy, replikace. Mobilita, vyhledávání v distribuovaných systémech - DHT.

Požadavky:

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

1. Janeček, J., Bílý, M.: Lokální sítě. Skripta ČVUT, Praha 1997

2. Janeček, J.: Distribuované systémy. Skripta ČVUT, Praha 1997

3. Tanenbaum, A.: Computer Networks

4. Stallings, W.: Handbook of Computer Communication Standards

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Doktorské studium, prezenční forma (povinně volitelný předmět)
• Doktorské studium, kombinovaná forma (povinně volitelný předmět)
• Doktorské studium, strukturované prezenční (povinně volitelný předmět)
• Doktorské studium, strukturované kombinované (povinně volitelný předmět)