Exemplu de situatie in simularea componentei J

Urmatorul eveniment in J poate fi prelucrat daca si numai daca tj≤ t in1 sau tj≤ t in 2 .

Cand a primit un eveniment de la SS2 la un anumit moment t in , dar ultimul eveniment de la

2

SS1 a fost la momentul t in1 , cu t in1 < t in 2 , el nu poate garanta ca el nu va primi un eveniment pentru
SS1 la un timp intre t in si t in . Evenimentul de la momentul t in nu poate fi garantat ca fiind
1 2 2

urmatorul si nu poate fi procesat. Simulatorul este blocat pana cand, eventual primeste un eveniment de
la SS1. In general, un simulator se blocheaza atunci cand el n-a primit evenimente de la toate
componentele care il influenteaza.
In schemele PDES conservative, aceasta problema devine cruciala, cand comunicatia prin
evenimente nu este distribuita uniform. Sa consideram iarasi modelul din fig. 2. Se poate intampla ca
toate iesirile din F sa fie transmise numai la unul din servere, de exemplu lui SS1. Atunci la componenta
J, coada de intrare a mesajelor primate de la primul server sa se umple pe cand cea de-a doua sa ramana
vida. Componenta este blocata si astfel ea nu poate avansa.
Prin blocarea componentelor simulator, cand intrarile de la anumiti influentatori sunt absente,
restrictia cauzalitate poate fi indeplinita, totusi, nu este garantat ca simultorul avanseaza. Misra []
exprima acest lucru astfel: Abordarea garanteaza ca oricare eveniment ce se intampla in simulator , de
asemenea, se intampla in model. Totusi, opusa nu este adevarata, nu se poate garanta ca se intampla in
model de asemenea se intampla in simulator.