SOP wyk nr 11-Slajd1: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 9: | Linia 9: | ||
<< Poprzedni slajd | [[SOP_wyk_nr_11-toc|Spis treści ]] | [[SOP_wyk_nr_11-Slajd2 | Następny slajd >>]] | [[SOP_wyk_nr_11-Slajd0|<< Poprzedni slajd]] | [[SOP_wyk_nr_11-toc|Spis treści ]] | [[SOP_wyk_nr_11-Slajd2 | Następny slajd >>]] | ||
Wersja z 10:39, 16 sie 2006
Plan wykładu
Wykład obejmuje omówienie modelu systemu współbieżnego, opartego na dwóch zasadniczych pojęciach: instrukcji atomowej i przeplocie . Pokazane zostaną przykładowe przeploty operacji dwóch współbieżnych procesów, z których nie wszystkie dają wyniki, zgodne z oczekiwaniami programisty. Na bazie tych pojęć zostanie wyjaśnione, co jak rozumiana jest poprawność programu współbieżnego oraz na czym polega synchronizacja. Następnie dokonana zostanie klasyfikacja mechanizmów synchronizacji procesów, z których część zostanie omówiona w niniejszym module, a pozostała część w następnym.
Dalsza część wykładu dotyczy podstawowego problemu synchronizacji procesów — wzajemnego wykluczania i poprawności jego rozwiązania. Przedstawione zostaną algorytmy oparte wyłącznie na zapisie i odczycie współdzielonych zmiennych — algorytm Petersona oraz Lamporta (tzw. algorytm piekarni). Następnie analizowana będą rozwiązania wykorzystujące złożone instrukcje atomowe: test & set oraz exchange .
