I009 Paralelní výpočty

Fakulta informatiky
jaro 2002
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 14:00–16: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ě.
Předmět je zařazen také v obdobích léto 1996, léto 1997, léto 1998, jaro 2000, jaro 2001.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2002/I009