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

IA009 Paralelní výpočty

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

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.

Rozvrh

St 12:00–13:50 B410

Předpoklady

! I009 Paralelní výpočty
Je vhodné (nikoliv nezbytné) předchozí absolvování kurzu o sémantikách programovacích jazyků.

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

• Aplikovaná informatika (program FI, N-AP)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

Cíle předmětu

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.

Osnova

• 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. Jsou rovněž prezentovány reálné implementace (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ě.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2005/IA009