research-article

Open access

Runtime Correctness Checking for Emerging Programming Paradigms

Authors:

Taisuke BokuAuthors Info & Claims

Correctness'17: Proceedings of the First International Workshop on Software Correctness for HPC Applications

Pages 21 - 27

https://doi.org/10.1145/3145344.3145490

Published: 12 November 2017 Publication History

PDF eReader

Abstract

With rapidly increasing concurrency, the HPC community is looking for new parallel programming paradigms to make best use of current and up-coming machines. Under the Japanese CREST funding program, the post-petascale HPC project developed the XMP programming paradigm, a pragma-based partitioned global address space (PGAS) approach. Good tool support for debugging and performance analysis is crucial for the productivity and therefore acceptance of a new programming paradigm. In this work we investigate which properties of a parallel programing language specification may help tools to highlight correctness and performance issues or help to avoid common issues in parallel programming in the first place. In this paper we exercise these investigations on the example of XMP. We also investigate the question how to improve the reusability of existing correctness and performance analysis tools.

References

[1]

2016. Developer tools for porting and tuning parallel applications on extreme-scale parallel systems. https://jlesc.github.io/projects/tool_pandt_project/. (2016).

Google Scholar

[2]

2016. Scalasca web page. http://http://www.scalasca.org/. (2016).

Google Scholar

[3]

2016. The MUST Project. https://www.itc.rwth-aachen.de/must. (2016).

Google Scholar

[4]

2017. The Extrae Project. https://tools.bsc.es/extrae. (2017).

Google Scholar

[5]

2017. XcalableMP web page. http://www.xcalablemp.org/. (2017).

Google Scholar

[6]

Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, and Matthias S. Müller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016. 53--62. https://doi.org/10.1109/IPDPS.2016.68

Crossref

Google Scholar

[7]

Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, and Matthias S. Müller. 2013. Distributed wait state tracking for runtime MPI deadlock detection. In International Conference for High Performance Computing, Networking, Storage and Analysis, SC'13, Denver, CO, USA - November 17 - 21, 2013. 16:1--16:12. https://doi.org/10.1145/2503210.2503237

Digital Library

Google Scholar

[8]

Tobias Hilbrich, Joachim Protze, Martin Schulz, Bronis R. de Supinski, and Matthias S. Müller. 2012. MPI runtime error detection with MUST: advances in deadlock detection. In SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012. 30. https://doi.org/10.1109/SC.2012.79

Crossref

Google Scholar

[9]

Tobias Hilbrich, Matthias Weber, Joachim Protze, Bronis R. de Supinski, and Wolfgang E. Nagel. 2016. Runtime Correctness Analysis of MPI-3 Nonblocking Collectives. In Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016, Edinburgh, United Kingdom, September 25-28, 2016. 188--197. https://doi.org/10.1145/2966884.2966906

Digital Library

Google Scholar

[10]

Masahiro Nakao, Jinpil Lee, Taisuke Boku, and Mitsuhisa Sato. 2012. Productivity and Performance of Global-View Programming with XcalableMP PGAS Language. In Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (Ccgrid 2012) (CCGRID '12). IEEE Computer Society, Washington, DC, USA, 402--409. https://doi.org/10.1109/CCGrid.2012.118

Digital Library

Google Scholar

[11]

Joachim Protze, Tobias Hilbrich, Andreas Knüpfer, Bronis R. de Supinski, and Matthias S. Müller. 2012. Holistic Debugging of MPI Derived Datatypes. In 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012. 354--365. https://doi.org/10.1109/IPDPS.2012.41

Crossref

Google Scholar

[12]

XcalableMP Specification Working Group. 2016. XcalableMP Language Specification. http://www.xcalablemp.org/specification.html. (2016).

Google Scholar

[13]

Ilya Zhukov, Christian Feld, Markus Geimer, Michael Knobloch, Bernd Mohr, and Pavel Saviankou. 2015. Scalasca v2: Back to the Future. In Proc. of Tools for High Performance Computing 2014. Springer, 1--24. https://doi.org/10.1007/978-3-319-16012-2_1

Crossref

Google Scholar

Cited By

View all

Huck AProtze JLehr JTerboven CBischof CMuller M(2020)Towards compiler-aided correctness checking of adjoint MPI applications2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness51934.2020.00010(40-48)Online publication date: Nov-2020
https://doi.org/10.1109/Correctness51934.2020.00010
Murai HNakao MSato M(2020)XcalableMP Programming Model and LanguageXcalableMP PGAS Programming Language10.1007/978-981-15-7683-6_1(1-71)Online publication date: 20-Nov-2020
https://doi.org/10.1007/978-981-15-7683-6_1

Index Terms

Runtime Correctness Checking for Emerging Programming Paradigms
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Parallel programming languages
    2. Software maintenance tools
  2. Software organization and properties
    1. Software functional properties
      1. Correctness

Recommendations

Teaching Programming Paradigms Using CLIPS
Papers of the 29th Annual CCSC Midwestern Conference

CLIPS is an expert system shell, originally developed at NASA. In universities, it is often used in courses in Artificial Intelligence and Expert Systems and projects for building expert systems. I believe it can be used effectively in courses in ...
Object-oriented parallel programming paradigms and environments for supercomputers
Evaluating Emerging Programming Paradigms: An Artifact-Oriented Approach
HICSS '98: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6

A number of programming paradigms have risen and fallen in popularity since the invention of the computer. Many of these have been accompanied by claims that they are more natural ways to program. Little evidence has been offered to justify these ...

Comments

Information & Contributors

Information

Published In

Correctness'17: Proceedings of the First International Workshop on Software Correctness for HPC Applications

November 2017

55 pages

ISBN:9781450351270

DOI:10.1145/3145344

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 November 2017

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

SC '17

Sponsor:

SIGHPC

SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis

November 12 - 17, 2017

CO, Denver, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
422
Total Downloads

Downloads (Last 12 months)112
Downloads (Last 6 weeks)20

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Huck AProtze JLehr JTerboven CBischof CMuller M(2020)Towards compiler-aided correctness checking of adjoint MPI applications2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)10.1109/Correctness51934.2020.00010(40-48)Online publication date: Nov-2020
https://doi.org/10.1109/Correctness51934.2020.00010
Murai HNakao MSato M(2020)XcalableMP Programming Model and LanguageXcalableMP PGAS Programming Language10.1007/978-981-15-7683-6_1(1-71)Online publication date: 20-Nov-2020
https://doi.org/10.1007/978-981-15-7683-6_1

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Teaching Programming Paradigms Using CLIPS

Object-oriented parallel programming paradigms and environments for supercomputers

Evaluating Emerging Programming Paradigms: An Artifact-Oriented Approach

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

Teaching Programming Paradigms Using CLIPS

Object-oriented parallel programming paradigms and environments for supercomputers

Evaluating Emerging Programming Paradigms: An Artifact-Oriented Approach

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations