A gentle introduction to S-NET: Typed stream processing and declarative coordination of asynchronous components

Parallel Processing Letters

Volumn 18, Issue 2, 2008, Pages 221-237

  Grelck, Clemens ^a   Scholz, Sven Bodo ^b   Shafarenko, Alex ^b  

^a UNIVERSITY OF LÜBECK   (Germany)

^b UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

Component models; Coordination; Declarative programming; Parallel programming models; Stream processing; Structural subtyping

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY; MATHEMATICAL MODELS; SEQUENTIAL MACHINES;

COMPONENT MODELS; DECLARATIVE PROGRAMMING; PARALLEL PROGRAMMING MODELS; STREAM PROCESSING; STRUCTURAL SUBTYPING;

PARALLEL PROGRAMMING;

EID: 44649176925     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129626408003351     Document Type: Article

References (25)

1. Sutter, H.: The free lunch is over: A fundamental turn towards concurrency in software. Dr. Dobb's Journal 30 (2005)
2. Grelck, C., Shafarenko, A.: Report on S-Net: A Typed Stream Processing Language, Part I: Foundations, Record Types and Networks. Technical report, University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom (2006)
3. Grelck, C., Scholz, S.B.: SAC: A functional array language for efficient multithreaded execution. International Journal of Parallel Programming 34 (2006) 383-427
4. Cai, H., Eisenbach, S., Shafarenko, A., Grelck, C: Extending the S-Net Type System. In: Proceedings of the æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'O7), Paris, France. (2007)
5. Grelck, C., Scholz, S.B., Shafarenko, A.: Coordinating Data Parallel SAC Programs with S-Net. In: Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'O7), Long Beach, California, USA, IEEE Computer Society Press, Los Alamitos, California, USA (2007)
6. Stephens, R.: A survey of stream processing. Acta Informatica 34 (1997) 491-541
7. Kahn, G.: The semantics of a simple language for parallel programming. In Rosenfeld, L., ed.: Information Processing 74, Proc. IFIP Congress 74. August 5-10, Stockholm, Sweden, North-Holland (1974) 471-475
8. Ashcroft, E.A., Wadge, W.W.: Lucid, a nonprocedural language with iteration. Communications of the ACM 20 (1977) 519-526
9. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE 79 (1991) 1305-1320
10. Berry, G., Gonthier., G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 (1992) 87-152
11. Binder, J.: Safety-critical software for aerospace systems. Aerospace America (2004) 26-27
12. Caspi, P., Pouzet, M.: Synchronous Kahn networks. In Wexelblat, R.L., ed.: ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming. (1996) 226-238
13. Caspi, P., Pouzet, M.: A co-iterative characterization of synchronous stream functions. In Bart Jacobs, Larry Moss, H.R., Rutten, J., eds.: CMCS'98, First Workshop on Coalgebraic Methods in Computer Science Lisbon, Portugal, 28-29 March 1998. (1998) 1-21
14. Hammond, K., Michaelson, G.: The design of hume: a high-level language for the real-time embedded systems domain. In: Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers. Volume 3016 of Lecture Notes in Computer Science., Springer (2004) 127-147
15. Michael I. Gordon 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. (2002)
16. Papadopoulos, G.A., Arbab., F.: Coordination models and languages. In: Advances in Computers. Volume 46. Academic Press (1998)
17. Florijn, G., Bessamusca, T., Greefhorst, D.: Ariadne and HOPLa: flexible coordination of collaborative processes. In Ciancarini, P., Hankin, C., eds.: First International Conference on Coordination Models, Languages and Applications (Coordination'96), Cesena, Italy, 15-17 April, 1996. LNCS 1061. (1996) 197-214
18. Feo, J.T., Cann, D.C., Oldehoeft, R.R.: A report on the sisal language project. J. Parallel Distrib. Comput. 10 (1990) 349-366
19. Loogen, R., Ortega-Mallén, Y., Peña-Marí, R.: Parallel functional programming in Eden. Journal of Functional Programming 15 (2005) 431-475
20. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14 (2004) 329-366
21. Stefanescu, G.: An algebraic theory of flowchart schemes. In Franchi-Zannettacci, P., ed.: Proceedings 11th Colloquium on Trees in Algebra and Programming, Nice, France, 1986. Volume LNCS 214., Springer-Verlag (1986) 60-73
22. Broy, M., Stefanescu, G.: The algebra of stream processing functions. Theoretical Computer Science (2001) 99-129
23. Grelck, C., Penczek, F.: Implementing S-Net: A Typed Stream Processing Language, Part I: Compilation, Code Generation and Deployment. Technical report, University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, England, United Kingdom (2007)
24. Penczek, F.: Design and Implementation of a Multithreaded Runtime System for the Stream Processing Language S-Net. Master's thesis, Institute of Software Technology and Programming Languages, University of Lübeck, Germany (2007)
25. Bernard, T., Bousias, K., de Geus, B., Lankamp, M., Zhang, L., Pimentel, A., Knij-nenburg, P., Jesshope, C: A Microthreaded Architecture and its Compiler. In Arenez, M., Doallo, R., Fraguela, B., Tourino, J., eds.: Proceedings of the 19th International Conference on Architecture of Computing Systems (ARCS'06), Frankfurt/Main, Germany. (2006) 326-342