标题： 基于守卫的面向对象编程语言同步的有效实现 显示英文标题

标题： An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language

摘要： 在并发的共享变量模型中，受保护的原子操作通过原子执行区域来限制进程之间的潜在干扰。 保护条件指定了进入原子区域的条件。 这是一个方便用于并发程序规范和验证的模型，但迄今为止尚未实现高效执行。 本文展示了当受保护的原子操作与对象绑定时，如何使用协程、操作系统工作者线程以及对象队列和栈的专用管理的组合来实现高效的执行。 实验性语言Lime的效率在合成基准测试中被证明优于C/Pthreads、Go、Erlang、Java和Haskell。 显示英文摘要

摘要： In the shared variable model of concurrency, guarded atomic actions restrict the possible interference between processes by regions of atomic execution. The guard specifies the condition for entering an atomic region. That is a convenient model for the specification and verification of concurrent programs, but has eschewed efficient execution so far. This article shows how guarded atomic actions, when attached to objects, can be implemented highly efficiently using a combination of coroutines, operating-system worker threads, and dedicated management of object queues and stacks. The efficiency of an experimental language, Lime, is shown to compare favourably with that of C/Pthreads, Go, Erlang, Java, and Haskell on synthetic benchmarks.