8299308411

Programowanie Równoległe i Rozproszone Wykład 5

MODELE

Sieć Petri

Wykonanie sieci Petri jest niedeterministyczne, co oznacza:

•    Wielokrotne tranzyęje mogą być możliwe do odpalenia w tym samym czasie, ale nie muszą odpalić;

•    Być może żadna nie odpali — odpalanie jest „ na życzenie", w czasie pomiędzy 0 a nieskończonością (a możliwe jest też, że nie odpali w ogóle).

Ponieważ odpalanie jest niedeterministyczne, sieci Petri są dobrym narzędziem do modelowania systemów rozproszonych.

MODELE

Algebra procesów (ang. process algebra lub process calculi)

Algebra procesów dostarcza narzędzi do wysoko-poziomowego opisu interakcji, komunikacji i synchronizacji na zbiorze niezależnych agentów (procesów).

Algebra procesów dostarcza także praw algebraicznych umożliwiających opis procesów. Umożliwia to ich analizę, dostarcza także narzędzi do formalnego analizowania równoważności procesów.

MODELE

Algebra procesów

Najbardziej znane przykłady algebry procesów to:

•    Communicating Sequential Processes CSP to

formalny język dla opisu wzorców interakcji w systemach współbieżnych. CSP zaproponował w 1978 C. A. R. Hoare.

•    Calculus of Communicating Systems (CCS) to

algebra procesów stworzona przez Robina Milnera. Umożliwia modelowanie nieprzerywalnej komunikacji pomiędzy dokładnie dwoma uczestnikami. Język formalny umożliwia opis takich działań jak złożenie równoległe, wybór akcji i ograniczenie zakresu operacji równoległej.

Przygotował: Lucjan Stapp