Modeling Value Speculation

Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described in an ambiguous manner, mainly due to the lack of formalization that defines the effects of value?speculation on a microarchitecture. In particular, the manifestations of value?speculation on the latency of microarchitectural operations, such as releasing resources and reissuing, was at best partially addressed. This may be problematic since results obtainedin these studies can be difficultto reproduce and/or appreciate their contribution. This paper introduces a model for a methodical description of dynamically?scheduled microarchitectures that use value?speculation. The model isolates the parts of a microarchitecture that may be influenced by value?speculation in terms of various variables and latency events. This provides systematic means for describing, evaluating and comparingthe performance of value?spec...

• Type: Conference
• Year: 2002
• Where: HPCA
• Authors: Yiannakis Sazeides
• Keywords: Computer Architecture, Fast Verification Latency, HPCA 2002, Latency Events, Promising Performance Potential