Treść zadań 8 odnos sę do ponższego dagramu przestrzenno-czasowego. P e e e e e e P e P P e e e e. Jaka będze wartość zmennej clock (zegara skalarnego) po zajścu zdarzena e w procese P zakładając że wartość początkowa (przed wystąpenem perwszego zdarzena) w każdym procese jest równa 0 a każde zdarzene powoduje zwększene wartośc zmennej clock o?. Jaka wartośc znajdą sę w tablcy vclock (zegar wektorowy) po zajścu zdarzena e w procese P zakładając że wartość początkowa (przed wystąpenem perwszego zdarzena) w każdym procese jest równa 0 na każdej pozycj tablcy vclock a każde zdarzene powoduje zwększene wartośc na odpowednej pozycj tablcy vclock o?. Czy w przetwarzanu przedstawonym na powyższym dagrame przestrzenno-czasowym możlwe jest żeby proces P był w stane w tym samym czase proces P był w stane. Uzasadnć odpowedź.. W programe każdego procesu zadeklarowana jest zmenna lv o wartośc początkowej 0. Zdarzene wewnętrzne e jest dekrementacją zmennej lv (lv := lv ) a zdarzene wewnętrzne e jest nkrementacją zmennej lv (lv := lv + ). Określć rodzaj predykatu globalnego (np. stablny defntely possbly nemożlwy do spełnena) (a) ϑ(σ) (lv + lv + lv + lv ) > 0 (b) ϑ(σ) (lv + lv + lv + lv ) < 0 (c) ϑ(σ) (lv + lv + lv + lv ) = 0 (d) ϑ(σ) (lv + lv + lv + lv ) >. Czy obraz w którym: (a) proces P jest w stane proces P jest w stane proces P jest w stane proces P jest w stane (b) proces P jest w stane proces P jest w stane proces P jest w stane proces P jest w stane (c) proces P jest w stane proces P jest w stane proces P jest w stane proces P jest w stane jest spójnym obrazem stanu globalnego przedstawonego przetwarzana? 6. Proszę podać trzy przykłady par zdarzeń współbeżnych oraz trzy przykłady par zdarzeń przyczynowo zależnych w przedstawonym przetwarzanu.
7. Proszę podać dwa przykłady konfguracj spójnej stanów lokalnych dwa przykłady konfguracj która ne jest spójna w przedstawonym przetwarzanu (uzasadnć odpowedź). 8. Czy stan globalny odpowadający konfguracj zaznaczonej przerywaną lną jest stanem osągalnym przetwarzana przedstawonego na powyższym dagrame. Uzasadnć odpowedź. 9. Narysować graf stanów osągalnych (satkę oblczeń rozproszonych) dla przedstawonego ponżej przetwarzana. P e e P e e e e e P
0. Jak wnosek odnośne kolejnośc wystąpena zdarzeń e e j e k można wycągnąć z faktu że: (a) T (e ) = T (e j ) = T (e k ) = 7 oraz = k j (b) T (e ) = T (e j ) = T (e k ) = 6 oraz k j k j?. Jak wnosek odnośne kolejnośc wystąpena zdarzeń e e w systeme rozproszonym złożonym ze zboru procesów sekwencyjnych {P P P } można wycągnąć z faktu że: (a) T V (e ) = [ ] T V (e ) = [ ] T V ( ) = [7 ] (b) T V (e ) = [ ] T V (e ) = [ ] T V ( ) = [ ]?. Jak będze obraz stanu globalnego uzyskany z algorytmu Chandy-Lamport a którego realzację przedstawa ponższy dagram przestrzenno-czasowy (pogrubone lne oznaczają przesłane znacznka)? P e e P e e e e e P P e e. Który z komunkatów na ponższym dagrame przestrzenno-czasowym narusza (a) porządek lokalny (porządek FIFO) (b) porządek przyczynowy? (uzasadnć odpowedź) e e P M M P M M P
. Na rys. obok przedstawono graf oczekwana dla procesów P P P P P. (a) Czy wystąpło zakleszczene w P P przypadku modelu żądań OR? Jeśl tak P to które procesy znalazły sę w stane zakleszczena? (b) Czy wystąpło zakleszczene w przypadku modelu żądań AND? Jeśl tak to które procesy znalazły sę w stane zakleszczena? P P. konstruować graf oczekwana dla procesów P P P P po osągnęcu stanu przetwarzana zaznaczonego przerywaną lną na ponższym dagrame przestrzennoczasowym (lne cągłe oznaczają komunkaty REQUET a przerywane GRANT). P P P P 6. Proces P wykonuje następujący cąg operacj wysłana komunkatów za pomocą operacj typu flush: send b (P P M) send o (P P M) send o (P P M) send t (P P M) send o (P P M) send o (P P M6) Wskazać trzy różne porządk odboru komunkatów (czyl kolejność odboru komunkatów) przez proces P które (a) ne naruszają ogranczeń wynkających z własnośc kanałów typu FC (b) naruszają ogranczena wynkające z własnośc kanałów typu FC.
7. Ponższy algorytm ma na celu zagwarantowane kolejnośc FIFO doręczana komunkatów wysłanych przez proces P do procesu P. Wyjaśnć na czym polega błąd w ponższej mplementacj dokonać odpowednej korekty. TYPY KOMUNIKATÓW type PACKET extends FRAME s record of seqno : INTEGER data : MEAGE end record DEKLARACJE msgin : MEAGE pcktout : PACKET delaybuf : set of PACKET := seqno : INTEGER := 0 delvno : INTEGER := 0 delvered : BOOLEAN AKCJE when e_send(p P msgout : MEAGE) do pcktout.data := msgout pcktout.seqno := seqno send( Q Q pcktout ) end when when e_receve(q Q pcktin : PACKET) do f pcktin.seqno = delvno + then msgin := pcktin.data delver( P P msgin ) delvno := delvno + delvered := True else delaybuf := delaybuf { pcktin } delvered := False end f whle delvered do delvered := False for all pckt delaybuf do f pckt.seqno = delvno + then msgin := pckt.data delver(p P msgin ) delvno := delvno + delvered := True delaybuf := delaybuf \{pckt} end f end for end whle end when