并行并发ML

并发ML（CML）是一种高级消息传递语言，支持构建称为事件的一级同步抽象。多年来，这一机制已被证明相当有效，并已被纳入许多其他语言。虽然CML提供了并发编程模型，但它的实现一直局限于单处理器。在实现作为事件机制基础的同步协议时利用了这一限制，但随着台式机（和笔记本电脑）上廉价并行处理的出现，现在是使用并行CML的时候了。

Java和Haskell存在类似CML的原语的并行实现，但构建在不太可能执行良好的高级同步构造上。本文提出了一种新颖的CML并行实现，该实现利用了一种专门构建的乐观并发协议，该协议旨在共享内存多处理器上实现正确性和性能。这项工作扩展并完成了一个早期的协议，该协议只支持CML的一个严格子集，并在输入时进行同步，但不支持输出事件。我们的主要贡献是协议的一个经过模型检查的参考实现和两个具体实现。本文重点介绍了Manticore的功能性、基于连续性的实现，但简要讨论了一个用C#编写并在Microsoft的库存并行运行时上运行的独立、基于线程的实现。虽然在细节上差别很大，但两者都源自同一设计。对Manticore实现的实验评估显示了良好的性能，消除了多处理器同步的额外开销。