A parallel SML compiler based on algorithmic skeletons

Journal of Functional Programming

Volumn 15, Issue 4, 2005, Pages 615-650

  Scaife, Norman ^a   Horiguchi, Susumi ^a   Michaelson, Greg ^b   Bristow, Paul ^b  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC SKELETON; COMPUTATIONAL LOADS; DESIGN AND IMPLEMENTATIONS; FUNCTIONAL LANGUAGES; HIGHER ORDER FUNCTIONS; PARALLEL PERFORMANCE; PARALLEL SKELETONS; TARGET ARCHITECTURES;

ALGORITHMS; COMPUTER OPERATING SYSTEMS; MUSCULOSKELETAL SYSTEM; PROGRAM COMPILERS; REUSABILITY;

PARALLEL PROCESSING SYSTEMS;

EID: 23644447208     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796804005489     Document Type: Review

References (45)

1. Bacci, B., Danelutto, M., Orlando, S., Pelagatti, S. and Vanneschi, M. (1995) P(3)L - A Structured High-level Parallel Language and its Structured Support. Concurrency: Practice & Exper. 7(3), 225-255.
2. Backus, J. (1978) Can Programming be Liberated from the Von Neumann style? A Functional Style and its Algebra of Programs. Comm. ACM, 21(8), 613-641.
3. Bailey, P. and Newey, M. (1993) Implementing ML for Distributed Memory Multiprocessors. ACM SIGPLAN Notices, 28(1), 59-63.
4. Beazley, D. M., Lomdahl, P. S., Gronbech-Jensen, N., Giles, R. and Tamayo, P. (1995) Parallel Algorithms for Short-range Molecular Dynamics. Ann. Rev. Computational Phys. 3, 119-175.
5. Bell, J. M., Bellegarde, F. and Hook, J. (1997) Type-driven defunctionalization. Proceedings ACM SIGPLAN ICFP'97, pp. 25-37. ACM.
6. Bird, R. and de Moor, O. (1997) Algebra of Programming. Prentice-Hall.
7. Birkedal, L., Rothwell, N., Tofte, M. and Turner, D. N. (1993) The ML Kit (Version 1). Technical report 93/14, Department of Computer Science, University of Copenhagen.
8. Bratvold, T. (1994) Skeleton-based Parallelisation of Functional Programmes. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University.
9. Chailloux, E., Manoury, P. and Pagano, B. (2000) Développement d'applications avec Objective Caml. Paris: O'Reilly.
10. Chin, W.-N. and Darlington, J. (1996) A Higher-Order Removal Method. Lisp & Symbolic Computation, 9(4), 287-322.
11. Choi, J., Demmel, J., Dhillon, I., Dongarra, J., Ostrouchov, S., Petitet, A., Stanley, K., Walker, D. and Whaley, R. (1996) Scala-pack: A portable linear algebra library for distributed memory computers - design issues and performance: LNCS 1041, pp. 95-106. Springer.
12. Cole, M. I. (1989) Algorithmic Skeletons: Structured management of parallel computation. Pitman.
13. Cook, A., Ireland, A. and Michaelson, G. (2001) Higher-order Function Synthesis through Proof Planning. Proceedings of 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 307-310. San Diego, USA: IEEE Computer Society.
14. Coudarcher, R., Serot, J. and Derutin, J.-P. (2001) Implementation of a Skeleton-based Parallel Programming Environment Supporting Arbitrary Nesting. In: Meuller, F. (ed), High-Level Parallel Programming Models and Supportive Environments: LNCS 2026. Springer.
15. Darlington, J., Guo, Y.-K. and To, H. W. (1996) Structured Parallel Programming: Theory meets Practice. In: Wand, I. and Milner, R. (eds.), Computing Tomorrow: Future Research Directions in Computer Science, pp. 49-65. CUP.
16. Gentleman, W. M. (1978) Some Complexity Results for Matrix Computations on Parallel Processors. J. ACM, 25, 112-115.
17. Golub, G. H. and van Loan, C. F. (1989) Matrix Computations. Johns Hopkins University Press.
18. Hamdan, M. (2000) A Combinational Framework for Parallel Programming Using Algorithmic Skeletons. PhD thesis, Department of Computing and Electrical Engineering, Heriot-Watt University.
19. Hammond, K. and Michaelson, G. (1999) Research Directions in Parallel Functional Programming. Springer.
20. Hayashi, R. and Horiguchi, S. (1997) Domain Decomposition Scheme for Parallel Molecular Dynamics Simulation. Proc. of High Performance Computing Asia '97, pp. 595-600. IEEE CS Press.
21. Heermann, D. D. (1990) Computer Simulation Methods in Theoretical Physics. 2nd edition edn. Springer, Tokyo.
22. Herrmann, C. A. and Lengauer, C. (2000) The HDC Compiler Project. In: Darte, A., Silber, G.-A. and Robert, Y. (eds.), Proc. Eighth Int. Workshop on Compilers for Parallel Computers (CPC 2000), pp. 239-254. LIP, ENS Lyon.
23. Johnsson, T. (1985) Lambda lifting: Transforming programs to recursive equations. In: Jouannaud, J.-P. (ed), Functional Programming Languages and Computer Architecture: LNCS 201, pp. 190-302. Springer.
24. Kalé, L. V., Bhandarkar, M. and Brunner, R. (1998) Load Balancing in Parallel Molecular Dynamics. Fifth International Symposium on Solving Irregularly Structured Problems in Parallel: LNCS 1457. Springer-Verlag.
25. Kesseler, M. (1995) Constructing Skeletons in Clean The Bare Bones. In: Wim Böhm, A. P. and Feo, J. T. (eds.), High Performance Functional Computing, pp. 182-192.
26. Klusik, U., Loogen, R., Priebe, S. and Rubio, F. (2000) Implementation Skeletons in Eden: Low-Effort Parallel Programming. 12th Int. Workshop on Implementation of Functional Languages (IFL 2000): LNCS. Springer.
27. Loidl, H.-W., Trinder, P. W., Hammond, K., Junaidu, S. B., Morgan, R. G. and Peyton Jones, S. L. (1999) Engineering Parallel Symbolic Programs in GPH. Concurrency - Practice & Exper. 11, 701-752.
28. Loidl, H-W., Rubio, F., Scaife, N., Hammond, K., Horiguchi, S., Klusik, U., Loogen, R., Michaelson, G. J., Peña, R., Portillo, Á. J. Rebón, Priebe, S. and Trinder, P. W. (2003) Comparing Parallel Functional Languages: Programming and Performance. Higher-order and Symbolic Computation, 16(3). To Appear.
29. McColl, W. F. (1993) General Purpose Parallel Computing. In: Gibbons, A. M. and Spirakis, P. (eds.), Lectures on parallel computation. proc. 1991 ALCOM spring school on parallel computation, pp. 337-391. Cambridge University Press.
30. Message Passing Interface Forum (1994) MPI: A Message-Passing Interface Standard. Int. J. Supercomputer Applic. & High Perf. Comput. 8(3/4).
31. Michaelson, G. and Scaife, N. (2000) Parallel Functional Island Model Genetic Algorithms through Nested Skeletons. In: Mohnen, M. and Koopman, P. (eds.), Proceedings of 12th International Workshop on the Implementation of Functional Languages, pp. 307-313.
32. Michaelson, G., Ireland, A. and King, P. (1997) Towards a Skeleton Based Parallelising Compiler for SML. In: Clack, C., Davie, T. and Hammond, K. (eds.), Proceedings of 9th International Workshop on Implementation of Functional Languages, pp. 539-546.
33. Michaelson, G., Scaife, N., Bristow, P. and King, P. (2001) Nested Algorithmic Skeletons from Higher-Order Functions. Parallel Algorithms and Applications (special issue on High Level Models and Languages for Parallel Processing) 16(2-3), 181-206.
34. Milner, R., Tofte, M. and Harper, R. (1990) The Definition of Standard ML. MIT Press.
35. Pelegatti, S. (1998) Structured Development of Parallel Programs. Taylor & Francis.
36. Pierce, B. C. and Turner, D. N. (2000) Pict: A Programming Language Based on the Pi-Calculus. In: Plotkin, G., Stirling, C. and Tofte, M. (eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press.
37. Reynolds, J. C. (1972) Definitional Interpreters for Higher-order Programming Languages. ACM National Conference, pp. 717-740.
38. Scaife, N., Bristow, P., Michaelson, G. and King, P. (1998) Engineering a Parallel Compiler for SML. In: Clack, C., Davie, T. and Hammond, K. (eds.), Proceedings of 10th International Workshop on Implementation of Functional Languages, pp. 213-226.
39. Scaife, N., Michaelson, G. and Horiguchi, S. (2002a) 13th International Workshop, Implementation of Functional Languages: LNCS 2312, pp. 138-154. Springer.
40. Scaife, N., Hayashi, R. and Horiguchi, S. (2002b) Parallel Molecular Dynamics in a Parallelizing SML Compiler. The Third International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), pp. 447-454.
41. Serot, J. (1999) Explicit Parallelism. In: Hammond, K. and Michaelson, G. (eds.), Research Directions in Parallel Functional Programming, pp. 379-396. Springer.
42. Serot, J. (2001) Tagged-token Data-flow for Skeletons. HLPP 2001: International Workshop on High-Level Parallel Programming and Applications. Parallel Processing Letters. World Scientific Publishing.
43. Skillicorn, D. B. and Talia, D. (1998) Models and Languages for Parallel Computation. Computing Surveys, June.
44. Surry, P. (1993) RPL2 Functional Specification. Technical report EPCC-PAP-RPL2-FS 1.0, University of Edinburgh/British Gas.
45. Trinder, P. W., Hammond, K., Loidl, H.-W. and Peyton-Jones, S. L. (1998) Algorithm + Strategy = Parallelism. J. Funct. Program. 8(1), 23-60.