speculative evaluation

speculative evaluation

(parallel)
A technique used in parallel processing where some evaluation may be started before it is known whether it is needed (Eager evaluation). This may result in some wasted processing and may introduce unnecessary non-terminating processes but it can reduce the overall run time by making some needed results available earlier than they would be otherwise.

Opposite: conservative evaluation.
Mentioned in ?
References in periodicals archive ?
Futures, lenient languages, and several implementations of graph reduction for lazy languages all use speculative evaluation (call-by-speculation [Hudak and Anderson 1987]) to expose parallelism.
Speculative evaluation is equivalent to designating all expressions as futures and disallowing touching.
lists), conditionals, local bindings, and recursion behave as desired under speculative evaluation.
3] in abstractions would lead to speculative evaluation of both branches, an option offered in some languages [Osborne 1989].
The transformation to CPS introduces additional dependences, so that no significant computation can be performed in parallel under speculative evaluation.
A Provably Time-Efficient Parallel Implementation of Full Speculation

Encyclopedia browser ?
Full browser ?