Speculative execution exception recovery using write-back suppression

Roger A. Bringmann, Scott A. Mahlke, Richard E. Hank, John C. Gyllenhaal, Wen-Mei W Hwu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Compiler-controlled speculative execution has been shown to be effective in increasing the available instruction level parallelism (ILP) found in non-numeric programs. An important problem associated with compiler-controlled speculative execution is to accurately report and handle exceptions caused by speculatively executed instructions. Previous solutions to this problem incur either excessive hardware overhead or significant register pressure. This paper introduces a new architectural scheme referred to as write-back suppression. This scheme systematically suppresses register file updates for subsequent speculative instructions after an exception condition is detected for a speculatively executed instruction. We show that with a modest amount of hardware, write-back suppression supports accurate reporting and handling of exceptions for compiler-controlled speculative execution with minimal additional register pressure. Experiments based on a prototype compiler implementation and hardware simulation indicate that ensuring accurate handling of exceptions with write-back suppression incurs little run-time performance overhead.

Original languageEnglish (US)
Title of host publicationProceedings of the Annual International Symposium on Microarchitecture
Editors Anon
PublisherPubl by IEEE
Pages214-223
Number of pages10
ISBN (Print)0818652802
StatePublished - 1994
EventProceedings of the 26th Annual International Symposium on Microarchitecture - Austin, TX, USA
Duration: Dec 1 1993Dec 3 1993

Other

OtherProceedings of the 26th Annual International Symposium on Microarchitecture
CityAustin, TX, USA
Period12/1/9312/3/93

Fingerprint

Hardware
Recovery
Experiments

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Cite this

Bringmann, R. A., Mahlke, S. A., Hank, R. E., Gyllenhaal, J. C., & Hwu, W-M. W. (1994). Speculative execution exception recovery using write-back suppression. In Anon (Ed.), Proceedings of the Annual International Symposium on Microarchitecture (pp. 214-223). Publ by IEEE.

Speculative execution exception recovery using write-back suppression. / Bringmann, Roger A.; Mahlke, Scott A.; Hank, Richard E.; Gyllenhaal, John C.; Hwu, Wen-Mei W.

Proceedings of the Annual International Symposium on Microarchitecture. ed. / Anon. Publ by IEEE, 1994. p. 214-223.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bringmann, RA, Mahlke, SA, Hank, RE, Gyllenhaal, JC & Hwu, W-MW 1994, Speculative execution exception recovery using write-back suppression. in Anon (ed.), Proceedings of the Annual International Symposium on Microarchitecture. Publ by IEEE, pp. 214-223, Proceedings of the 26th Annual International Symposium on Microarchitecture, Austin, TX, USA, 12/1/93.
Bringmann RA, Mahlke SA, Hank RE, Gyllenhaal JC, Hwu W-MW. Speculative execution exception recovery using write-back suppression. In Anon, editor, Proceedings of the Annual International Symposium on Microarchitecture. Publ by IEEE. 1994. p. 214-223
Bringmann, Roger A. ; Mahlke, Scott A. ; Hank, Richard E. ; Gyllenhaal, John C. ; Hwu, Wen-Mei W. / Speculative execution exception recovery using write-back suppression. Proceedings of the Annual International Symposium on Microarchitecture. editor / Anon. Publ by IEEE, 1994. pp. 214-223
@inproceedings{59ac3a6a24754d50801fc71357693a15,
title = "Speculative execution exception recovery using write-back suppression",
abstract = "Compiler-controlled speculative execution has been shown to be effective in increasing the available instruction level parallelism (ILP) found in non-numeric programs. An important problem associated with compiler-controlled speculative execution is to accurately report and handle exceptions caused by speculatively executed instructions. Previous solutions to this problem incur either excessive hardware overhead or significant register pressure. This paper introduces a new architectural scheme referred to as write-back suppression. This scheme systematically suppresses register file updates for subsequent speculative instructions after an exception condition is detected for a speculatively executed instruction. We show that with a modest amount of hardware, write-back suppression supports accurate reporting and handling of exceptions for compiler-controlled speculative execution with minimal additional register pressure. Experiments based on a prototype compiler implementation and hardware simulation indicate that ensuring accurate handling of exceptions with write-back suppression incurs little run-time performance overhead.",
author = "Bringmann, {Roger A.} and Mahlke, {Scott A.} and Hank, {Richard E.} and Gyllenhaal, {John C.} and Hwu, {Wen-Mei W}",
year = "1994",
language = "English (US)",
isbn = "0818652802",
pages = "214--223",
editor = "Anon",
booktitle = "Proceedings of the Annual International Symposium on Microarchitecture",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Speculative execution exception recovery using write-back suppression

AU - Bringmann, Roger A.

AU - Mahlke, Scott A.

AU - Hank, Richard E.

AU - Gyllenhaal, John C.

AU - Hwu, Wen-Mei W

PY - 1994

Y1 - 1994

N2 - Compiler-controlled speculative execution has been shown to be effective in increasing the available instruction level parallelism (ILP) found in non-numeric programs. An important problem associated with compiler-controlled speculative execution is to accurately report and handle exceptions caused by speculatively executed instructions. Previous solutions to this problem incur either excessive hardware overhead or significant register pressure. This paper introduces a new architectural scheme referred to as write-back suppression. This scheme systematically suppresses register file updates for subsequent speculative instructions after an exception condition is detected for a speculatively executed instruction. We show that with a modest amount of hardware, write-back suppression supports accurate reporting and handling of exceptions for compiler-controlled speculative execution with minimal additional register pressure. Experiments based on a prototype compiler implementation and hardware simulation indicate that ensuring accurate handling of exceptions with write-back suppression incurs little run-time performance overhead.

AB - Compiler-controlled speculative execution has been shown to be effective in increasing the available instruction level parallelism (ILP) found in non-numeric programs. An important problem associated with compiler-controlled speculative execution is to accurately report and handle exceptions caused by speculatively executed instructions. Previous solutions to this problem incur either excessive hardware overhead or significant register pressure. This paper introduces a new architectural scheme referred to as write-back suppression. This scheme systematically suppresses register file updates for subsequent speculative instructions after an exception condition is detected for a speculatively executed instruction. We show that with a modest amount of hardware, write-back suppression supports accurate reporting and handling of exceptions for compiler-controlled speculative execution with minimal additional register pressure. Experiments based on a prototype compiler implementation and hardware simulation indicate that ensuring accurate handling of exceptions with write-back suppression incurs little run-time performance overhead.

UR - http://www.scopus.com/inward/record.url?scp=0028022430&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028022430&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0028022430

SN - 0818652802

SP - 214

EP - 223

BT - Proceedings of the Annual International Symposium on Microarchitecture

A2 - Anon, null

PB - Publ by IEEE

ER -