TY - GEN
T1 - Speculative predication across arbitrary interprocedural control flow
AU - Dietz, H. G.
PY - 2000
Y1 - 2000
N2 - The next generation of microprocessors, particularly IA64, will incorporate hardware mechanisms for instruction-level predication in support of speculative parallel execution. However, the compiler technology proposed in support of this speculation is incapable of speculating across loops or procedural boundaries (function call and return). In this paper, we describe compiler technology that can support instruction-level speculation across arbitrary control flow and procedural boundaries. Our approach is based on the concept of converting a conventional control flow graph into a meta state graph in which each meta state represents a set of original states speculatively executed together.
AB - The next generation of microprocessors, particularly IA64, will incorporate hardware mechanisms for instruction-level predication in support of speculative parallel execution. However, the compiler technology proposed in support of this speculation is incapable of speculating across loops or procedural boundaries (function call and return). In this paper, we describe compiler technology that can support instruction-level speculation across arbitrary control flow and procedural boundaries. Our approach is based on the concept of converting a conventional control flow graph into a meta state graph in which each meta state represents a set of original states speculatively executed together.
UR - http://www.scopus.com/inward/record.url?scp=84948962618&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84948962618&partnerID=8YFLogxK
U2 - 10.1007/3-540-44905-1_27
DO - 10.1007/3-540-44905-1_27
M3 - Conference contribution
AN - SCOPUS:84948962618
SN - 9783540678588
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 432
EP - 446
BT - Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings
A2 - Carter, Larry
A2 - Ferrante, Jeanne
T2 - 12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999
Y2 - 4 August 1999 through 6 August 1999
ER -