Coordinating functional processes with Haskell#

ABSTRACT

This paper presents Haskell#, a parallel functional language based on coordination. Haskell# supports lazy stream communication and facilities, at coordination level, to the specification of data parallel programs. Haskell# supports a clean and complete, semantic and syntactic, separation between coordination and computation levels of programming, with several benefits to parallel program engineering. The implementation of some well-known applications in Haskell# is presented, demonstrating its expressiveness, allowing for elegant, simple, and concise specification of any static pattern of parallel, concurrent or distributed computation.

REFERENCES

• 1: Claus Aßmann, Coordinating Functional Processes Using Petri Nets, Selected Papers from the 8th International Workshop on Implementation of Functional Languages, p.162-183, September 16-18, 1996
• 2: Silvia Breitinger , Rita Loogen , Yolanda Ortega Mallen , Ricardo Pena, The Eden Coordination Model for Distributed Memory Systems, Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), p.120, April 01-01, 1997
• 3: S. Breitinger, R. Loogen, Y. Ortega Malln, and R. Peña. High-level Parallel and Concurrent Programming in Eden. In Proceedings of APPIA-GULP-PRODE Joint Conference on Declarative Programming, pages 213-224, June 1997.
• 4: S. Briesmeister, R. Loogen, Y. Ortega Mallén, and R. Pe na. Eden: Language Definition and Operational Semantics. Technical report, FB Mathematik, Universität Marburg, 1998.
• 5: W. H. Burge. Recursive Programming Techniques. Addison-Wesley Publishers Ltd., 1975.
• 6: F. W. Burton, Functional programming for concurrent and distributed computing, The Computer Journal, v.30 n.5, p.437-450, Oct. 1987
• 7: F. H. Carvalho Jr. Haskell#: Uma Extensão Paralela pars Haskell. Master's thesis, Centro de Informática, Universidade Federal de Pernambuco, Jan. 2000.
• 8: John Darlington , Yike Guo , Hing Wing To , Jin Yang, Functional Skeletons for Parallel Coordination, Proceedings of the First International Euro-Par Conference on Parallel Processing, p.55-66, August 29-31, 1995
• 9: F. DeRemer and H. H. Kron. Programming-in-the-Large versus Programming-in-the-small. IEEE Transactions on Software Engineering, pages 80-86, June 1976.
• 10: Ian Foster, Compositional parallel programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.4, p.454-476, July 1996 [doi>10.1145/233561.233565]
• 11: David Gelernter , Nicholas Carriero, Coordination languages and their significance, Communications of the ACM, v.35 n.2, p.97-107, Feb. 1992 [doi>10.1145/129630.129635]
• 12: Kevin Hammond , Greg Michelson, Research Directions in Parallel Functional Programming, Springer-Verlag, London, 2000
• 13: James Hicks , Derek Chiou , Boon Seong Ang , Arvind, Performance studies of Id on the Monsoon dataflow system, Journal of Parallel and Distributed Computing, v.18 n.3, p.273-300, July 1993 [doi>10.1006/jpdc.1993.1065]
• 14: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 15: Paul Hudak , Benjamin Goldberg, Serial combinators: “optimal” grains of parallelism, Proc. of a conference on Functional programming languages and computer architecture, p.382-399, January 1985, Nancy, France
• 16: Paul Hudak, Para-functional programming in Haskell, Parallel functional languages and compilers, ACM Press, New York, NY, 1991 [doi>10.1145/107214.129257]
• 17: Inmos. Occam 2 Reference Manual. Prentice-Hall, C.A.R. Hoare Series Editor, 1988.
• 18: Owen Kaser , C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar, EQUALS – a fast parallel implementation of a lazy language, Journal of Functional Programming, v.7 n.2, p.183-217, March 1997 [doi>10.1017/S0956796897002669]
• 19: Paul H. Kelly, Functional Programming for Loosely-Coupled Multiprocessors, MIT Press, Cambridge, MA, 1989
• 20: J. Krammer. Distributed Software Engineering. In IEEE Computer Society Press, editor, Proc. 16th IEEE International Conference on Software, 1994.
• 21: R. M. F. Lima. Haskell# - Uma Linguagem Funcional Paralela - Ambiente de Progrmação, Implementação e Otimização. PhD thesis, Centro de Informática, UFPE, July 2000.
• 22: R. M. F. Lima, F. H. Carvalho Jr., and R. D. Lins. Haskell#: A Message Passing Extension to Haskell. CLAPF'99 - 3rd Latin American Conference on Functional Programming, pages 93-108, Mar. 1999.
• 23: Rafael Dueire Lins, Functional Programming and Parallel Processing, Selected papers from the Second International Conference on Vector and Parallel Processing, p.429-457, September 25-27, 1996
• 24: Steven Lucco , Oliver Sharp, Delirium: an embedding coordination language, Proceedings of the 1990 conference on Supercomputing, p.515-524, October 1990, New York, New York, United States
• 25: Udi Manber, Introduction to Algorithms: A Creative Approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
• 26: Simon L. Peyton Jones , Chris Clack , John Salkild , Mark Hardie, GRIP—A high-performance architecture for parallel graph reduction, Proc. of a conference on Functional programming languages and computer architecture, p.98-112, October 1987, Portland, Oregon, United States
• 27: S. L. Peyton Jones and J. Hughes. Report on the Programming Language Haskell 98, A Non-strict, Purely Functional Language. Feb. 1999.
• 28: Rinus Plasmeijer , Marko Van Eekelen, Functional Programming and Parallel Graph Rewriting, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993
• 29: S. Roch and P. Starke. Manual: Integrated Net Analyzer Version 2.2. Humboldt-Universität zu Berlin, Institut für Informatik, Lehrstuhl für Automaten- und Systemtheorie, 1999.
• 30: Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
• 31: F. Taylor. Parallel Functional Programming by Partitioning. PhD Thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, Jan. 1997.
• 32: P. W. Trinder , K. Hammond , J. S. Mattson, Jr. , A. S. Partridge , S. L. Peyton Jones, GUM: a portable parallel implementation of Haskell, Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, p.79-88, May 21-24, 1996, Philadelphia, Pennsylvania, United States
• 33: D. J. Whalen, D. E. Hollowell, and J. S. Hendriks. MCNP: Photon Benchmark Problems. Technical Report LA-12196, Los Alamos National Laboratory, 1991.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

General Terms:
Languages

Keywords:
Haskell, coordination, parallel functional programming, parallel software engineering