Slajd12

Wieloprocesory - wsparcie dla synchronizacji (2/2)

■ Niektóre procesory do realizacji atomowej operacji typu odczytaj-zmodyfikuj-zapisz (MIPS R4000, Alpha AXP) używają pary specjalnych rozkazów zapisywania i odczytywania pamięci:

-    pobierz-i-zablokuj (ang. load-locked),

-    zapamiętaj-pod-warunkiem (ang store-conditional).

m Implementacja atomowej operacji zwiększenia zmiennej o 1:

1.    pobierz-i-zablokuj,

2.    zapamiętaj-pod-warunkiem.

Ciąg ten jest powtarzany do skutku.

w- Atomowe operacje sprzętowe są mechanizmami pierwotnymi do tworzenia złożonych mechanizmów synchronizacji, w- Programista mechanizmów synchronizacji poziomu jądra systemu musi szczegółowo zapoznać się z listą rozkazów procesora, dla którego implementuje się system operacyjny.

Programowanie współbieżne w systemach operacyjnych UNIX © Marek Nowak