Speculative parallelism of intelligent interactive systems

We propose a parallel programming system based on speculative execution for interactive programs. The term “speculative execution” refers to the execution of a parallel program some portions of which will not contribute to the final outcome of a computation. Speculative parallel execution of an interactive program makes effective use of intervals between human-computer interactions, and enhances quality of the service for users as well as rapidity of responses. In this paper, the overview of this programming technique is described. We utilize a concurrent logic programming language KL1 to express speculative parallelism of an interactive program. As a case study, we discuss introducing speculative execution to an interactive visualization tool of concurrent programs