Lazy and Speculative Execution

15 January 2007

Lampson: Lazy and Speculative Execution

Winning the Bet

nLazy: You might need it but you don’t,

obecause a later if decides not to use it: x is false

t:=L; !A; x → !B(t) Þ !A; x → !B(L) x false

nSpeculative: You might not need it but you do,

obecause a later if decides to use it : x is true

!A; x → !B(S) Þ t:=S; !A; x → !B(t) x true