Formalizing openMP performance properties with ASL

Thomas Fahringer; Michael Gerndt; Graham Riley; Jesper Larsson Träff

doi:10.1007/3-540-39999-2_41

Formalizing openMP performance properties with ASL

Thomas Fahringer, Michael Gerndt, Graham Riley, Jesper Larsson Träff

Informatics 10 - Associate Professorship of Architecture of Parallel and Distributed Systems

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

13 Scopus citations

Abstract

Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASL we apply it to OpenMP by successfully formalizing several OpenMP performance properties.

Original language	English
Title of host publication	High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings
Editors	Mateo Valero, Kazuki Joe, Masaru Kitsuregawa, Hidehiko Tanaka
Publisher	Springer Verlag
Pages	428-439
Number of pages	12
ISBN (Print)	9783540411284
DOIs	https://doi.org/10.1007/3-540-39999-2_41
State	Published - 2000
Event	3rd International Symposium on High Performance Computing, ISHPC 2000 - Tokyo, Japan Duration: 16 Oct 2000 → 18 Oct 2000

Publication series

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

Conference

Conference	3rd International Symposium on High Performance Computing, ISHPC 2000
Country/Territory	Japan
City	Tokyo
Period	16/10/00 → 18/10/00

Keywords

Knowledge representation
Language design
OpenMP
Performance analysis
Performance problems

Access to Document

10.1007/3-540-39999-2_41

Cite this

Fahringer, T., Gerndt, M., Riley, G., & Träff, J. L. (2000). Formalizing openMP performance properties with ASL. In M. Valero, K. Joe, M. Kitsuregawa, & H. Tanaka (Eds.), High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings (pp. 428-439). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1940). Springer Verlag. https://doi.org/10.1007/3-540-39999-2_41

Fahringer, Thomas ; Gerndt, Michael ; Riley, Graham et al. / Formalizing openMP performance properties with ASL. High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings. editor / Mateo Valero ; Kazuki Joe ; Masaru Kitsuregawa ; Hidehiko Tanaka. Springer Verlag, 2000. pp. 428-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6b37b00272c840b9b57746e8c38de296,

title = "Formalizing openMP performance properties with ASL",

abstract = "Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASL we apply it to OpenMP by successfully formalizing several OpenMP performance properties.",

keywords = "Knowledge representation, Language design, OpenMP, Performance analysis, Performance problems",

author = "Thomas Fahringer and Michael Gerndt and Graham Riley and Tr{\"a}ff, {Jesper Larsson}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 3rd International Symposium on High Performance Computing, ISHPC 2000 ; Conference date: 16-10-2000 Through 18-10-2000",

year = "2000",

doi = "10.1007/3-540-39999-2_41",

language = "English",

isbn = "9783540411284",

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

publisher = "Springer Verlag",

pages = "428--439",

editor = "Mateo Valero and Kazuki Joe and Masaru Kitsuregawa and Hidehiko Tanaka",

booktitle = "High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings",

}

Fahringer, T, Gerndt, M, Riley, G & Träff, JL 2000, Formalizing openMP performance properties with ASL. in M Valero, K Joe, M Kitsuregawa & H Tanaka (eds), High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1940, Springer Verlag, pp. 428-439, 3rd International Symposium on High Performance Computing, ISHPC 2000, Tokyo, Japan, 16/10/00. https://doi.org/10.1007/3-540-39999-2_41

Formalizing openMP performance properties with ASL. / Fahringer, Thomas; Gerndt, Michael; Riley, Graham et al.
High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings. ed. / Mateo Valero; Kazuki Joe; Masaru Kitsuregawa; Hidehiko Tanaka. Springer Verlag, 2000. p. 428-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1940).

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

TY - GEN

T1 - Formalizing openMP performance properties with ASL

AU - Fahringer, Thomas

AU - Gerndt, Michael

AU - Riley, Graham

AU - Träff, Jesper Larsson

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

PY - 2000

Y1 - 2000

N2 - Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASL we apply it to OpenMP by successfully formalizing several OpenMP performance properties.

AB - Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASL we apply it to OpenMP by successfully formalizing several OpenMP performance properties.

KW - Knowledge representation

KW - Language design

KW - OpenMP

KW - Performance analysis

KW - Performance problems

UR - http://www.scopus.com/inward/record.url?scp=84944056907&partnerID=8YFLogxK

U2 - 10.1007/3-540-39999-2_41

DO - 10.1007/3-540-39999-2_41

M3 - Conference contribution

AN - SCOPUS:84944056907

SN - 9783540411284

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 428

EP - 439

BT - High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings

A2 - Valero, Mateo

A2 - Joe, Kazuki

A2 - Kitsuregawa, Masaru

A2 - Tanaka, Hidehiko

PB - Springer Verlag

T2 - 3rd International Symposium on High Performance Computing, ISHPC 2000

Y2 - 16 October 2000 through 18 October 2000

ER -

Fahringer T, Gerndt M, Riley G, Träff JL. Formalizing openMP performance properties with ASL. In Valero M, Joe K, Kitsuregawa M, Tanaka H, editors, High Performance Computing - 3rd International Symposium, ISHPC 2000, Proceedings. Springer Verlag. 2000. p. 428-439. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-39999-2_41

Formalizing openMP performance properties with ASL

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this