Pr-1st-1.1-m07-Slajd06

Konfiguracja spójna (2)

Twierdzenie 7.1

Konfiguracja ${\mathit {\Gamma }}=\left\langle S_{1}^{k1},S_{2}^{k2},\ldots ,S_{n}^{kn}\right\rangle$, reprezentująca stan osiągalny przetwarzania rozproszonego ${\mathit {\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 >>