3685666193

Klasyczne problemy współbieżności. Wzajemne wykluczanie (2)

•    Wykorzystanie instrukcji specjalnych przed wejściem do sekcji krytycznej i po wyjściu z niej

•    Przykład:

while true begin

przetwarzanie lokalne protokół wstępny strefa krytyczna protokół końcowy

end

•    Sekcja krytyczna jest otoczona specjalnymi blokami kodu

•    Strefy lokalne mogą być wykonywane współbieżnie przez wiele różnych procesów

•    Warunek bezpieczeństwa jest realizowany przez zagwarantowanie, że dwa procesy/wątki nigdy nie znajdą się jednocześnie w swoich sekcjach krytycznych

•    Wzajemne wykluczanie jest wymagane zarówno w systemach scentralizowanych jak i rozproszonych. Realizuje się je różnymi metodami (np. muteksy - w systemach scentralizowanych, tokeny - w systemach rozproszonych)