Skip to main content
SpringerLink
Log in

Formalizing OpenMP Performance Properties with ASL

  • Conference paper
  • First Online:
High Performance Computing (ISHPC 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1940))

Included in the following conference series:

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.

The ESPRIT IV Working Group on Automatic Performance Analysis: Resources and Tools is funded under Contract No. 29488

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. APART — Esprit Working Group on Automatic Performance Analysis: Resources and Tools, Dr. Hans Michael Gerndt, Forschungszentrum Jülich, Zentralinstitut für Angewandte Mathematik (ZMG), D-52425 Jülich, http://www.kfa-juelich.de/apart, Feb. 1999.

  2. T. Fahringer, M. Gerndt, G. Riley, J. Träff: Knowledge Specification for Automatic Performance Analysis, APART Technical Report, Work-package 2, Identification and Formalization of Knowledge, Technical Report FZJ-ZAM-IB-9918, D-52425 Jülich, http://www.kfa-juelich.de/apart, Nov. 1999.

  3. P. Bates, J.C. Wileden: High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach, The Journal of Systems and Software, Vol. 3, pp. 255–264, 1983

    Article  Google Scholar 

  4. L. Dagum, R. Menon: OpenMP: An Industry-Standard API for Shared-Memory Programming, IEEE Computational Science & Engineering, Vol.5, No.1, pp 46–55, 1998.

    Article  Google Scholar 

  5. A. Espinosa, T. Margalef, E. Luque: Automatic Performance Evaluation of Parallel Programs, Sixth EuromicroWorkshop on Parallel and Distribued Processing, 1998

    Google Scholar 

  6. M. Gerndt, A. Krumme: A Rule-based Approach for Automatic Bottleneck Detection in Programs on Shared Virtual Memory Systems, Second Workshop on High-Level Programming Models and Supportive Environments (HIPS’ 97), in combination with IPPS’ 97, IEEE, 1997

    Google Scholar 

  7. M. Gerndt, A. Krumme, S. özmen: Performance Analysis for SVM-Fortran with OPAL, Proceedings Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA’95), Athens, Georgia, pp. 561–570, 1995

    Google Scholar 

  8. R. Hockauf, W. Karl, M. Leberecht, M. Oberhuber, M. Wagner: Exploiting Spatial and Temporal Locality of Accesses: A New Hardware-Based Monitoring Approach for DSM Systems, In: D. Pritchard, Jeff Reeve (Eds.): Euro-Par’98 Parallel Processing / 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings. Springer-Verlag, Heidelberg, Lecture Notes in Computer Science Vol.1470,1998, pp. 206–215

    Google Scholar 

  9. B.P. Miller, M.D. Callaghan, J.M. Cargille, J.K. Hollingsworth, R.B. Irvin, K.L. Karavanic, K. Kunchithapadam, T. Newhall: The Paradyn Parallel Performance Measurement Tool, IEEE Computer, Vol. 28, No. 11, pp. 37–46, 1995

    Google Scholar 

  10. N. Mukherjee, G.D. Riley, J.R. Gurd: FINESSE: A Prototype Feedback-guided Performance Enhancement System, Accepted for PDP2000, to be held in Rhodes in January 2000.

    Google Scholar 

  11. R. Ribler, J. Vetter, H. Simitci, D. Reed: Autopilot: Adaptive Control of Distributed Applications, Proceedings of the 7th IEEE Symposium on High-Performance Distributed Computing, 1998

    Google Scholar 

  12. F. Wolf, B. Mohr: EARL — A Programmable and Extensible Toolkit for Analyzing Event Traces of Message Passing Programs, 7th International Conference on High-Performance Computing and Networking (HPCN’99), A. Hoekstra, B. Hertzberger (Eds.), Lecture Notes in Computer Science, Vol. 1593, pp. 503–512, 1999

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Software Technology and Parallel Systems, University of Vienna, Austria

    Thomas Fahringer

  2. Institute for Computer Science, LRR, Technical University of Munich, Germany

    Michael Gerndt

  3. Department of Computer Science, University of Manchester, Germany

    Graham Riley

  4. C&C Research Laboratories, NEC Europe Ltd, Europe

    Jesper Larsson Träff

Authors
  1. Thomas Fahringer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Gerndt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Graham Riley
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jesper Larsson Träff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Arquitectura de Computadores, Universidad Politecnica de Catalunya, Spain

    Mateo Valero

  2. Department of Information and Computer Sciences, Nara Women’s University, Japan

    Kazuki Joe

  3. Institute of Industrial Science Center for Conceptual Information Processing Research, University of Tokyo, Japan

    Masaru Kitsuregawa

  4. Graduate School of Engineering Electrical Engineering Department, University of Tokyo, Japan

    Hidehiko Tanaka

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fahringer, T., Gerndt, M., Riley, G., Larsson Träff, J. (2000). Formalizing OpenMP Performance Properties with ASL. In: Valero, M., Joe, K., Kitsuregawa, M., Tanaka, H. (eds) High Performance Computing. ISHPC 2000. Lecture Notes in Computer Science, vol 1940. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39999-2_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-39999-2_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41128-4

  • Online ISBN: 978-3-540-39999-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation