skip to main content
column

Reduction of Parallel Computation in the Parallel Model for Ada

Published:13 July 2016Publication History
Skip Abstract Section

Abstract

One of the most common program constructs to be parallelized (and where most of the times gains are obtained) is parallel loops. This paper discusses different approaches to support loop parallelization in the fine-grained parallelism model for Ada currently being proposed, focusing in particular in the issues related to reducing operations.

References

  1. L. M. Pinho, B. Moore, S. Michell, S. T. Taft, "An Execution Model for Fine-Grained Parallelism in Ada", Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, http://dx.doi.org/10.1007/978-3-319-19584-1_13.Google ScholarGoogle Scholar
  2. S. T. Taft, B. Moore, L. M. Pinho, S. Michell, "Safe Parallel Programming in Ada with Language Extensions", Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology (HILT '14). ACM, New York, NY, USA, http://dx.doi.org/10.1145/2663171.2663181. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. OpenMP Architecture Review Board, "OpenMP Application Program Interface", Version 4.5, November 2015, available at http://www.openmp.org/mp-documents/openmp-4.5.pdf, last accessed January 2016.Google ScholarGoogle Scholar
  4. Intel® Cilk™ Plus Language Extension Specification, Version 1.2, available at https://www.cilkplus.org/sites/default/files/open_specifications/Intel_Cilk_plus_lang_spec_1.2.htm, last accessed January 2016.Google ScholarGoogle Scholar
  5. Programming languages --- C --- Extensions for parallel programming, N1966 (2015-09-14), available at http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1966.pdf, last accessed January 2016.Google ScholarGoogle Scholar
  6. Technical Specification for C++ Extensions for Parallelism, N4507 (2015-05-05), available at http://www.openstd.org/jtc1/sc22/wg21/docs/papers/2015/n4507.pdf, last accessed January 2016.Google ScholarGoogle Scholar
  7. Intel® Threading Building Blocks (Intel®TBB) Developer Guide, Intel® TBB 4.4, available at https://software.intel.com/en-us/tbb-user-guide, last accessed January 2016.Google ScholarGoogle Scholar
  8. Microsoft .NET Framework Development Guide, Task Parallel Library (TPL), available at https://msdn.microsoft.com/en-us/library/dd460717.aspx, last accessed January 2016.Google ScholarGoogle Scholar
  9. Microsoft .NET Framework Development Guide, Parallel LINQ (PLINQ), available at https://msdn.microsoft.com/en-us/library/dd460688.aspx, last accessed January 2016.Google ScholarGoogle Scholar
  10. Java Fork/Join, Java Tutorials, available at https://docs.oracle.com/javase/tutorial/essential/concurrency/forkjoin.html, last accessed January 2016.Google ScholarGoogle Scholar
  11. java.util.stream, Java Platform, Standard Edition 8 API Specification, available at https://docs.oracle.com/javase/8/docs/api/java/util/stream/package-summary.html, last accessed January 2016.Google ScholarGoogle Scholar
  12. ISO IEC 8652:2012. Programming Languages and their Environments -- Programming Language Ada. International Standards Organization, Geneva, Switzerland, 2012.Google ScholarGoogle Scholar
  13. java.util.Spliterators, Java Platform, Standard Edition 8 API Specification, available at https://docs.oracle.com/javase/8/docs/api/java/util/Spliterator.html, last accessed January 2016.Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. Reduction of Parallel Computation in the Parallel Model for Ada

      Recommendations

      Comments

      Login options

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

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 36, Issue 1
        June 2016
        98 pages
        ISSN:1094-3641
        DOI:10.1145/2971571
        Issue’s Table of Contents

        Copyright © 2016 Authors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 13 July 2016

        Check for updates

        Qualifiers

        • column

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!