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 language | English (US) |
|---|---|
| Title of host publication | Proceedings of the Annual International Symposium on Microarchitecture |
| Editors | Anon |
| Publisher | Publ by IEEE |
| Pages | 214-223 |
| Number of pages | 10 |
| ISBN (Print) | 0818652802 |
| State | Published - 1994 |
| Event | Proceedings of the 26th Annual International Symposium on Microarchitecture - Austin, TX, USA Duration: Dec 1 1993 → Dec 3 1993 |
Other
| Other | Proceedings of the 26th Annual International Symposium on Microarchitecture |
|---|---|
| City | Austin, TX, USA |
| Period | 12/1/93 → 12/3/93 |
Fingerprint
ASJC Scopus subject areas
- Hardware and Architecture
- Software
Cite this
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 proceeding › Conference contribution
}
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 -