高效合理的面向对象并发
Efficient and Reasonable Object-Oriented Concurrency
摘要：
使线程程序安全且易于推理是现代编程的主要困难之一。这项工作提供了一个有效的执行模型SCOOP，并发的方法，不仅提供数据竞争的自由，但也前/后条件推理线程之间的保证。我们提出的扩展影响了底层语义，以增加可能的并发执行量，排除某些类别的死锁，并实现更高的性能。这些扩展被用作高效运行时和优化的基础，其性能比基线实现提高了15倍。SCOOP的这种新实现也比其他知名的安全并发语言快2倍。测量基于协调密集型和数据操作密集型基准，旨在提供混合工作负载。
英文摘要：
Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data race freedom but also pre/postcondition reasoning guarantees between threads. The extensions we propose influence both the underlying semantics to increase the amount of concurrent execution that is possible, exclude certain classes of deadlocks, and enable greater performance. These extensions are used as the basis an efficient runtime and optimization pass that improve performance 15x over a baseline implementation. This new implementation of SCOOP is also 2x faster than other well-known safe concurrent languages. The measurements are based on both coordination-intensive and data-manipulation-intensive benchmarks designed to offer a mixture of workloads.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
