MIC1002 | Modele formale de concurenţă şi comunicaţii |
Titularii de disciplina |
Lect. Dr. STERCA Adrian Ioan, forestcs.ubbcluj.ro |
Obiective |
Prezentarea unor modele clasice dar si a unor cercetări recente în domeniul concurenţei şi a comunicaţiilor. Se va insista pe aspectul formal-teoretic al acestor concepte. Cursul se doreste a oferi o fundamentare puternica, matematica pentru sistemele concurentiale distribuite. |
Continutul |
1.Serializabilitate, Concurenta si Paralelism. Algebre de procese.
2.Modelul CCS - Calculus of Communication Systems. 3.Modelul Pi-Calculus. 4.Controlul concurenţei - serializare, complexitate, control, conflicte, algoritmi. 5.Modelul pagina. Abordarea obiectuală în concurenţă. 6.Controlul concurenţei în baze de date relaţionale. 7.Controlul concurenţei în structuri de căutare: implementări şi abordări practice. 8.Modelarea avariilor şi problema impasului (deadlock). 9.Recuperarea în modelele pagină, obiectual, multimedia. 10.Controlul concurenţei în context distribuit: federaţii omogene. 11.Controlul concurenţei în context distribuit: federaţii eterogene. 12.Controlul concurenţei în context distribuit; impasul în sisteme distribuite: detectare, recuperare, prevenire. |
Bibliografie |
1.Weikum G. Vossen G. Transactional Information System: Theory, Algorithms, and Practice of Concurrency Control and Recovery. Kaufmann Morgan Publ. 2002.
2.Boian F.M. Ferdean C.M., Boian R.F., Dragos R.C. Programare concurentă pe platforme Unix, Windows, Java. Ed. Albastră, grupul Microinformatica, Cluj, 2002. 3.Kosky A.S. Formal models for Concurrent Communication Systems. http://www.anthonykosky.com/pdf_files/WPE_91.pdf, 1991. 4.Reichel H. Formal Models of Concurrency, http://www.informatik.uni-bremen.de/~lschrode/teaching/Systems/ReichelCCS.pdf, 2003. |
Evaluare |
Activitatea se încheie cu examen scris (nota S). De-a lungul semestrului, studenţii vor realiza un proiect software cu tematica legata de concurenta (nota P) şi un referat stiintific pe tematica concurenţei şi comunicaţiilor în sisteme distribuite (nota R).
Nota finală = 40%P + 40%R + 20%S. Toate cerintele legate de criteriile pe care trebuie sa le satisfaca un student pentru a promova (prezenta la laborator, cerinte minime legate de calitatea referatelor/proiectelor prezentate etc.) se gasesc pe pagina web: http://www.cs.ubbcluj.ro/~forest/mfcc |
Legaturi: | Syllabus-urile tuturor disciplinelor Versiunea in limba engleza a acestei discipline Versiunea in format rtf a acestei discipline |