Title
Implicitly-threaded parallelism in Manticore
Abstract
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional par- allel languages are largely intended for large-scale scientific com- puting and tend not to be well-suited to programming the applica- tions one typically finds on a desktop system. Thus we need new parallel-language designs that address a broader spectrum of appli- cations. In this paper, we present Manticore, a language for building parallel applications on commodity multicore hardware including a diverse collection of parallel constructs for different granularities of work. We focus on the implicitly-threaded parallel constructs in our high-level functional language. We concentrate on those elements that distinguish our design from related ones, namely, a novel paral- lel binding form, a nondeterministic parallel case form, and excep- tions in the presence of data parallelism. These features differenti- ate the present work from related work on functional data parallel language designs, which has focused largely on parallel problems with regular structure and the compiler transformations — most notably, flattening — that make such designs feasible. We describe our implementation strategies and present some detailed examples utilizing various mechanisms of our language.
Year
DOI
Venue
2008
10.1145/1411204.1411224
International Conference on Functional Programming
Keywords
Field
DocType
nondeterministic parallel case form,novel parallel binding form,parallel problem,parallel application,parallel computing,traditional parallel language,implicitly-threaded parallelism,implicitly-threaded parallel construct,data parallelism,parallel language design,par- allel binding,exceptions,parallel construct,high-level functional language,parallel case,parallel computer,multicore processors,functional language,scientific computing,spectrum
Parallel language,Programming language,Implicit parallelism,Computer science,Task parallelism,Parallel algorithm,Parallel computing,Theoretical computer science,Compiler,Data parallelism,High-level programming language,Multi-core processor
Journal
Volume
Issue
ISSN
43
9
0362-1340
Citations 
PageRank 
References 
26
0.95
33
Authors
4
Name
Order
Citations
PageRank
Matthew Fluet129620.32
Mike Rainey218310.69
John H. Reppy389984.36
Adam Shaw4934.77