UNITY riešenia 3
Riešenie s „centrálnym koordinátorom“:
Program P3
initially r = 0
assign r := min{ f(r), g(r), h(r) }
Alokovanie na von Neumannovskom pocítaci
opakovat sekvenciu r := f(r); r := g(r); r := h(r) az kým sa nedosiahne pevný bod, teda príkaz r := h(g(f(r)))
môze byt výhodnejšie castejšie aplikovat f nez g, h
r := f(r); r := g(r); r := f(r); r := h(r)
r := h(f(g(f(r)))
P2 mozno alokovat na pocítac s 3 procesormi, kazdý pre jednu osobu
správnost týchto prístupov aj programu P3 plynie z dôkazu správnosti pre P2