Pr-1st-1.1-m07-Slajd06: 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: | ||
'''Twierdzenie 7.1''' | '''Twierdzenie 7.1''' | ||
Konfiguracja <math>\mathit{\Gamma} = \left \langle S_1^{k1}, S_2^{k2} , \ldots , S_n^{kn} \right \rangle </math>, reprezentująca stan osiągalny przetwarzania rozproszonego <math>\mathit{\Pi}</math> jest konfiguracją spójną. | Konfiguracja <math>\mathit{\Gamma} = \left \langle S_1^{k1}, S_2^{k2} , \ldots , S_n^{kn} \right \rangle</math>, reprezentująca stan osiągalny przetwarzania rozproszonego <math>\mathit{\Pi}</math> jest konfiguracją spójną. | ||
Aktualna wersja na dzień 10:50, 5 wrz 2023
Konfiguracja spójna (2)
Twierdzenie 7.1
Konfiguracja , reprezentująca stan osiągalny przetwarzania rozproszonego jest konfiguracją spójną.
Twierdzenie to wynika wprost z definicji stanu osiągalnego. Wszystkie zdarzenia wchodzące w skład stan osiągalnego procesu rozproszonego pojawiły się w wyniku pewnego wykonania. Oznacza to, że jeżeli jakieś zdarzenie
wchodzi w skład stanu osiągalnego, to także muszą się w nim znaleźć wszystkie zdarzenia, od których jest przyczynowo zależne.
