Reenactment for Read-Committed Snapshot Isolation
Reenactment for Read-Committed Snapshot Isolation
复制标题
重新制定已提交读快照隔离
DOI：
10.1145/2983323.2983825
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Boris Glavic
中科院分区：
文献类型：
--
作者：
B. Arab;D. Gawlick;Vasudha Krishnaswamy;Venkatesh Radhakrishnan;Boris Glavic
事务性更新的来源对于许多应用程序（如事务的审计和调试）至关重要。最近，我们引入了MV-半环，半环起源模型的扩展，支持更新和事务。此外，我们提出了重演，声明形式的重播与出处捕获，作为一种有效的和非侵入性的方法来计算这种类型的出处。然而，这种方法仅限于快照隔离（SI）并发控制协议，而许多真实的应用程序应用快照隔离的读提交版本（RC-SI）以牺牲一致性来提高性能。我们提出了非平凡的扩展模型和重演的方法，能够有效地计算RC-SI交易的起源。此外，我们开发的技术应用于跨多个RC-SI交易的重演。我们的实验表明，我们的实现在GProM系统支持有效的重建和查询的出处。
Provenance for transactional updates is critical for many applications such as auditing and debugging of transactions. Recently, we have introduced MV-semirings, an extension of the semiring provenance model that supports updates and transactions. Furthermore, we have proposed reenactment, a declarative form of replay with provenance capture, as an efficient and non-invasive method for computing this type of provenance. However, this approach is limited to the snapshot isolation (SI) concurrency control protocol while many real world applications apply the read committed version of snapshot isolation (RC-SI) to improve performance at the cost of consistency. We present non trivial extensions of the model and reenactment approach to be able to compute provenance of RC-SI transactions efficiently. In addition, we develop techniques for applying reenactment across multiple RC-SI transactions. Our experiments demonstrate that our implementation in the GProM system supports efficient re-construction and querying of provenance.