Horváth, Zoltán

Plasmeijer, Rinus

Serrarens, Pascal

Zsók, Viktória

Horváth Zoltán

Zsók Viktória

Serrarens Pascal

Plasmeijer Rinus

University of Szeged

Parallel Functional Reactive Skeletons in Concurrent CleanZoltán Horváth, Viktória Zsók, Pascal Serrarens and Rinus PlasmeijerThe skeletons are parameterised algorithmic schemes. We can use them to control parallel ex-ecution of the programs. There are two possibilities for integration of the skeletons in concurrentprogramming: one is to nest the skeletons in compiler and so the users are no aware of parallelism,and the other one is to write implementation modules that can be used and changed by users.Skeletons in functional programming languages are expressed as higher order functions and theyallow to implement the well-known parallel programming paradigm in portable, efficient programs[1]. The skeletons can be parameterised triply: by a function that computes the value of the result,by a strategy determining the dynamic behaviour and by types. Reactive skeletons are models of thereactive systems, which have some interactions with their environment, but doesn’t give a final result.Usually they are non-deterministic.In this paper we present a set of algorithmic skeletons in the parallel lazy functional languageConcurrent Clean [2, 3]. Concurrent Clean provides process annotations for explicit thread creationand data-driven message passing system for the communication between processes. We would liketo present the reactive skeletons with typical examples of concurrent systems.References[1] Galán, L.A.; Pareja, C.; Peña, R.: Functional Skeletons Generate Process Topologies in Eden.In Int. Symp. on Programming Languages: Implementations, Logics and Programs, PLILP’96.Aachen, Germany, pp. 289-303. Springer-Verlag LNCS 1140, 1996.[2] Serrarens, P.R.: Explicit Message Passing for Concurrent Clean. In K. Hammond et al.: Proc. ofImplementation of Functional Languages, IFL’98, pp. 298-308, Sept. 1998, London, to appearin LNCS.[3] Kesseler, M. H. G.: The Implementation of Functional Languages on Parallel Machines withDistributed Memory. PhD thesis, University of Nijmegen, Constructing skeletons, pp. 153-173,1996.51

Parallel functional reactive skeletons in concurrent clean : [abstract]

http://acta.bibl.u-szeged.hu/59602/1/cscs_2000_051.pdf

Parallel functional reactive skeletons in concurrent clean

Parallel functional reactive skeletons in concurrent clean

Abstract

Similar works

Full text

Available Versions

University of Szeged