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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 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.
All mentioned packages are available at http://octave.sourceforge.net
References
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)
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
Browne, J.C., Dongarra, J., Hyder, S.I., Moore, K., Newton, P.: Visual programming and parallel computing. Technical report, Knoxville, TN, USA (1994)
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
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)
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)
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)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
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)
Leiserson, C.: The Cilk++ concurrency platform. J. Supercomput. 51(3), 244–257 (2010). http://dx.doi.org/10.1007/s11227-010-0405-3
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)
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)
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)