Operating System Support for Application-Specific Speculation

Free registration required

Executive Summary

Speculative execution is a technique that allows serial tasks to execute in parallel. An implementation of speculative execution can be divided into two parts: A policy that specifies what operations and values to predict, what actions to allow during speculation, and how to compare results; and the mechanisms that support speculative execution, such as checkpointing, rollback, causality tracking, and output buffering. In this paper, the authors show how to separate policy from mechanism.

  • Format: PDF
  • Size: 260.6 KB