On the design of abstract binding connectors for high performance computing component models

ABSTRACT

Some requirements of high-performance computing (HPC), mainly regarding parallel synchronization, are not met by the service connectors of standard commercial component models. Thus, this paper analyzes the usual extensions to the notion of service connector and provides alternative solutions based on type system theory, achieving a higher-level of abstraction. A notion of "abstract connector", adopted by HPE (the # Programming Environment), is presented.

REFERENCES

• 1: The Mono Project. http://www.mono-project.com, 2006.
• 2: Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
• 3: M. Alt, J. Dünnweber, J. Müller, and S. Gorlatch. HOCs: Higher-Order Components for Grids. In Workshop on Component Models and Systems for Grid Applications (in ICS'2004). Kluwer Academics, July 2004.
• 4: Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
• 5: Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
• 6: Rob Armstrong , Gary Kumfert , Lois Curfman McInnes , Steven Parker , Ben Allan , Matt Sottile , Thomas Epperly , Tamara Dahlgren, The CCA component model for high-performance scientific computing, Concurrency and Computation: Practice & Experience, v.18 n.2, p.215-229, February 2006 [doi>10.1002/cpe.v18:2]
• 7: Francoise Baude , Denis Caromel , Ludovic Henrio , Matthieu Morel, Collective Interfaces for Distributed Components, Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid, p.599-610, May 14-17, 2007 [doi>10.1109/CCGRID.2007.32]
• 8: 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.
• 9: E. Bruneton, T. Coupaye, and J. B. Stefani. Recursive and Dynamic Software Composition with Sharing. In European Conference on Object Oriented Programming (ECOOP'2002). Springer, 2002.
• 10: D. K. G. Campbell. Towards the Classification of Algorithmic Skeletons. Technical Report YCS 276, Department of Computer Science, University of York, 1996.
• 11: F. H. Carvalho Junior , R. D. Lins , R. C. Corrêa , G. A. Araújo, Towards an architecture for component-oriented parallel programming: Research Articles, Concurrency and Computation: Practice & Experience, v.19 n.5, p.697-719, April 2007 [doi>10.1002/cpe.v19:5]
• 12: F. H. Carvalho Junior and R. D. Lins. Haskell#: Parallel Programming Made Simple and Efficient. Journal of Universal Computer Science, 9(8):776--794, Aug. 2003.
• 13: Francisco Heron de Carvalho Junior , Rafael Dueire Lins, Topological Skeletons in Haskell#, Proceedings of the 17th International Symposium on Parallel and Distributed Processing, p.53.1, April 22-26, 2003
• 14: F. H. Carvalho Junior, R. D. Lins, and A. T. C. Martins. An Institutional Theory for #-Components. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF'2006), pages 137--152, 2006.
• 15: Kenneth Chiu , Randall Bramley, An architecture for concurrent, peer-to-peer components, Indiana University, Indianapolis, IN, 2001
• 16: Murray Cole, Algorithmic skeletons: structured management of parallel computation, MIT Press, Cambridge, MA, 1991
• 17: Murray Cole, Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming, Parallel Computing, v.30 n.3, p.389-406, March 2004 [doi>10.1016/j.parco.2003.12.002]
• 18: Alexandre Denis , Christian Pérez , Thierry Priol, Portable Parallel CORBA Objects: An Approach to Combine Parallel and Distributed Programming for Grid Computing, Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, p.835-844, August 28-31, 2001
• 19: I. Dorta, C. León Coromoto, Rodríguez, and A. Rojas. Parallel Skeletons for Divide-and-Conquer and Branchand-Bound Techniques. In 11th Euromicro Conference on Parallel, Distributed and Network-Based Processing (Euro-PDP'03), pages 292--298. IEEE Computer Society, Feb. 2003.
• 20: J. L. Fiadeiro, A. Lopez, and M. Wermelinger. Categorical Semantics of Parallel Program Design. Lecture Notes in Computer Science, 2793:190--234, 2003.
• 21: Sergei Gorlatch, Send-receive considered harmful: Myths and realities of message passing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.1, p.47-56, January 2004 [doi>10.1145/963778.963780]
• 22: M. M. Hamdan. A Combinational Framework for Paralell Programming Using Skeleton Functions. PhD thesis, Department of Computing and Electrical Engineering, Hariot-Watt University, Jan. 2000.
• 23: Katarzyna Keahey , Dennis Gannon, PARDIS: A Parallel Approach to CORBA, Proceedings of the 6th IEEE International Symposium on High Performance Distributed Computing, p.31, August 05-08, 1997
• 24: K. Lau, P. V. Elizondo, and Z. Wang. Exogenous Connectors for Software Components. Lecture Notes in Computer Science (Proceedings of 2005 International SIGSOFT Symposium on Component-Based Software Engineering - CBSE'2005), 3489:90--108, 2005.
• 25: N. Mahmood, G. Deng, and J. C. Browne. Compositional development of parallel programs. In L. Rauchwerger, editor, LCPC, volume 2958 of Lecture Notes in Computer Science, pages 109--126. Springer, 2003.
• 26: Nikunj R. Mehta , Nenad Medvidovic , Sandeep Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, p.178-187, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337201]
• 27: Christian Pérez , Thierry Priol , André Ribes, A Parallel CORBA Component Model for Numerical Code Coupling, Proceedings of the Third International Workshop on Grid Computing, p.88-99, November 18, 2002
• 28: Benjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002
• 29: M. Poldner and H. Kuchen. Algortihm Skeletons for Branch and Bound. In Proceedings of 1st International Conference on Software and Data Technology (ICSOFT), volume 1, pages 291--300, Sept. 2006.
• 30: Christophe René , Thierry Priol, MPI code encapsulating using parallel CORBA object, Cluster Computing, v.3 n.4, p.255-263, 2000 [doi>10.1023/A:1019096607706]
• 31: Mary Shaw, Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status, Selected papers from the Workshop on Studies of Software Design, p.17-32, May 17-18, 1993
• 32: OMG Standard. Data Parallel CORBA, v1.0. Technical Report 2006-01-03, Object Management Group, Object Management Group, Jan. 2006.
• 33: Aad J. van der Steen, Issues in computational frameworks, Concurrency and Computation: Practice & Experience, v.18 n.2, p.141-150, February 2006 [doi>10.1002/cpe.v18:2]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments

General Terms:
Design, Languages

Keywords:
high performance computing, parallel programming, software components