cz1str9

Konstrukcje synchronizacji w językach wysokiego poziomu Regiony krytyczne

Specjalna deklaracja zmiennej v • typu T dzielonej przez wiele

procesów:

var v: shared T\

zmienna v dostępna jest tylko w obrębie specjalnej instrukcji region.

region v do 5;

Przykład:

dwa procesy współbieżne P₀, Pi , zawierające instrukcje:

K

region v do Si;

P.:

region v do S₂;

wynik odpowiada sekwencyjnemu wykonaniu S|, Sj lub S₂, S|.

Monitory

Monitor składa się ze zbioru operacji zdefiniowanych przez programistę.

Konstrukcja monitora gwarantuje, że w jego wnętrzu może przebywać tylko jeden proces. Inne czekają w kolejce.

Literatura: A. Silberschatz, J.L. Peterson, PB. Galvin; Podstawy systemów operacyjnych. WNT, W-wa, 1993.

KOMUNIKACJA MIĘDZYPROCESOWA Wprowadzenie

Dwa uzupełniające się schematy komunikacji: pamięć dzielona - procesy współużytkowują pewne zmienne, system komunikatów - wymiana komunikatów między procesami bez użycia zmiennych dzielonych.

Podstawowe operacje komunikacji między procesami:

nadaj(konumikat)

od bicrz( komunikat)

Zagadnienia dotyczące ustanowienia łącza Zagadnienia logicznej implementacji łącza

u