Pr-1st-1.1-m10-Slajd10

Z Studia Informatyczne
Wersja z dnia 16:03, 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

Poprawność algorytmu detekcji zakończenia dla atomowego modelu przetwarzania

Poprawność algorytmu detekcji zakończenia dla atomowego modelu przetwarzania


W algorytmie detekcji zakończenia rozważane są dwie fazy detekcji. Pierwsza rozpoczyna się o chwili i kończy w chwili , a druga odpowiednio w chwilach i . Przyjęto ponadto, że:

Oznaczmy teraz przez i liczniki wyznaczone w pierwszej fazie, a przez i liczniki oznaczone w drugiej fazie.


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