Obsah kurzu

Paralelní výpočty: synchronizační primitiva, klasické synchronizační úlohy a jejich řešení, dokazování korektnosti paralelních programů. Základní distribuované algoritmy a jejich vlastnosti.

Udělování zápočtu a zkouška

Zápočet je v řežiji cvičícího. Zkouška je ústní s přípravou na papír.

Materiály ke kurzu

Knihy

Program

  1. Paralelní program. Atomické akce, synchronizace, programová logika.
  2. Semafory, řešení klasických úloh pomocí semaforů, důkazy správnosti řešení
  3. Kritická sekce, spin-lock, tie-breaking a Petersonův algoritmus, ticketing a Bakery algoritmus
  4. Implementace a použití bariér
  5. Formalizace distribuovaných systému, logické hodiny
  6. Vlnové algoritmy
  7. Průchodové algoritmy
  8. Volba lídra
  9. Detekce terminace
  10. Vzájemné vyloučení