Pr-1st-1.1-m03-Slajd24

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Niedeterministyczne zdarzenie lokalne

Niedeterministyczne zdarzenie lokalne

Powiemy, że lokalne zdarzenie procesu jest niedeterministyczne, gdy jego zajście może być zastąpione przez zajście innego zdarzenia i wybór ten nie jest przewidywalny.

Jeżeli przykładowo sekwencyjne wykonanie procesu może być w każdej chwili zmienione w wyniku zajścia przerwania zewnętrznego, to wszystkie zdarzenia tego procesu są niezdeterminowane. Podobnie, wykonanie alternatywnych struktur sterujących w językach CSP czy ADA jest równoważne niedeterminizmowi. Innym źródłem niedeterminizmu jest asynchroniczny dostęp do zasobów w systemach wielowątkowych i przełączanie procesora.

W przetwarzaniu rozproszonym najbardziej charakterystyczny jest niedeterminizm zdarzeń odbioru. Wynika on z faktu, że relatywne prędkości procesów są nieznane, a czasy transmisji są skończone ale nieprzewidywalne. Stąd wykonanie operacji odbioru receive(), może prowadzić do różnych zdarzeń (np. odbioru wiadomości od różnych nadawców).

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