Pr-1st-1.1-m11-Slajd23: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 6: | Linia 6: | ||
* Parametr pierwszy określa, czy procesy są synchroniczne, czy nie. Synchroniczność procesów oznacza, że istnieje stała <math>k_0</math> taka, że jeżeli pewien proces <math>P_i</math> wykona <math>k_0+1</math> kroków, to każdy inny proces wykona co najmniej 1 krok. | * Parametr pierwszy określa, czy procesy są synchroniczne, czy nie. Synchroniczność procesów oznacza, że istnieje stała <math>k_0</math> taka, że jeżeli pewien proces <math>P_i</math> wykona <math>k_0+1</math> 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). | * 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 <math>P_i</math> wysyła wiadomość <math>M</math> do procesu <math>P_j</math> w czasie <math>\tau _i</math> oraz proces <math>P_k</math> wysyła wiadomość <math>M'</math> do procesu <math>P_j</math> w czasie <math> \tau _j > \tau _i</math>, to wiadomość <math>M</math> zostanie dostarczona do <math>P_j</math> przed wiadomością <math>M'</math>. | * Trzeci parametr określa porządek wiadomości. Porządek synchroniczny oznacza, że jeżeli proces <math>P_i</math> wysyła wiadomość <math>M</math> do procesu <math>P_j</math> w czasie <math>\tau _i</math> oraz proces <math>P_k</math> wysyła wiadomość <math>M'</math> do procesu <math>P_j</math> w czasie <math>\tau _j > \tau _i</math>, to wiadomość <math>M</math> zostanie dostarczona do <math>P_j</math> przed wiadomością <math>M'</math>. | ||
* Czwarty parametr określa, czy komunikacja odbywa się za pomocą niepodzielnej komunikacji rozgłaszania czy też za pomocą komunikacji punkt-punkt. | * 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 <math>M</math> 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. | * Ostatni z parametrów, to parametr mówiący, czy operacje ''send/receive'' są operacjami atomowymi (tzn., czy operacja wysłania wiadomości <math>M</math> 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. | ||
Aktualna wersja na dzień 22:18, 11 wrz 2023
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 taka, że jeżeli pewien proces wykona 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 wysyła wiadomość do procesu w czasie oraz proces wysyła wiadomość do procesu w czasie , to wiadomość zostanie dostarczona do przed wiadomością .
- 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 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ć.
