Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
复制标题
检查并发类型状态和复数访问权限：回顾
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Jonathan Aldrich
中科院分区：
文献类型：
--
作者：
K. Bierhoff;Nels E. Beckman;Jonathan Aldrich
对象通常定义客户端必须遵循的使用协议，以便这些对象正常工作。然而，在存在别名的情况下，很难检查对象的所有别名是否正确地协调以实施协议。Plural是一个基于类型的系统，即使在并发程序中也可以很好地执行具有挑战性的协议。在本文中，我们将讨论Plural如何支持自然习惯用法来推理程序，利用访问权限来表达程序员在代码中的设计意图。我们追溯了Plural中使用的设计意图习惯用法的前辈，讨论了我们如何发现不同形式的设计意图是互补的，并概述了该领域未来工作的挑战和方向。
Objects often define usage protocols that clients must follow in order for these objects to work properly. In the presence of aliasing, however, it is difficult to check whether all the aliases of an object properly coordinate to enforce the protocol. Plural is a type-based system that can soundly enforce challenging protocols even in concurrent programs. In this paper, we discuss how Plural supports natural idioms for reasoning about programs, leveraging access permissions that express the programmer’s design intent within the code. We trace the predecessors of the design intent idioms used in Plural, discuss how we have found different forms of design intent to be complimentary, and outline remaining challenges and directions for future work in the area.