Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ashcroft, E.A., Wadge, W.W.: Lucid, a nonprocedural language with iteration. Communications of the ACM 20(7), 519–526 (1977)
Broy, M., Stefanescu, G.: The algebra of stream processing functions. Theoretical Computer Science (258), 99–129 (2001)
Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM 35(2), 96–107 (1992)
Gelernter, D.: Generative communication in linda. ACM Trans Program. Lang Syst. 1(7), 80–112 (1985)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE 79(9), 1305–1320 (1991)
Jacquet, J.-M., Picco, G.P. (eds.): COORDINATION 2005. LNCS, vol. 3454, p. 299. Springer, Heidelberg (2005)
Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, L. (ed.) Information Processing 74, Proc. IFIP Congress 74, Stockholm, Sweden, August 5-10, pp. 471–475. North-Holland, Amsterdam (1974)
Gordon, M.I., et al.: A stream compiler for communication-exposed architectures. In: Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA (October 2002)
Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Advances in Computers, vol. 46. Academic Press, London (1998)
The AETHER Project, http://aetherist.free.fr/Joomla/index.php
Shafarenko, A.: Coercion as homomorphism: type inference in a system with subtyping and overloading. In: PPDP 2002: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, pp. 14–25 (2002)
Shafarenko, A.: Stream processing on the grid: an array stream transforming language. In: SNPD, pp. 268–276 (2003)
Shafarenko, A.: Snet: definition and the main algorithms. Technical report, Department of Computer Science (2006)
Shafarenko, A., Scholz, S.-B.: General Homomorphic Overloading. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol. 3474, pp. 195–210. Springer, Heidelberg (2005) (Revised Selected Papers)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shafarenko, A. (2006). Streaming Networks for Coordinating Data-Parallel Programs (Position Statement). In: Jesshope, C., Egan, C. (eds) Advances in Computer Systems Architecture. ACSAC 2006. Lecture Notes in Computer Science, vol 4186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11859802_2
Download citation
DOI: https://doi.org/10.1007/11859802_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40056-1
Online ISBN: 978-3-540-40058-5
eBook Packages: Computer ScienceComputer Science (R0)