论文标题
可序列化的htap与中止/无等待快照阅读
Serializable HTAP with Abort-/Wait-free Snapshot Read
论文作者
论文摘要
并发控制(CC)确保更新数据的一致性是OLTP系统的重要元素。最近,为执行OLTP和OLAP开发的混合交易/分析处理(HTAP)系统引起了很多关注。 OLAP侧CC结构域已从OLTP的CC中分离出来,在许多情况下,通过快照隔离(SI)实现了建立HTAP系统。尽管较高的隔离水平是理想的,但是考虑到OLTP计划实现序列化力量的情况下,仅OLAP读取的交易中止/等待,这将是一个潜在的性能问题。此外,HTAP系统需要执行OLAP而不影响OLTP。 这项研究的目的是序列化,而无需其他中断/等待。我们建议使用多元CC(MVCC)理论读取安全快照(RSS),并使用可序列化快照隔离(SSI)介绍RSS构造算法。对于HTAP系统的序列化性,我们的模型利用了Multiversion,并允许使用读取操作的更多时间表,其相应的写操作不参与依赖性周期。此外,我们实际上在提供SSI的开源数据库系统中实现了该算法。我们的算法被整合到两种类型的体系结构中,称为统一(单个节点)或解耦(Multinode)存储体系结构。我们评估了适用SSI的单节点体系结构的性能和流产率。研究了多节点体系结构,以检查应用我们的算法的性能开销。
Concurrency Control (CC) ensuring consistency of updated data is an essential element of OLTP systems. Recently, hybrid transactional/analytical processing (HTAP) systems developed for executing OLTP and OLAP have attracted much attention. The OLAP side CC domain has been isolated from OLTP's CC and in many cases has been achieved by snapshot isolation (SI) to establish HTAP systems. Although higher isolation level is ideal, considering OLAP read-only transactions in the context of OLTP scheduling achieving serializability forces aborts/waits and would be a potential performance problem. Furthermore, executing OLAP without affecting OLTP as much as possible is needed for HTAP systems. The aim of this study was serializability without additional aborts/waits. We propose read safe snapshot (RSS) using multiversion CC (MVCC) theory and introduce the RSS construction algorithm utilizing serializable snapshot isolation (SSI). For serializability of HTAP systems, our model makes use of multiversion and allows more schedules with read operations whose corresponding write operations do not participate in the dependency cycles. Furthermore, we implemented the algorithm practically in an open-source database system that offers SSI. Our algorithm was integrated into two types of architecture as HTAP systems called as unified (single-node) or decoupled (multinode) storage architecture. We evaluate the performance and abort rate of the single-node architecture where SSI is applicable. The multi-node architecture was investigated for examining the performance overhead applying our algorithm.