Title :
Speculative computation, parallelism, and functional programming
Author :
Burton, F. Warren
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Colorado Univ., Denver, CO, USA
Abstract :
Many problems can be solved more quickly on parallel machines if some work can be started before it is known to be necessary. If work which is known to be necessary (mandatory work) is given priority over other work (speculative work), then performing speculative work can only speed computation. A simple functional language feature to control speculative work is proposed.
Keywords :
high level languages; parallel processing; functional language feature; mandatory computation; parallel machines; speculative computation; Computational modeling; Functional programming; Load management; Load modeling; Parallel processing; Search problems; Vegetation; Backtracking; combinatorial searching; functional programming; parallelism; priorities; speculation computation;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1985.6312218
