Pr-1st-1.1-m11-Slajd23

Systemy częściowo synchroniczne (2)

Można także dokonać klasyfikacji systemów częściowo synchronicznych na podstawie parametrów dotyczących właściwości procesów i kanałów komunikacyjnych.

• Parametr pierwszy określa, czy procesy są synchroniczne, czy nie. Synchroniczność procesów oznacza, że istnieje stała $k_0$ taka, że jeżeli pewien proces $P_i$ wykona $k_0+1$ kroków, to każdy inny proces wykona co najmniej 1 krok.
• Parametr drugi określa, czy istnieją ograniczenia na czas przesyłania wiadomości (opóźnienie komunikacyjne).
• Trzeci parametr określa porządek wiadomości. Porządek synchroniczny oznacza, że jeżeli proces $P_i$ wysyła wiadomość $M$ do procesu $P_j$ w czasie ${\tau }_i$ oraz proces $P_k$ wysyła wiadomość $M^{\prime }$ do procesu $P_j$ w czasie ${\tau }_j>{\tau }_i$, to wiadomość $M$ zostanie dostarczona do $P_j$ przed wiadomością $M^{\prime }$.
• Czwarty parametr określa, czy komunikacja odbywa się za pomocą niepodzielnej komunikacji rozgłaszania czy też za pomocą komunikacji punkt-punkt.
• Ostatni z parametrów, to parametr mówiący, czy operacje send/receive są operacjami atomowymi (tzn., czy operacja wysłania wiadomości $M$ kończy się dopiero po zakończeniu odbioru tej wiadomości przez adresata), czy też są rozłączne. Innymi słowy, czy komunikacja między procesami jest synchroniczna, czy też nie.

Korzystając z tych pięciu parametrów można wyodrębnić 32 klasy systemów. Podział ten jednakże nie zdobył powszechnego uznania, głównie z uwagi na to, że w rzeczywistych systemach niektóre parametry są do pewnego stopnia równoważne innym. Na przykład, niepodzielne operacje rozgłaszania i receive/send wymagają istnienia ograniczeń na czas przesyłania wiadomości, by można je było zaimplementować.

<< Poprzedni slajd | Spis treści | Następny slajd >>