Documente Academic
Documente Profesional
Documente Cultură
Nu exista interblocare.
Sub conditia ca fiecare bucla de “feedback” exista cel putin o componenta i cu o valoare a
functiei “lookahead” pozitiva (lookaheadi(qi,tliEITi)>EITi) simulatorul nu produce interblocare si
totdeauna poate inainta in timp.
Dem: vom demonstra ca cel putin componenta i* cu timp al urmatorului eveniment minim (tni*),
nu este blocata.
In primul rand, consideram calculul lui EOTi pentru componentele i cu EITi≥tni*. Din (1)
deducem ca pentru astfel de componente:
EOTi≥tni* (3)
Pentru toate componentele care nu au posturi de intrare vom avea EITi=∞. Deci, toate aceste
componente indeplinesc conditia (3).
Fie i* componenta simulator cu timpul minim al urmatorului eveniment tni*:
tni*=mini{tni} (4)