Paradigmata programování 4 (Paralelní programování)
Předmět již nevyučuji, informace nemusí být pro aktuální podobu předmětu platné!
Předmět má dvě části. První část uvádí posluchače do technik a
problémů paralelního
programování. Teoreticky popisuje problémy vznikající u paralelních
programů a
demonstruje paralelní technologie na klasických problémech. Druhá
část seznamuje
posluchače s logickým programováním, zejména s jazykem Prolog. Tyto stránky se zabývají první částí, paralelním programováním. Ve cvičeních studenti
programují a ověřují si správnou funkčnost různých synchronizačních
problémů a úloh paralelního programování. Programovacím nástrojem na cvičeních je prostředí LispWorks, předpokládá se tedy základní znalost (a praxe) programování v jazyce Lisp.
Studijní materiály
Literatura
Základy paralelního (konkurentního) programování a rozborem klasických synchronizačních problémů se zabývají např. následující knihy:
-
Andrews G.R: Concurrent programming. Principles and practise.
Addison Wesley,
1991. ISBN 0-8053-0086-4
-
Ben-Ari M.: Principles of Concurrent and Distributed Programming (2nd Edition)
Addison Wesley, 2006. ISBN 032131283X
-
Schneider F. B.: On Concurrent Programming (Texts in Computer Science)
Springer,
1997. ISBN 0387949429
Další zdroje
Mnoho synchronizačním problémů včetně jejich řešení lze samozřejmě najít i
na internetu, např.
-
Wikipedia - otevřená internetová encyklopedie