Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2
1.Procesywspółbieżne
wykonywaniaoperacjijestjednoznacznieokreślona.Oznaczmyprzezoiorazoipoczątek
ikoniecoperacjioi.Wówczaswprocesiesekwencyjnymzachodzinastępującarelacja
międzymomentamiczasowymizakończeniaoperacjioiorazrozpoczęciaoperacjioi+1:
t(oi)≤t(oi+1).Narysunku1.1sąprzedstawioneprocesysekwencyjnePiP′,które
różniąsięmomentamirozpoczynaniaikończeniaoperacjio1,o2,
...,oi,oi+1.Jeśli
operacjetychprocesówbędąidentyczne,wsensieargumentówiwyników,towyniki
obliczeńprocesówPiP′teżbędąidentyczne,chociażczasyrealizacjiprocesówsąróżne.
Rysunek1010ProcesysekwencyjnePiP′równoważnepodwzględemwynikówobliczeń;
P
P′
o1
o1
o2
o3
o2
o3
o4
toznaczaośczasu
o4
oi
oi+1
oi
oi+1
t
Procesysekwencyjne,którychoperacjenakładająsięwczasie,nazywamyproce-
samiwspółbieżnymi(ang.concurrentprocesses).Sąonewynikiemwykonaniawielu
strumieniinstrukcji.Analizującrealizacjeprocesówwspółbieżnych,niemożnazgóry
stwierdzić,któreoperacjedanegoprocesupoprzedzająoperacjeinnegoprocesu,jeśli
procesyniezawierająoperacjisynchronizacji1.Innymisłowy,przyjmujesię,żeprocesy
współbieżnewykonywanesąasynchronicznie.Rozważającpoprawnośćichwyników,
należyzałożyć,żewtrakcieróżnychrealizacjiprocesówwzględnyporządekwykony-
waniawczasieoperacjitychprocesówmożebyćdowolny.Przykładowo,narys.1.2
sąpokazanedwiezwielumożliwychrealizacjiprocesówP1iP2.Wrealizacjizlewej
częścirysunkuoperacjao172procesuP1poprzedzawykonanieoperacjio272procesuP2,
P1
P2
o1,1
o2,1
Rysunek1020DwiemożliwerealizacjeprocesówP1iP2
o1,2
o2,2
t
P1
P2
o1,1
o2,1
o2,2
o1,2
t
1Wprzypadkuwystępowaniapunktówsynchronizacjiistniejeczęściowyporządekmiędzyoperacjami
procesów.
