Formalizing openMP performance properties with ASL

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

Volumn 1940, Issue , 2000, Pages 428-439

  Fahringer, Thomas ^a   Gerndt, Michael ^b   Riley, Graham ^c   Träff, Jesper Larsson ^d  

^a UNIVERSITY OF VIENNA   (Austria)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

^d NEC Europe Ltd   (Germany)

Author keywords

Knowledge representation; Language design; OpenMP; Performance analysis; Performance problems

Indexed keywords

KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; SPECIFICATION LANGUAGES;

CRITICAL APPLICATIONS; LANGUAGE DESIGN; OBJECT ORIENTED MODEL; OPENMP; PERFORMANCE ANALYSIS; PERFORMANCE PROBLEMS; PERFORMANCE PROPERTIES; PROGRAMMING PARADIGMS;

APPLICATION PROGRAMMING INTERFACES (API);

EID: 84944056907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39999-2_41     Document Type: Conference Paper

References (12)

1. APART-Esprit Working Group on Automatic Performance Analysis: Re¬sources and Tools, Dr. Hans Michael Gerndt, Forschungszentrum Jiilich, Zentralinstitut fur Angewandte Mathematik (ZMG), D-52425 Jiilich, http://www. kfa-juelich. de/apart, Feb. 1999.
2. T. Fahringer, M. Gerndt, G. Riley, J. Traff: Knowledge Specification for Automatic Perform, ance Analysis, APART Technical Report, Work-package 2, Identification and Formalization of Knowledge, Technical Re¬port FZJ-ZAM-IB-9918, D-52425 Jiilich, 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
4. L. Dagum, R. Menon: OpenMP: An Industry-Standard API for Shared-Memory Programming, IEEE Computational Science & Engineering, Vol. 5, No. l, pp 46-55, 1998.
5. A. Espinosa, T. Margalef, E. Luque: Automatic Perform, ance Evaluation, of Parallel Programs, Sixth Euromicro Workshop on Parallel and Distribued Processing, 1998
6. M. Gerndt, A. Krumme: A Rule-based Approach for Automatic Bottleneck Detection, in Programs on Shared Virtual Memory Systems, Second Work¬shop on High-Level Programming Models and Supportive Environments (HIPS’97), in combination with IPPS’97, IEEE, 1997
7. M. Gerndt, A. Krumme, S. Ozmen: Perform, ance 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
8. R. Hockauf, W. Karl, M. Leberecht, M. Oberhuber, M. Wagner: Ex¬ploiting Spatial and Temporal Locality of Accesses: A New Hardware-Based Monitoring Approach for DSM System, s., 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, Hei¬delberg, Lecture Notes in Computer Science Vol. 1470, 1998, pp. 206-215
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 Par¬allel Performance Measurement Tool, IEEE Computer, Vol. 28, No. 11, pp. 37-46, 1995
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.
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
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