Programowanie współbieżne i rozproszone/PWR Wykład 5: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Mengel (dyskusja | edycje)
Nie podano opisu zmian
 
Mengel (dyskusja | edycje)
(Brak różnic)

Wersja z 12:12, 20 cze 2006

CSP jako notacja do opisu współbieżności

Identyfikacja symetryczna

Niedeterminizm

Komunikacja jako synchroniczne rozproszone przypisanie

Składnia i semantyka CSP

Przypisanie

Złożenie sekwencyjne

Alternatywa

Dozory złożone

Tablice dozorów

Instrukcja pusta

Iteracja

Złożenie równoległe

Tablice procesów

Instrukcja wejścia i instrukcja wyjścia

Instrukcja wejścia w dozorze

Przykłady