Transactional memory with data invariants
Transactional memory with data invariants
复制标题
具有数据不变量的事务内存
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
S. Jones
中科院分区：
文献类型：
--
作者：
T. Harris;S. Jones
本文介绍了一种机制，用于断言由使用原子内存事务的程序维护的不变量。这个想法很简单：程序员写检查E，其中E是应该由程序执行的剩余部分的每个原子更新保留的表达式。我们扩展了STM Haskell，使其可以用用户的更新动态地评估检查语句：结果是我们可以精确地识别哪个更新是第一个破坏不变式的更新。
This paper introduces a mechanism for asserting invariants that are maintained by a program that uses atomic memory transactions. The idea is simple: a programmer writes check E where E is an expression that should be preserved by every atomic update for the remainder of the program’s execution. We have extended STM Haskell to dynamically evaluate check statements atomically with the user’s updates: the result is that we can identify precisely which update is the first one to break an invariant.