3685666192

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

•    Stanowi abstrakcję problemu przydziału dostępu do zasobu współdzielonego (np. kanału komunikacyjnego). Problem pojawia się gdy liczba chętnych do skorzystania z zasobu przekracza liczbę obiektów, które z zasobu mogą korzystać

•    Zasób współdzielony - zasób, który może być w sposób wyłączny wykorzystywany przez wiele współzawodniczących procesów (w danej chwili z zasobu może korzystać jeden lub ograniczona liczba wątków/procesów)

•    Sekcja krytyczna - fragment kodu (fragment procesu), w którym następuje korzystanie z zasobu współdzielonego

•    Problem: należy zapewnić, by w danej chwili z zasobu mógł korzystać tylko jeden proces (lub ograniczona od góry ich liczba), a pozostałe, które chcą uzyskać do niego dostęp będą czekać na jego zwolnienie. Jaka konstrukcja programistyczna zapewnia taki efekt?

•    Problem oczekiwania aktywnego i pasywnego

•    Założenie do rozwiązania problemu: czas wykonania sekcji krytycznej przez każdy z procesów jest skończony (tak krótki jak to możliwe). Co w przypadku gdyby założenie wyłączyć?

•    Rozwiązanie: protokoły wstępne i końcowe    is<*a