Harnessing the multicores: Nested data parallelism in Haskell

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 2, Issue , 2008, Pages 383-414

  Jones, Simon Peyton ^a   Leshchinskiy, Roman ^b   Keller, Gabriele ^b   Chakravarty, Manuel M T ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Haskell; Nested data parallelism; Program transformation; Vectorisation

Indexed keywords

FLEXIBLE PROGRAMMING MODEL; GENERAL-PURPOSE LANGUAGES; HASKELL; IMPERATIVE LANGUAGES; NESTED DATA PARALLELISMS; PROGRAM TRANSFORMATIONS; SCALABLE PERFORMANCE; VECTORISATION;

FUNCTIONAL PROGRAMMING; METADATA; SOFTWARE ENGINEERING;

PARALLEL PROCESSING SYSTEMS;

EID: 84880234733     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. A. W. Appel and T. Jim. Continuation-passing, closure-passing style. In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 293-302, New York, NY, USA, 1989. ACM Press.
2. Guy E. Blelloch, Siddhartha Chatterjee, Jonathan C. Hardwick, Jay Sipelstein, and Marco Zagha. Implementation of a portable nested data-parallel language. Journal of Parallel and Distributed Computing, 21(1): 4-14, April 1994.
3. J. Barnes and P. Hut. A hierarchical O(n log n) force calculation algorithm. Nature, 324, December 1986.
4. Guy E. Blelloch. Vector Models for Data-Parallel Computing. The MIT Press, 1990.
5. Guy E. Blelloch. Programming parallel algorithms. Communications of the ACM, 39(3): 85-97, 1996.
6. Guy E. Blelloch and Gary W. Sabot. Compiling collection-oriented languages onto massively parallel computers. Journal of Parallel and Distributed Computing, 8: 119-134, 1990.
7. Manuel M. T. Chakravarty and Gabriele Keller. More types for nested data parallel programming. In Philip Wadler, editor, Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), pages 94-105. ACM Press, 2000.
8. Manuel M. T. Chakravarty and Gabriele Keller. An approach to fast arrays in haskell. In Johan Jeuring and Simon Peyton Jones, editors, Lecture notes for The Summer School and Workshop on Advanced Functional Programming 2002, number 2638 in Lecture Notes in Computer Science, 2003.
9. Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow. Associated types with class. In ACM Symposium on Principles of Programming Languages (POPL'05). ACM Press, 2005.
10. Manuel MT Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, and Gabriele Keller. Partial vectorisation of Haskell programs. In Proc ACM Workshop on Declarative Aspects of Multicore Programming, San Francisco, January 2008. ACM Press.
11. Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow. Data Parallel Haskell: a status report. In DAMP 2007: Workshop on Declarative Aspects of Multicore Programming. ACM Press, 2007.
12. Duncan Coutts, Roman Leshchinskiy, and Don Stewart. Stream fusion: From lists to streams to nothing at all. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, April 2007.
13. Duncan Coutts, Don Stewart, and Roman Leshchinskiy. Rewriting haskell strings. In Practical Aspects of Declarative Languages 8th International Symposium, PADL 2007, pages 50-64. Springer-Verlag, January 2007.
14. Frederica Darema. The spmd model: Past, present and future. In Recent Advances in Parallel Virtual Machine and Message Passing Interface, Volume 2131 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
15. Jeffrey Dean and Sanjay Ghemawat. MapReduce: simplified data processing on large clusters. In Sixth Symposium on Operating System Design and Implementation (OSDI'04), San Francisco, December 2004.
16. M. Fluet, N. Ford, M. Rainey, J. Reppy, A. Shaw, and Y. Xiao. Status report: The manticore project. In 2007 ACM SIGPLAN Workshop on ML. ACM Press, 2007.
17. High Performance Fortran Forum. High performance fortran language specification version 2.0. Technical report, Rice University, 1997.
18. M. Fluet, M. Rainey, J. Reppy, and A. Shaw. Implicitly-threaded parallelism in manticore. In Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08). ACM Press, 2008.
19. William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing Lusk, Bill Nitzberg, William Saphir, and Marc Snir. MPI: The Complete Reference (Vol. 2). The MIT Press, 1998.
20. Simon Peyton Jones and Philip Wadler. Comprehensive comprehensions: comprehensions with order by and group by. In Haskell Workshop 2007, pages 61-72, Frieburg, Germany, September 2007.
21. Gabriele Keller and Manuel M. T. Chakravarty. Flattening trees. In David Pritchard and Jeff Reeve, editors, Euro-Par'98, Parallel Processing, number 1470 in Lecture Notes in Computer Science, pages 709-719, Berlin, 1998. SpringerVerlag.
22. Gabriele Keller and Manuel M. T. Chakravarty. On the distributed implementation of aggregate data structures by program transformation. In José Rolim et al., editors, Parallel and Distributed Processing, Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'99), number 1586 in LNCS, pages 108-122, Berlin, Germany, 1999. Springer-Verlag.
23. Roman Leshchinskiy, Manuel M. T. Chakravarty, and Gabriele Keller. Higher order flattening. In Third International Workshop on Practical Aspects of Highlevel Parallel Programming (PAPP 2006), number 3992 in LNCS. Springer-Verlag, 2006.
24. P. Mills, L. Nyland, J. Prins, and J. Reif. Software issues in high-performance computing and a framework for the development of hpc applications. In Computer Science Agendas for High Perfromance Computing. ACM Press, 1994.
25. NVIDIA. NVIDIA CUDA Compute Unified Device Architecture, Programming Guide, Version 1.1, 2007. http://developer.download.nvidia.com/compute/cuda/1-1/ NVIDIA-CUDA-Programming-Guide-1.1.pdf.
26. Jan F. Prins, S. Chatterjee, and M. Simons. Irregular computations in Fortran - expression and implementation strategies. Scientific Programming, 7: 313-326, 1999.
27. SL Peyton Jones. Compilation by transformation: a report from the trenches. In European Symposium on Programming, Volume 1058 of LNCS, pages 18-44. Springer Verlag, 1996.
28. SL Peyton Jones and J Launchbury. Unboxed values as first class citizens. In RJM Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), Volume 523 of Lecture Notes in Computer Science, pages 636-666, Boston, 1991. Springer.
29. SL Peyton Jones and S Marlow. Secrets of the Glasgow Haskell Compiler in-liner. Journal of Functional Programming, 12: 393-434, 2002. First published at Workshop on Implementing Declarative Languages, Paris, Sept 1999.
30. Jan Prins and Daniel Palmer. Transforming high-level data-parallel programs into vector operations. In Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 119-128, San Diego, CA., May 19-22, 1993. ACM Press.
31. Daniel Palmer, Jan Prins, and Stephan Westfold. Work-efficient nested data-parallelism. In Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Processing (Frontiers 95). IEEE Press, 1995.
32. Simon L. Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: rewriting as a practical optimisation technique in GHC. In Ralf Hinze, editor, 2001 Haskell Workshop. ACM SIGPLAN, September 2001.
33. Martin Sulzmann, Manuel Chakravarty, Simon Peyton Jones, and Kevin Donnelly. System F with type equality coercions. In ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI'07). ACM, 2007.
34. Byoungro So, Anwar Ghuloum, and Youfeng Wu. Optimizing data parallel operations on many-core platforms. In First Workshop on Software Tools for Multi-Core Systems (STMCS), 2006. http://www.isi.edu/~kintali/stmcs06/prog.html.
35. Satnam Singh and Simon Peyton Jones. A Tutorial on Parallel and Concurrent Programming in Haskell. Lecture Notes in Computer Science. Springer Verlag, Nijmegen, Holland, May 2008.