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

Producción científica: Conference contribution › revisión exhaustiva

2 Citas (Scopus)

Resumen

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.

Idioma original	English
Título de la publicación alojada	Languages and Compilers for Parallel Computing - 12th International Workshop, LCPC 1999, Proceedings
Editores	Larry Carter, Jeanne Ferrante
Páginas	432-446
Número de páginas	15
DOI	https://doi.org/10.1007/3-540-44905-1_27
Estado	Published - 2000
Evento	12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999 - La Jolla, United States Duración: ago 4 1999 → ago 6 1999

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	1863
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	12th International Workshop on Languages and Compilers for Parallel Computing, LCPC 1999
País/Territorio	United States
Ciudad	La Jolla
Período	8/4/99 → 8/6/99

Nota bibliográfica

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Acceder al documento

10.1007/3-540-44905-1_27

Otros archivos y enlaces

Citar esto

Dietz, H. G. (2000). Speculative predication across arbitrary interprocedural control flow. En 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. En 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).

Producción científica: Conference contribution › revisión exhaustiva

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 - https://www.scopus.com/pages/publications/84948962618

UR - https://www.scopus.com/pages/publications/84948962618#tab=citedBy

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. En Carter L, Ferrante J, editores, 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

Resumen

Serie de la publicación

Conference

Nota bibliográfica

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto