Retrofitting parallelism onto OCaml
Retrofitting parallelism onto OCaml
复制标题
将并行性改造到 OCaml 上
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Anil Madhavapeddy
中科院分区：
文献类型：
--
作者：
K. Sivaramakrishnan;Stephen Dolan;Leo White;S. Jaffer;T. Kelly;Anmol Sahoo;S. Parimala;Atul Dhiman;Anil Madhavapeddy
OCAML是一种工业强度的多范式编程语言，广泛用于行业和学术界。 OCAML也是为数不多的现代托管系统编程语言之一，缺乏对共享内存并行编程的支持。本文介绍了该设计，是OCAML编程语言多核算扩展的大多数情况下垃圾收集器（GC）的全面实现和评估。鉴于我们建议将并行性添加到广泛使用的编程语言中，并具有数百万个现有代码，我们面临着保持向后兼容性的挑战 - 不仅在语言功能方面，而且还具有与之相关的单线读用代码的性能新的GC。为此，本文介绍了一系列新颖的技术，并证明了新的GC在绩效和功能向后兼容之间取得了平衡的顺序程序，并在现代多层处理器上令人钦佩地缩放。
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCaml programming language. Given that we propose to add parallelism to a widely used programming language with millions of lines of existing code, we face the challenge of maintaining backwards compatibility--not just in terms of the language features but also the performance of single-threaded code running with the new GC. To this end, the paper presents a series of novel techniques and demonstrates that the new GC strikes a balance between performance and feature backwards compatibility for sequential programs and scales admirably on modern multicore processors.
DOI：
10.1145/2737924.2738006
发表时间：
2015-06
期刊：
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Peter Gammie;Antony Hosking;Kai Engelhardt
通讯作者：
Peter Gammie;Antony Hosking;Kai Engelhardt
嵌套并行程序中的解开
DOI：
10.1145/3371115
发表时间：
2020
期刊：
ACM
影响因子：
--
作者：
Westrick, S;Yadav, R;Fluet, M;Acar, U
通讯作者：
Acar, U