Pr-1st-1.1-m07-Slajd04

Z Studia Informatyczne
Wersja z dnia 15:57, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Konfiguracja

Konfiguracja


Iloczyn kartezjański będziemy oznaczać przez i nazywać zbiorem konfiguracji (obrazów stanu globalnego) procesu rozproszonego .

Konfiguracja jest wektorem stanów lokalnych (historii lokalnych) wszystkich procesów , takim że dla każdego .

Łatwo zauważyć, że zawiera zbiór stanów osiągalnych procesu .


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