S-Net for multi-memory multicores

DAMP'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming

Volumn , Issue , 2010, Pages 25-34

  Grelck, Clemens ^a,c   Julku, Jukka ^b   Penczek, Frank ^c  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

^c UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

Component coordination; Hybrid memory architecture; Multicore programming; Stream processing

Indexed keywords

APPLICATION DOMAINS; ASYNCHRONOUS COMPONENTS; COMPONENT NETWORKS; COMPONENT TECHNOLOGIES; COORDINATION LANGUAGE; DATA-COMMUNICATION; DEVELOPMENT ENVIRONMENT; EVOLVING NETWORKS; HYBRID MEMORIES; LANGUAGE EXTENSIONS; LARGE PARTS; MULTI CORE; MULTITHREADED; PRELIMINARY EXPERIMENTAL DATA; RUNTIME SYSTEMS; SHARED MEMORIES; STREAM PROCESSING; SYSTEMS ON CHIPS;

COMPUTER PROGRAMMING; HYDRAULICS; LINGUISTICS; MICROPROCESSOR CHIPS; SEMICONDUCTOR QUANTUM DOTS; TECHNICAL PRESENTATIONS;

SOFTWARE ARCHITECTURE;

EID: 77950892467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1708046.1708054     Document Type: Conference Paper

References (26)

1. F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci., 14(3):329-366, 2004. ISSN 0960-1295. doi: http://dx.doi.org/10.1017/S0960129504004153.
2. MPICH2. Argonne National Laboratory, 2009. http://www.mcs.anl.gov/mpi/ mpich2.
3. H. Cai, S. Eisenbach, C. Grelck, F. Penczek, S.-B. Scholz, and A. Shafarenko. S-Net Type System and Operational Semantics. In Proceedings of the Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08), Lugano, Switzerland, 2008.
4. R. Ebner and A. Pfaffinger. Transformation of Functional Programs into Data Flow Graphs Implemented with PVM. In EuroPVM '96: Proceedings of the Third European PVM Conference on Parallel Virtual Machine, pages 251-258, London, UK, 1996. Springer-Verlag. ISBN 3-540-61779-5.
5. J. T. Feo, D. C. Cann, and R. R. Oldehoeft. A report on the sisal language project. J. Parallel Distrib. Comput., 10(4):349-366, 1990. ISSN 0743-7315. doi: http://dx.doi.org/10.1016/0743-7315(90)90035-N.
6. G. Florijn, T. Bessamusca, and D. Greefhorst. Ariadne and HOPLa: flexible coordination of collaborative processes. In P. Ciancarini and C. Hankin, editors, First International Conference on Coordination Models, Languages and Applications (Coordination'96), Cesena, Italy, 15-17 April, 1996. LNCS 1061, pages 197-214, 1996.
7. D. Gelernter. Generative communication in linda. ACM Trans. Program. Lang. Syst., 7(1):80-112, 1985. ISSN 0164-0925.
8. C. Grelck and F. Penczek. Implementation Architecture and Multi-threaded Runtime System of S-Net. In S. Scholz and O. Chitil, editors, Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, United Kingdom, Lecture Notes in Computer Science. Springer-Verlag, 2009. to appear.
9. C. Grelck and S.-B. Scholz. SAC: A functional array language for efficient multithreaded execution. International Journal of Parallel Programming, 34(4):383-427, 2006.
10. C. Grelck, S.-B. Scholz, and A. Shafarenko. Coordinating Data Parallel SAC Programs with S-Net. In Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'07), Long Beach, California, USA. IEEE Computer Society Press, Los Alamitos, California, USA, 2007.
11. C. Grelck, S.-B. Scholz, and A. Shafarenko. A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components. Parallel Processing Letters, 18(2):221-237, 2008.
12. C. Grelck, Shafarenko, A. (eds):, F. Penczek, C. Grelck, H. Cai, J. Julku, P. Hölzenspies, Scholz, S.B., and A. Shafarenko. S-Net Language Report 1.0. Technical Report 487, University of Hertfordshire, School of Computer Science, Hatfield, England, United Kingdom, 2009.
13. W. Gropp, E. Lusk, and A. Skjellum. Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge, Massachusetts, USA, 1994.
14. K. Hammond. Exploiting purely functional programming to obtain bounded resource behaviour: the Hume approach. In Z. Horváth, editor, First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures, volume 4164 of Lecture Notes in Computer Science, pages 100-134. Springer-Verlag, 2006. ISBN 978-3-540-46843-1.
15. J. Held, J. Bautista, and S. Koehl. From a few cores to many: a Terascale computing research overview. Technical report, Intel Corporation, 2006.
16. R. Loogen, Y. Ortega-Mallén, and R. Peña-Marí. Parallel functional programming in Eden. Journal of Functional Programming, 15(3):431-475, 2005.
17. G. Michaelson and K. Hammond. Hume: a functionally-inspired language for safety-critical systems. In Draft proceedings from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, volume 2 of Trends in Functional Programming, 2000.
18. G. A. Papadopoulos and F. Arbab. Coordination models and languages. In Advances in Computers, volume 46. Academic Press, 1998.
19. F. Penczek, S.-B. Scholz, and C. Grelck. Towards Reconfiguration and Self-Adaptivity in S-Net. In S.-B. Scholz, editor, Implementation and Application of Functional Languages, 20th International Symposium, IFL'08, Hatfield, Hertfordshire, UK, Technical Report 474, pages 330-339. University of Hertfordshire, UK, 2008.
20. J. Protic, M. Tomasevic, and V. Milutinovic. Distributed Shared Memory: Concepts and Systems. John Wiley and Sons, 1998. ISBN 0-8186-7737-6.
21. E. H. Siegel and E. C. Cooper. Implementing distributed linda in standard ml. Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA, 1991.
22. V. S. Sunderam. PVM: a framework for parallel distributed computing. Concurrency: Pract. Exper., 2(4):315-339, 1990. ISSN 1040-3108.
23. G. Sutcliffe and J. Pinakis. Prolog-linda : An embedding of linda in muprolog. Technical report, Department of Computer Science, The University of Western Australia, Nedlands, 6009, Western Australia, 1989.
24. H. Sutter. The free lunch is over: A fundamental turn towards concurrency in software. Dr. Dobb's Journal, 30(3), 2005.
25. G. C. Wells, A. G. Chalmers, and P. G. Clayton. Linda implementations in java for concurrent systems: Research articles. Concurr. Comput. : Pract. Exper., 16(10):1005-1022, 2004. ISSN 1532-0626.
26. K. Zhang, K. Damevski, and S. Parker. SCIRun2: A CCA framework for high performance computing. In Proceedings of The 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'04), Santa Fé, NM, USA, pages 72-79. IEEE Computer Society, 2004.