Paralelné architektúry a programovanie
(sylaby štátnic magisterského štúdia informatiky - plná verzia)
- Model komunikácie so zdieľanou pamäťou
- Thready, vytváranie, ukončovanie a finálna synchronizácia threadov.
- Zdieľané premenné, mutex, conditional variable.
- Kanálový model komunikácie
- Synchrónna a asynchrónna kanálová komunikácia.
- Sémantika posielania a prijímania správ
- Model point-to-point komunikácie
- Synchrónna a asynchrónna point-to-point komunikácia.
- Sémantika posielania a prijímania správ.
- Synchronizácia procesov
- Implementácia ukážkových synchronizačných problémov vo vybraných
modeloch komunikácie (pthreads, synchrónny a asynchrónny kanálový model,
asynchrónny point-to-point model): producer-consumer (bounded vs. unbounded
buffer).
- Reader-writers.
- Dining philosophers.
- Miery efektivity paralelných programov
- Makespan.
- Latency.
- Speedup.
- Efficiency.
- Scaleup.
- Amdahlov zákon.
- Zdroje neefektivity paralelných programov.
- Vzájomné Simulácie Synchronizačných a komunikačných prostriedkov
- Simulácia N-árnych semaforov binárnymi semaformi.
- Simulácia kanálovej komunikácie na architektúre so zdieľanou pamäťou.
- Simulácia point-to-point komunikácie na architektúre s kanálovou
komunikáciou.