Francisco Heron de Carvalho Junior
Rafael Dueire Lins
Abstract
The # programming model attempts to address the needs of the high performance computing community for new paradigms that reconcile efficiency, portability, abstraction and generality issues on parallel programming for high-end distributed architectures. This paper provides a semantics for the compositional features of # programs, based on category theory.
- R. Armstrong et al. Towards a Common Component Architecture for High-Performance Scientific Computing. In The Eighth IEEE International Symposium on High Performance Distributed Computing. IEEE Computer Society, 1999. Google Scholar
Digital Library
- M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990. Google ScholarDigital Library
- F. Baude, D. Caromel, and M. Morel. From Distributed Objects to Hierarchical Grid Components. In International Symposium on Distributed Objects and Applications. Springer-Verlag, 2003.Google ScholarCross Ref
- Bernholdt D. E. Raising Level of Programming Abstraction in Scalable Programming Models. In IEEE International Conference on High Performance Computer Architecture (HPCA), Workshop on Productivity and Performance in High-End Computing (P-PHEC), pages 76--84. Madrid, Spain, 2004.Google Scholar
- F. H. Carvalho Junior and R. D. Lins. The # Model for Parallel Programming: From Processes to Components with Insignificant Performance Overheads. In Workshop on Components and Frameworks for High Performance Computing (CompFrame 2005), June 2005.Google Scholar
- M. Cole. Bringing Skeletons out of the Closet: A Pragmatic Manifesto for Skeletal Parallel Programming. Parallel Computing, 30:389--406, 2004. Google ScholarDigital Library
- J. Dongarra, et al. Sourcebook of Parallel Computing. Morgan Kauffman Publishers, 2003. Google ScholarDigital Library
- J. Goguen and R. Burnstal. Institutions: Abstract Model Theory for Specification and Programming. Journal of ACM, 39(1):95--146, 1992. Google ScholarDigital Library
- T. Ito and Y. Nishitani. On Universality of Concurrent Expressions with Synchronization Primitives. Theoretical Computer Science, 19:105--115, 1982.Google Scholar
- H. Milli, A. Elkharraz, and H. Mcheick. Understanding Separation of Concerns. In Workshop on Early Aspects - Aspect Oriented Software Development (AOSD'04), pages 411--428, March 2004.Google Scholar
Index Terms
- A categorical characterization for the compositional features of the # component model
Recommendations
A categorical characterization for the compositional features of the # component model
SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systemsThe # programming model attempts to address the needs of the high performance computing community for new paradigms that reconcile efficiency, portability, abstraction and generality issues on parallel programming for high-end distributed architectures. ...
Compositional parallel programming languages
In task-parallel programs, diversee activities can take place concurrently, and communication and synchronization patterns are complex and not easily predictable. Previous work has identified compositionality as an important design principle for task-...
Comments