Checkpoint Repair for High-Performance Out-of-Order Execution Machines
- 1 December 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-36 (12) , 1496-1514
- https://doi.org/10.1109/tc.1987.5009500
Abstract
Out-or-order execution and branch prediction are two mechanisms that can be used profitably in the design of supercomputers to increase performance. Proper exception handling and branch prediction miss handling in an out-of-order execution machine do require some kind of repair mechanism which can restore the machine to a known previous state. In this paper we present a class of repair mechanisms using the concept of checkpointing. We derive several properties of checkpoint repair mechanisms. In addition, we provide algorithms for performing checkpoint repair that incur little overhead in time and modest cost in hardware. We also note that our algorithms require no additional complexity or time for use with write-back cache memory systems than they do with write-through cache memory systems, contrary to statements made by previous researchers.Keywords
This publication has 11 references indexed in Scilit:
- Reducing the cost of branchesACM SIGARCH Computer Architecture News, 1986
- HPSm, a high performance restricted data flow architecture having minimal functionalityACM SIGARCH Computer Architecture News, 1986
- HPS, a new microarchitecture: rationale and introductionPublished by Association for Computing Machinery (ACM) ,1985
- Implementation of precise interrupts in pipelined processorsACM SIGARCH Computer Architecture News, 1985
- Branch Prediction Strategies and Branch Target Buffer DesignComputer, 1984
- Cache MemoriesACM Computing Surveys, 1982
- Dependence graphs and compiler optimizationsPublished by Association for Computing Machinery (ACM) ,1981
- Look-Ahead ProcessorsACM Computing Surveys, 1975
- The IBM System/360 Model 91: Machine Philosophy and Instruction-HandlingIBM Journal of Research and Development, 1967
- An Efficient Algorithm for Exploiting Multiple Arithmetic UnitsIBM Journal of Research and Development, 1967