Doua modele independente

Cele doua modele pot fi simulate in ordine arbitrara. Dar, de obicei, modelele nu sunt
independente. Ele pot fi executate independent pentru o perioada de timp, dupa care apar dependentele
intre ele. Dependentele intre modelele cu evenimente discrete apar prin intermediul evenimentelor.
Cand un eveniment intr-una dintre componente influenteaza direct sau indirect evenimente ale altor
componente, atunci vom spune ca exista o dependenta de cauzalitate a evenimentelor. Pentru a garanta
corectitudinea executiei, generarea evenimentelor trebuie sa pastreze cauzalitatea, adica cauza trebuie
sa preceada efectul. Pentru un eveniment oarecare Ej toate evenimentele Ei de care el depinde trebuie sa
fie prelucrate inainte de Ej. Un eveniment Ej depinde de un eveniment Ei daca Ei il planifica pe Ej, daca
Ei modifica variabilele de stare care il afecteaza pe Ej sau Ei planifica un eveniment Ek si Ej depinde de
Ek.
 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.