Speculative predication across arbitrary interprocedural control flow

H. G. Dietz

doi:10.1007/3-540-44905-1_27

Speculative predication across arbitrary interprocedural control flow

H. G. Dietz

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings
Editors	Larry Carter, Jeanne Ferrante
Pages	432-446
Number of pages	15
DOIs	https://doi.org/10.1007/3-540-44905-1_27
State	Published - 2000
Event	12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999 - La Jolla, United States Duration: Aug 4 1999 → Aug 6 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1863
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999
Country/Territory	United States
City	La Jolla
Period	8/4/99 → 8/6/99

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-44905-1_27

Cite this

Dietz, H. G. (2000). Speculative predication across arbitrary interprocedural control flow. In L. Carter, & J. Ferrante (Eds.), Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings (pp. 432-446). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1863). https://doi.org/10.1007/3-540-44905-1_27

Dietz, H. G. / Speculative predication across arbitrary interprocedural control flow. Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings. editor / Larry Carter ; Jeanne Ferrante. 2000. pp. 432-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f26cbd19c2a845ecb1da9a4aecb71f1a,

title = "Speculative predication across arbitrary interprocedural control flow",

abstract = "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.",

author = "Dietz, {H. G.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999 ; Conference date: 04-08-1999 Through 06-08-1999",

year = "2000",

doi = "10.1007/3-540-44905-1_27",

language = "English",

isbn = "9783540678588",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "432--446",

editor = "Larry Carter and Jeanne Ferrante",

booktitle = "Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings",

}

Dietz, HG 2000, Speculative predication across arbitrary interprocedural control flow. in L Carter & J Ferrante (eds), Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1863, pp. 432-446, 12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999, La Jolla, United States, 8/4/99. https://doi.org/10.1007/3-540-44905-1_27

Speculative predication across arbitrary interprocedural control flow. / Dietz, H. G.
Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings. ed. / Larry Carter; Jeanne Ferrante. 2000. p. 432-446 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1863).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Speculative predication across arbitrary interprocedural control flow

AU - Dietz, H. G.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2000.

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 -

Dietz HG. Speculative predication across arbitrary interprocedural control flow. In Carter L, Ferrante J, editors, Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings. 2000. p. 432-446. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44905-1_27

Speculative predication across arbitrary interprocedural control flow

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this