Global snapshots 7

• Prípad 2: t obsahuje nezaznamenané premenné. Potom lahko vidno

[partial’] t [partial] (**)

a

[init] u;t [partial]

[partial’] v;t [cur] (*)

t obsahuje len nezaznamenané premenné t.j. mozno vymenit poradie t a v, máme teda

[partial’] t;v [cur]

z predchádzajúceho (**)

[partial] v [cur]

• Prípad 3: t obsahuje len zaznamenané premenné.

Z definícií

x.partial = x.rec if x.done ~ x.cur if ?x.done

x.partial’ = x.rec if x.done ~ x.cur’ if ?x.done

teda partial = partial’

[init] u [partial]

dalej z [partial’] v [cur’] máme

[partial] v;t [cur]

Previous slide

Next slide

Back to first slide

View graphic version