MultiMLton: A multicore-aware runtime for standard ML

• Published in: Journal of functional programming Vol. 24; no. 6; pp. 613 - 674
• Main Authors: SIVARAMAKRISHNAN, K. C., ZIAREK, LUKASZ, JAGANNATHAN, SURESH
• Format: Journal Article
• Language: English
• Published: Cambridge, UK Cambridge University Press 01.11.2014
• Subjects: Accumulators; Barriers; Collectors; Concurrency; Decisions; Design engineering; Lightweight; Run time (computers); Weight reduction
• ISSN: 0956-7968; 1469-7653
• DOI: 10.1017/S0956796814000161

MultiMLton is an extension of the MLton compiler and runtime system that targets scalable, multicore architectures. It provides specific support for ACML, a derivative of Concurrent ML that allows for the construction of composable asynchronous events. To effectively manage asynchrony, we require the runtime to efficiently handle potentially large numbers of lightweight, short-lived threads, many of which are created specifically to deal with the implicit concurrency introduced by asynchronous events. Scalability demands also dictate that the runtime minimize global coordination. MultiMLton therefore implements a split-heap memory manager that allows mutators and collectors running on different cores to operate mostly independently. More significantly, MultiMLton exploits the premise that there is a surfeit of available concurrency in ACML programs to realize a new collector design that completely eliminates the need for read barriers, a source of significant overhead in other managed runtimes. These two symbiotic features - a thread design specifically tailored to support asynchronous communication, and a memory manager that exploits lightweight concurrency to greatly reduce barrier overheads - are MultiMLton's key novelties. In this article, we describe the rationale, design, and implementation of these features, and provide experimental results over a range of parallel benchmarks and different multicore architectures including an 864 core Azul Vega 3, and a 48 core non-coherent Intel SCC (Single-Cloud Computer), that justify our design decisions.