Implicitly threaded parallelism in Manticore

DOI10.1017/S0956796810000201MaRDI QIDQ3021411zbMATH OpenFDO

Authors Matthew T. Fluet, Mike Rainey, John Reppy, Adam Shaw

Publication date 25 July 2011

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796810000201

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• Parallel concurrent ML
• Runtime support for multicore Haskell
• A parallel SML compiler based on algorithmic skeletons
• Harnessing the multicores: nested data parallelism in Haskell
• An assessment of Multilisp: Lessons from experience

Cites work

• A provable time and space efficient implementation of NESL
• Algorithm + strategy = parallelism
• An abstract interpretation for estimating uncaught exceptions in Standard ML programs
• Lazy tree splitting
• More types for nested data parallel programming
• MULTILISP: a language for concurrent symbolic computation
• Parallel concurrent ML
• Programming with exceptions in JCilk
• Scheduling multithreaded computations by work stealing

Cited in

(5)

• scientific article; zbMATH DE number 1691454 (Why is no real title available?)
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• Composable scheduler activations for Haskell
• Oracle-guided scheduling for controlling granularity in implicitly parallel languages
• Send to me first: Priority in synchronous message-passing

Describes a project that uses

Uses Software

• ML
• Erlang
• Cilk

This page was built for publication: Implicitly threaded parallelism in Manticore

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021411)