Streaming Networks for Coordinating Data-Parallel Programs

A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordination language: stream processing and various forms of subtyping. The talk will present the organisation of SNet, its major type inferencing algorithms and will briefly discuss the current state of implementation and possible applications.

[1]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[2]  Alexander V. Shafarenko.  Coercion as homomorphism: type inference in a system with subtyping and overloading , 2002, PPDP '02.

[3]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[4]  Alexander V. Shafarenko,et al.  General Homomorphic Overloading , 2004, IFL.

[5]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[6]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[7]  D. W. Walker,et al.  Hierarchical Domain Decomposition With Unitary Load Balancing For Electromagnetic Particle-In-Cell Codes , 1990, Proceedings of the Fifth Distributed Memory Computing Conference, 1990..

[8]  José D. P. Rolim,et al.  Solving Irregularly Structured Problems in Parallel , 1997, Lecture Notes in Computer Science.

[9]  P. H. Lindsay.  Human Information Processing , 1977 .

[10]  Manfred Broy,et al.  The algebra of stream processing functions , 2001, Theor. Comput. Sci..

[11]  Clemens Grelck,et al.  SAC—A Functional Array Language for Efficient Multi-threaded Execution , 2006, International Journal of Parallel Programming.

[12]  William W. Wadge,et al.  Lucid, a nonprocedural language with iteration , 1977, CACM.

[13]  坂井 利之,et al.  IFIP Congress 74 , 1974 .

[14]  Laxmikant V. Kalé,et al.  Load Balancing in Parallel Molecular Dynamics , 1998, IRREGULAR.

[15]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[16]  Alexander V. Shafarenko,et al.  Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences , 2005, IFL.

[17]  D. W. Walker,et al.  Proceedings of the fifth distributed memory computing conference , 1990 .

[18]  Henry Hoffmann,et al.  A stream compiler for communication-exposed architectures , 2002, ASPLOS X.

[19]  Alexander V. Shafarenko.  Stream Processing on the Grid: an Array Stream Transforming Language , 2003, SNPD.