Sr-7-wyk-2.0-Slajd23
Algorytm Raymonda – wprowadzenie
W algorytmie Raymonda, który bazuje na drzewie, procesy są logicznie zorganizowane w postaci skierowanego drzewa, takiego, że jego krawędzie wskazują w kierunku procesu, posiadającego żeton (korzeń drzewa). Każdy proces ma lokalną zmienną posiadacz , która wskazuje na sąsiedni proces w skierowanej ścieżce do korzenia. Tym sposobem zmienna posiadacz , definiuje w procesach strukturę logicznego drzewa procesów. Jeśli podążymy za wartościami zmiennych posiadacz w procesach, zobaczymy że każdy proces znajduje się na skierowanej ścieżce prowadzącej do procesu z żetonem. Wartość posiadacz korzenia, wskazuje na niego samego.
Każdy proces P utrzymuje kolejkę FIFO, oznaczaną jako kolejka_żądań , która przechowuje żądania tych sąsiednich procesów, które wysłały żądanie do procesu P , ale nie wysłano do nich jeszcze żetonu.
