Abstraction for concurrent objects
Abstraction for concurrent objects
复制标题
并发对象的抽象
DOI：
10.1016/j.tcs.2010.09.021
复制
发表时间：
2010
影响因子：
1.1
通讯作者：
Filipovic I
中科院分区：
文献类型：
--
作者：
Filipovic I
并发数据结构通常被设计为满足正确性条件，如顺序一致性或线性化。在本文中，我们考虑了以下基本问题：这些条件为客户程序提供了什么保证？我们正式证明了这些条件可以用观测精确度来描述。我们的研究还从客户程序计算步骤之间依赖关系的抽象出发，对顺序一致性和线性化有了新的理解。
Concurrent data structures are usually designed to satisfy correctness conditions such as sequential consistency or linearizability. In this paper, we consider the following fundamental question: What guarantees are provided by these conditions for client programs? We formally show that these conditions can be characterized in terms of observational refinement. Our study also provides a new understanding of sequential consistency and linearizability in terms of abstraction of dependency between computation steps of client programs.
登录
查看更多内容
通过 Petri 网对共享数据的并发访问进行建模
DOI：
--
发表时间：
1994
期刊：
Programming Concepts and Methods
影响因子：
--
作者：
N. Francesco;U. Montanari;G. Ristori
通讯作者：
G. Ristori
并行过程的 Pomset 模型：统一时间和空间
DOI：
10.1007/3-540-15670-4_9
发表时间：
1984
期刊：
Log. J. IGPL
影响因子：
--
作者：
V. Pratt
通讯作者：
V. Pratt
影响因子：
1.3
作者：
B. Jonsson;A. Pnueli;C. Rump
通讯作者：
C. Rump
抽象类型具有存在类型
DOI：
--
发表时间：
1985
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
John C. Mitchell;G. Plotkin
通讯作者：
G. Plotkin
惰性缓存
DOI：
--
发表时间：
1993
期刊：
TOPL
影响因子：
--
作者：
Y. Afek;Geoffrey M. Brown;Michael Merritt
通讯作者：
Michael Merritt