CC++ Compositional C++

Wspolbiezny, obiektowy jezyk programowania

1. Literatura
   
2. Konspekt referatu
   
3. Autorzy

1. Literatura:

• M. Chandy, C. Kesselman "CC++: A Declarative Concurrent Object Oriented Programming Notation", '92;
• P. Carlin, M. Chandy, C. Kesselman "The Compositional C++ Language Definition", '93; http://www.compbio.caltech.edu/ccpp/lang_def/cc++-def.html
• M. Chandy, C. Kesselman "A Description of CC++. Technical Report", '90;
• P. Sivilotti, P. Carlin "A Tutorial for CC++", '94; http://www/compbio.caltech.edu/ccpp/tutorial/tutorial.html

2. Konspekt referatu:

1. Motywacje:
• Laczenie roznych podejsc do wspolbieznosci:
• wspolbieznosc strukturalna (blok rownolegly) i niestrukturalna (watki niezwiazane - instrukcja spawn);
• programy deterministyczne i niedeterministyczne;
• rozne sposoby dostepu do obiektow lokalnych i zewnetrznych (brak przezroczystosci).
2. Dlaczego wlasnie C++ jest podstawa CC++?
• Jakiego jezyka potrzebujemy?
• Wady i zalety wynikajace z uzycia istniejacych juz jezykow programowania lub stworzenia nowego jezyka.
• C++ jako jezyk:
• znany i popularny;
• obiektowy;
• dysponujacy bogata kolekcja bibliotek;
• wady - brak formalnej, dobrze zdefiniowanej semantyki.
3. CC++ jako rozszerzenie C++.
• Instrukcje wspolbiezne:
• par-blok, parfor;
• spawn.
• Funkcje i metody atomowe - atomic.
• "Synchroniczny " rodzaj danych - sync.
• Procesor logiczny jako abstrakcja procesora fizycznego:
• klasa procesorow logicznych;
• wskazniki globalne - sposob dostepu do danych nielokalnych;
• typ CCVoid - reprezentacja danych niezalezna od implementacji (odpowiednik XDR w RPC);
• funkcje transferu - filtry przeksztalcajace typ CCVoid do formatu lokalnego i odwrotnie.
4. Implementacja.
• ...

3. Autorzy:

• Rafal Dowgird
• Anna Wesolowska