Paralelné programovanie a distribuované systémy

Organizácia predmetu

Predmet je členený do nasledujúcich aktivít:

• Prednášky: 2 hodiny týždenne podľa rozvrhu
• Cvičenie: 2 hodiny týždenne podľa rozvrhu
• Samostatné domáce štúdium

Prednáška:

Utorok, C-801, 8.00–9.40

Cvičenia:

Všetky cvičenia sú v utorok v C-802 v týchto časoch:

• 10.00–11.40
• 13.00–14.40
• 15.00–16.40

Konzultácie:

Dohodou (na prednáške/po cvičení/mailom).

Cieľ predmetu

Obsahom predmetu je analýza rôznych synchronizačných vzorov. Naším cieľom je ponúknuť študentom možnosť oboznámiť sa s rôznymi synchronizačnými problémami spolu s ich riešením. Synchronizačnými problémami rozumieme riešenie koordinácie súbežne (azda aj súčasne) vykonávaných úloh s cieľom zabezpečiť integritu údajov, s ktorými jednotlivé úlohy pracujú; samozrejme zároveň požadujeme dosiahnutie korektného výsledku výpočtu.

Plán semestra

Prednášky sledujú obsah knižky „The Little Book of Semaphores“ od autora menom Allen B. Downey (zdroj napr. na http://greenteapress.com/wp/semaphores/).

Preberané synchronizačné problémy delíme podľa uvedenej literatúry na:

1. klasické synchronizačné problémy
2. menej klasické synchronizačné problémy
3. nie až tak klasické synchronizačné problémy
4. ani zďaleka klasické synchronizačné problémy.

V úvodnej časti semestra sa oboznámime so základnými synchronizačnými primitívami a vzormi ako mutex, semafor, signalizácia, kritická oblasť, rendezvous, multiplex, bariéra… Zároveň s nimi začneme riešiť klasické synchronizačné úlohy ako producent/konzument, čitatelia/zapisovatelia, večerajúci filozofi, problém fajčiarov…