FI:I009 Paralelní výpočty - Informace o předmětu

I009 Paralelní výpočty

Fakulta informatiky
jaro 2001

Rozsah

3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Antonín Kučera, Ph.D. (přednášející)

Garance

Rozvrh

Čt 13:00–15:50 B410

Předpoklady

I002 Návrh algoritmů I && P001 Operační systémy && P006 Principy progr. jazyků

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

Osnova

Kurs je úvodem do problematiky paralelních a distribuovaných systémů. Zaměřuje se na základní principy a paradigmata, která se používají při jejich návrhu a implementaci. Studované problémy jsou nejprve demonstrovány na konkrétních příkladech z praxe, pak jsou formulovány abstraktně a je prezentováno (jedno nebo několik) řešení. Důraz je kladen na formální zdůvodnění správnosti prezentovaných řešení. Za tímto účelem je zavedeno několik formalismů (přechodové systémy, temporální logika), které jsou posléze aplikovány. Rovněž si ukážeme, jak vše funguje v praxi (např. v operačním systému Unix).
Základní principy; atomické instrukce, prokládání, živost.
Paralelní (souběžné) programy; formální sémantika, temporální logiky.
Problém vzájemného vyloučení; Dekkerův a Petersonův algoritmus.
Semafory; definice, aplikace (problém vzájemného vyloučení, producent-konzument, atd.), implementace v OS Unix.
Monitory; definice, aplikace (producent-konzument, čtenáři-písaři), implementace (simulace monitorů semafory a naopak).
Problém večeřících filosofů; řešení s použitím semaforů a monitorů.
Distribuované algoritmy; distribuované vzájemné vyloučení, distribuované ukončení.

Literatura

ANDREWS, Gregory R. Concurrent programming :principles and practice. Redwood City: Benjamin/Cummings Publishing Company, 1991, xvii, 637. ISBN 0-8053-0086-4. info

Další komentáře

Předmět je vyučován každoročně.