Pr-1st-1.1-m07-Slajd06

Konfiguracja spójna (2)

Twierdzenie 7.1

Konfiguracja $\mathrm{\Gamma }=⟨S_1^{k1},S_2^{k2},\dots ,S_n^{kn}⟩$, reprezentująca stan osiągalny przetwarzania rozproszonego $\mathrm{\Pi }$ 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 $E$ wchodzi w skład stanu osiągalnego, to także muszą się w nim znaleźć wszystkie zdarzenia, od których $E$ jest przyczynowo zależne.

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