Lazy and Speculative Execution

15 January 2007

Lampson: Lazy and Speculative Execution

Lazy: Futures / Out of Order

nLaunch a computation, consume the result lazily

oFutures in programming languages—program controls

oOut of order execution in CPUs—hardware infers

▬IN VLIW program controls

oDataflow is another form—either way

nThe bet: Result isn’t needed right away

oWin in latency of other work

oWin in more concurrency