Skip to main content

Prototyping Framework for Parallel Numerical Computations

  • Conference paper
  • First Online:
  • 1317 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8385))

Abstract

Our research is focused on the simplification of parallel programming for distributed memory systems. Our goal is to build a unifying framework for creating, debugging, profiling, and verifying parallel applications. The result of this effort is an open source tool Kaira. In this paper, we focus on prototyping of parallel applications. We have extended Kaira by the ability to generate parallel libraries. More precisely, we present a framework for fast prototyping of parallel numerical computations. We demonstrate our idea on a combination of parallel libraries generated by our tool Kaira and GNU Octave. Hence, a user can verify the idea in a short time, create a real running program and verify its performance and scalability.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.gnu.org/software/octave/

  2. 2.

    http://openmp.org/wp/

  3. 3.

    http://upc.lbl.gov/

  4. 4.

    http://www.mcs.anl.gov/petsc/

  5. 5.

    http://trilinos.sandia.gov/

  6. 6.

    http://www.mpi-forum.org/docs/docs.html

  7. 7.

    http://cpntools.org/

  8. 8.

    The model and source codes used in this example are available on the website of our project http://verif.cs.vsb.cz/kaira.

  9. 9.

    All mentioned packages are available at http://octave.sourceforge.net

References

  1. Böhm, S., Běhálek, M.: Generating parallel applications from models based on petri nets. Adv. Electr. Electron. Eng. 10(1), 28–34 (2012)

    Google Scholar 

  2. Böhm, S., Běhálek, M.: Usage of Petri nets for high performance computing. In: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC ’12, pp. 37–48. ACM, New York (2012) http://doi.acm.org/10.1145/2364474.2364481

  3. Browne, J.C., Dongarra, J., Hyder, S.I., Moore, K., Newton, P.: Visual programming and parallel computing. Technical report, Knoxville, TN, USA (1994)

    Google Scholar 

  4. Dostál, Z., Horák, D., Kučera, R.: Total FETI-an easier implementable variant of the FETI method for numerical solution of elliptic PDE. Commun. Numer. Meth. Eng. 22(12), 1155–1162 (2006). http://dx.doi.org/10.1002/cnm.881

    Article  MATH  Google Scholar 

  5. El-Ghazawi, T., Smith, L.: UPC: unified parallel C. In: Proceedings of the 2006 ACM/IEEE Conference on Supercomputing, SC ’06. ACM, New York. http://doi.acm.org/10.1145/1188455.1188483 (2006)

  6. Gordon, M.I., Thies, W., Amarasinghe, S.: Exploiting coarse-grained task, data, and pipeline parallelism in stream programs. SIGPLAN Not. 41(11), 151–162 (2006)

    Article  Google Scholar 

  7. Horák, D., Dostál, Z.: Parallelization of the total-FETI-1 algorithm for contact problems using PETSc. In: Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Civil-Comp Press, Stirlingshire (2011)

    Google Scholar 

  8. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)

    Book  Google Scholar 

  9. Kacsuk, P., Cunha, J., Dózsa, G., Lourenco, J., Fadgyas, T., Antao, T.: A graphical development and debugging environment for parallel programs. Parallel Comput. 22(13), 1699–1701 (1997). http://www.sciencedirect.com/science/article/pii/S0167819196000750 (distributed and parellel systems: Environments and tools)

  10. Leiserson, C.: The Cilk++ concurrency platform. J. Supercomput. 51(3), 244–257 (2010). http://dx.doi.org/10.1007/s11227-010-0405-3

    Article  Google Scholar 

  11. Newton, P., Browne, J.C.: The code 2.0 graphical parallel programming language. In: Proceedings of the 6th International Conference on Supercomputing, ICS ’92, pp. 167–177. ACM, New York. http://doi.acm.org/10.1145/143369.143405 (1992)

  12. Thies, W., Amarasinghe, S.: An empirical characterization of stream programs and its implications for language and compiler design. In: Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, PACT ’10, pp. 365–376. ACM, New York (2010)

    Google Scholar 

Download references

Acknowledgments

The work is partially supported by: GAČR P202/11/0340, the European Regional Development Fund in the IT4Innovations Center of Excellence project (CZ.1.05/1.1.00/02.0070) and Grant of SGS No. SP2013/145, VŠB - Technical University of Ostrava, Czech Republic.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stanislav Böhm .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meca, O., Böhm, S., Běhálek, M., Šurkovský, M. (2014). Prototyping Framework for Parallel Numerical Computations. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Waśniewski, J. (eds) Parallel Processing and Applied Mathematics. PPAM 2013. Lecture Notes in Computer Science(), vol 8385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55195-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-55195-6_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-55194-9

  • Online ISBN: 978-3-642-55195-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics