Implicitly threaded parallelism in Manticore
- 27 January 2010
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 20 (5-6), 537-576
- https://doi.org/10.1017/s0956796810000201
Abstract
The increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism accessible and understandable. Previous parallel languages have traditionally been intended for large-scale scientific computing, and they tend not to be well suited to programming the applications one typically finds on a desktop system. Thus, we need new parallel-language designs that address a broader spectrum of applications. The Manticore project is our effort to address this need. At its core is Parallel ML, a high-level functional language for programming parallel applications on commodity multicore hardware. Parallel ML provides a diverse collection of parallel constructs for different granularities of work. In this paper, we focus on the implicitly threaded parallel constructs of the language, which support fine-grained parallelism. We concentrate on those elements that distinguish our design from related ones, namely, a novel parallel binding form, a nondeterministic parallel case form, and the treatment of exceptions in the presence of data parallelism. These features differentiate the present work from related work on functional data-parallel language designs, which have focused largely on parallel problems with regular structure and the compiler transformations—most notably, flattening—that make such designs feasible. We present detailed examples utilizing various mechanisms of the language and give a formal description of our implementation.Keywords
This publication has 36 references indexed in Scilit:
- Programming with exceptions in JCilkScience of Computer Programming, 2006
- AcceleratorACM SIGOPS Operating Systems Review, 2006
- Brook for GPUsACM Transactions on Graphics, 2004
- First-class monadic schedulesACM Transactions on Programming Languages and Systems, 2004
- Scheduling multithreaded computations by work stealingJournal of the ACM, 1999
- An abstract interpretation for estimating uncaught exceptions in Standard ML programsScience of Computer Programming, 1998
- Algorithm + strategy = parallelismJournal of Functional Programming, 1998
- Programming parallel algorithmsCommunications of the ACM, 1996
- Ropes: An alternative to stringsSoftware: Practice and Experience, 1995
- MULTILISP: a language for concurrent symbolic computationACM Transactions on Programming Languages and Systems, 1985