SOP wyk nr 11-Slajd33: Różnice pomiędzy wersjami
m literówki |
m usunięcie zbędnej spacji |
||
| Linia 4: | Linia 4: | ||
Rozwiązanie z użyciem procedury '''exchange''' jest bardzo podobne. Wykorzystywana jest jednak dodatkowa zmienna lokalna ''klucz'' . Wartość zmiennej ''klucz'' zamieniana jest z wartością zmiennej ''zamek'' . Ponieważ na początku sekcji wejściowej pod ''klucz'' podstawiana jest wartość true, ta wartość trafia następnie do zmiennej ''zamek'' . Z zamka do klucza trafia z kolei dotychczasowa wartość zamka. Jeśli wartość ta jest false, można przerwać pętlę '''repeat''' '''-''' '''until''' i wejść do sekcji krytycznej. Jeśli wartością tą jest true, wykonanie operacji '''exchange''' niczego nie zmieni, a za pośrednictwem klucza proces dowie się, że sekcja krytyczna jest niedostępna. | Rozwiązanie z użyciem procedury '''exchange''' jest bardzo podobne. Wykorzystywana jest jednak dodatkowa zmienna lokalna ''klucz''. Wartość zmiennej ''klucz'' zamieniana jest z wartością zmiennej ''zamek'' . Ponieważ na początku sekcji wejściowej pod ''klucz'' podstawiana jest wartość true, ta wartość trafia następnie do zmiennej ''zamek''. Z zamka do klucza trafia z kolei dotychczasowa wartość zamka. Jeśli wartość ta jest false, można przerwać pętlę '''repeat''' '''-''' '''until''' i wejść do sekcji krytycznej. Jeśli wartością tą jest true, wykonanie operacji '''exchange''' niczego nie zmieni, a za pośrednictwem klucza proces dowie się, że sekcja krytyczna jest niedostępna. | ||
Z realizacją wzajemnego wykluczania w taki sposób wiążą się te same kwestie, które poruszono przy rozwiązaniu z użyciem '''test''' '''&''' '''set''' . | Z realizacją wzajemnego wykluczania w taki sposób wiążą się te same kwestie, które poruszono przy rozwiązaniu z użyciem '''test''' '''&''' '''set'''. | ||
[[SOP_wyk_nr_11-Slajd32 | << Poprzedni slajd]] | [[SOP_wyk_nr_11-toc|Spis treści ]] | Następny slajd >> | [[SOP_wyk_nr_11-Slajd32 | << Poprzedni slajd]] | [[SOP_wyk_nr_11-toc|Spis treści ]] | Następny slajd >> | ||
Wersja z 00:13, 5 wrz 2006
Wzajemne wykluczanie z użyciem instrukcji exchange
Rozwiązanie z użyciem procedury exchange jest bardzo podobne. Wykorzystywana jest jednak dodatkowa zmienna lokalna klucz. Wartość zmiennej klucz zamieniana jest z wartością zmiennej zamek . Ponieważ na początku sekcji wejściowej pod klucz podstawiana jest wartość true, ta wartość trafia następnie do zmiennej zamek. Z zamka do klucza trafia z kolei dotychczasowa wartość zamka. Jeśli wartość ta jest false, można przerwać pętlę repeat - until i wejść do sekcji krytycznej. Jeśli wartością tą jest true, wykonanie operacji exchange niczego nie zmieni, a za pośrednictwem klucza proces dowie się, że sekcja krytyczna jest niedostępna.
Z realizacją wzajemnego wykluczania w taki sposób wiążą się te same kwestie, które poruszono przy rozwiązaniu z użyciem test & set.
<< Poprzedni slajd | Spis treści | Następny slajd >>
