Babeş-Bolyai Tudományegyetem Kolozsvár
Matematika és Informatika Kar
Képzési szint: mesteri
Doménium: informatika
Szak: Informatikai rendszerek optimalizálása 
Előadás nyelve: Magyar

SYLLABUS

I. Általános adatok
Kód	Tantárgy neve	
MIC1003	Metode combinatorice în reţelele de calculatoare	

Félév	Órák: C+S+L+P	Kategória	Típus	
4	2+1+0+1	szak	választható	

II. Foállásban az  Egyetem  oktatói
Név	Tudományos	Oktatói	Tanszék	Tevékenység	
	fokozat	státus		E	Sz	L	
HORVATH Zoltan	Dr. 	Vendégtanár.	Informatikai rendszerek	*	*(		

Társult oktatók
Név	Tudományos	Intézmény	Állás	Tevékenység 	
	fokozat		típusa	E	Sz	L	

III. A tantárgy célkituzései
A tárgy célja párhuzamos és elosztott rendszerek alkalmazási lehetôségeinek megismerése	

IV. A tantárgy tartalma
, elemi párhuzamos programozási készségek megszerzése. Programozási feladatokat fogalmazunk meg párhuzamos programok relációs programozási modelljében. A megoldást a specifikáció lépésenkénti finomításával állítjuk elô. Nevezetes feladatokat oldunk meg (asszociatív mûvelet eredménye, atadcsatorna tétele, párhuzamos elemenkénti feldolgozás, stb.). A kapott absztrakt programokat valódi párhuzamos számítógépen (PowerXplorer,PC-k hálózata) implementáljuk magasszintû párhuzamos nyelvi eszközök (PVM, MPI, stb.) felhasználásával. Megvizsgáljuk a különbözô implementációk hatékonyságát.

V. Könyvészet
Chandy,K.M.-Misra,J.: Parallel program design: a foundation, Addison-Wesley, 1988, (1989). 
Andrews,G.R.: Concurrent Programming, Principles and Practice, Benjamin/Cummings, 1991. 
Horváth Z.: Párhuzamos programozás reláció alapú modellje, 1996. jegyzet .... C++ példaprogram .nem ellenőrzött gyak 
Fábián G.: Párhuzamos algoritmusok specifikációja osztott objektumokat használó rendszerek esetén UNITY módszerrel (1. rész). Szakdolgozat. 1994.
Gyorffy L.: Párhuzamos algoritmusok specifikációja osztott objektumokat használó rendszerek esetén UNITY módszerrel (2. rész). Szakdolgozat. 1995. 
Fóthi Á. - Horváth Z. - Kozsik T.: Parallel Elementwise Processing - A Novel Version. in: Proceedings of the Fourth Symposium on Programming Languages and Software Tools, Visegrád, Hungary, June 8-14, 1995 (1995). 
Geist, ...: PVM 3 User's Guide and Reference Manual. (Postscript file, ftp://augusta.inf.elte.hu/pub/pvm/ug.ps) 
Frohner Ákos: Ada taszkok és randevúk a PVM 3.1-es üzenetküldô rendszerben, 1994. 
Frohner Ákos: Párhuzamos programok írását támogató nyelvi eszközök összehasonlítása. Szakdolgozat, 1996. (HTML, augusta.inf.elte.hu) 

VI. Az oktatói tevékenység heti tematikája
·  Párhuzamos programok reláció alapú modellje: feladat, specifikációs feltételek. 
·  Folyamat, absztrakt program, pártatlan ütemezés, összefésüléses szemantika. 
·  Absztrakt program viselkedési relációja. A leggyengébb elôfeltétel általánosításai. 
·  Elérhetô állapotok. A megoldás definíciója. 
·  Levezetési szabályok: haladási tulajdonságokra vonatkozó tételek, variánsfüggvény alkalmazása. Struktúrális indukció,csoda kizárásának elve. 
·  Asszociatív mûvelet eredményének kiszámítása, maximumkeresés, párhuzamos bináris összeadás. 
·  Programkonstrukciók: unió, szuperpozíció, szekvencia. Programkonstrukciós tételek. Lokalitás tétel. 
·  Kommunikáció (aszinkron,szinkron). Üzenettovábbítás. Csatornaváltozók. 
·  Elágazás (fork), multiplexer, Adatcsatorna.	

VII. Alkalmazott didaktikai módszerek
Előadás	

VIII. Értékelés
30% laborfeladat, 70% vizsga	

IX. Kiegészíto könyvészet
Parix 1.3.1-PPC Software Documentation. May 1995. 
 IBM: PVM/6000 User's Guide and Subroutine Reference, Relase 2.0, 1993. 
 Optimizing C Compilation System User's Guide. 

	Dékán,						Tanszékvezeto,

	Dátum,						Eloadás felelose,
								Prof. Dr.  HORVATH Zoltan