内容简介:MVCC天生是属于SI隔离级别的。SI表示每个事务开始的时候看到的是一个独立的snapshot,在提交的时候如果write未冲突即成功。在SI下会有write skew的异常情况。write skew可以用白球黑球的例子来说明。比如说现在有一堆球,一半是黑的,一半是白的。现在执行两个事务txn1,txn2。如果是SERIALIZABLE隔离级别的,那就相当于事务顺序执行, 最后的结果肯定是全黑或者全白。但如果是SI,两个事务都看到相同的snapshot,并在这基础上修改,就很有可能出现还是一半黑一半白的情况
MVCC天生是属于SI隔离级别的。SI表示每个事务开始的时候看到的是一个独立的snapshot,在提交的时候如果write未冲突即成功。在SI下会有write skew的异常情况。
write skew可以用白球黑球的例子来说明。比如说现在有一堆球,一半是黑的,一半是白的。现在执行两个事务txn1,txn2。
- txn1把黑球变成白球
- txn2把白球变成黑球
如果是SERIALIZABLE隔离级别的,那就相当于事务顺序执行, 最后的结果肯定是全黑或者全白。但如果是SI,两个事务都看到相同的snapshot,并在这基础上修改,就很有可能出现还是一半黑一半白的情况。
只要在range scan的情况下会出现write skew, point update不会有这种情况。
Multi-version Concurrency Control (MVCC)
MVCC是目前最流行事务并发管理的方式。根据字面含义,DBMS会创建多个物理的tuple版本,根据事务版本选择对应的tuple版本返回给当前的事务。MVCC有很多优势,如下。
-
writer do not block reader.
需要注意的是,MVCC并不意味只不上锁。比如一个事务t1在写某一个tuple A1,会先对A1上锁,然后生成A2。这个时候假如事务t2要读A1是不行的,只能读A1之前的版本,因为此时t1还没有提交。所以这里的读写互不阻塞指的是事务级别的,写事务不阻塞读事务,不必像2PL那样等到别的事务提交之后才能拿到锁继续执行。
-
Read-only transactions can read a consistent snapshot without acquiring locks.
consistent指的是所有已提交的事务所做的修改。
-
Easily support time-travel queries.
很容易追溯过去的版本
一般MVCC的单个tuple含有txn-id(tid), begin-ts, end-ts, pointer这几个字段,不同算法会略有不同。
MVCC涉及到很多数据库设计方式。比如MVCC需要和别的Concurrency Control ptotocol搭配使用,例如T/O, OCC, 2PL等 。主要有四个关键的设计决策。
- Concurrency Control ptotocol
- Version Storage
- Garbage Collection
- Index Management
另外这篇文章不考虑range scan,没有phantoms,所以下面描述的算法都是serializable isolation。该文主要讨论的是in-memory database, 和disk-based DBMS有很多区别,比如write-lock 是直接内嵌在tuple上的,当有事务修改tuple时,会将该tuple的txn-id设置为事务的tid,相当于上了锁,事务提交后将txn-id设为0。
下面是一张论文对现有数据库设计的调研结果。
Concurrency Control ptotocol
-
Timestamp Ordering(MVTO)
MVTO使用tid来预先定义事务执行的顺序。tuple中额外增加一个read-ts字段,用来保存最后事务读取该tuple的tid。
- read需要检查当前事务的tid是否落在begin-ts和end-ts之间,并且该tuple没有被别的事务锁定,即txn-id=0或等于tid。如果可以读的话,将read-ts设置为tid。
- write需要检查该tuple没有被其他事务锁定,并且tid大于当前tuple的read-ts。如果满足条件则创建新的tuple。
-
Optimistic Concurrency Control(MVOCC)
OCC在事务执行时不做检查。在事务提交的时候,进入Validation Phase之后,会分配一个timestamp,根据这个时间戳判断事务的先后顺序,如不符合则abort。OCC是假设事务冲突的次数会比较少。MVOCC和原始的OCC不同的是,不再维护私有的工作空间,而是生成真正的物理上tuple。具体OCC的算法可以看上一篇博客occ。
对长事务最后又abort的这种情况不友好。
-
Two-phase Locking(MV2PL)
事务需要在对tuple执行操作之前获取锁。write-lock就还是之前txn-id,read-lock额外增加一个字段read-cnt,代表当前读取该tuple的数量。
- read也是需要根据tid找到一个落在begin-ts和end-ts直接的tuple版本,如果该tuple的txn-id为0的话(其他事务没有获取这个tuple的互斥锁), 则递增read-cnt
- write只有在read-cnt和txn-id都为0的情况下,才能创建新的tuple版本。
和常规2PL一样,关键在于如何处理死锁。
Version Storage
MVCC利用pointer将所有版本的tuple串成一个链表管理。索引总是指向链表表头。
-
Append-only Storage
所有版本的tuple存在同一个表上。每次write的时候,往同一个表的empty slot中添加。这种方式的区别在于链表链接的顺序。
-
Oldest-to-Newest(O2N)
head指向oldest tuple,每次查找都需要从旧往新搜索一遍整个链表。
-
Newest-to-Oldest(N2O)
head指向newest tuple。插入tuple的时候,需要更新index的指向,但是不需要搜索整个链表。可以让index指向一个逻辑的间接节点,避免频繁更新index。
更适合分析性查询和大块的遍历,因为大部分tuple都连在一起。
-
-
Time-Travel Storage
和Append-only的区别就是将older tuple存到不同的表上。
- 每次更新的时候,copy当前版本的tuple到time-travel table上
- 然后修改main table中的master version为最新的内容,并更新指针指向旧的tuple
-
Delta Storage
这种方式和TIme-Travel的不同在于,每次copy的时候,仅仅copy被修改了的字段。如果需要旧的版本,DBMS需要遍历链表重建tuple。适合write-intensive的workloads,对read-intensive的事务不友好。
Garbage Collection
DBMS需要定期清理无用的tuple来提高查询效率和节省空间。满足以下两个条件,则这个版本的tuple可以被清理。
- 当前所有在运行的事务都看不到这个版本的tuple。
- 这个tuple是由被abort的事务创造的
GC可以分成两种力度
-
Tuple Level
-
Background Vacuuming(VAC)
开一个额外的线程,搜索所有tuple,找出无效的tuple。这种方式最常见,比较容易。也可以用bitmap来优化,追踪那些dirty block,所以vacuum线程就不需要查找所有的block。
-
Cooperative Cleaning(COOP)
不开额外的线程。在正常事务执行过程中,遍历tuple链表的时候,同时也判断tuple是否过期,只对O2N有效。这种方式可能会带来额外消耗和漏网之鱼,一般还是会再定期开个线程遍历全表检查一下。
-
-
Transaction Level
用这种方式事务需要自己管理它们旧版本的tuple,由DBMS来决定已经结束的事务所产生的tuple是无效的(no longer visible to other txns)。
Index Management
主键索引当然永远指向version chain的head。关键在于secondary index的设计。secondary index的叶子节点的value可以指向一个间接的逻辑节点,也可以直接指向tuple的地址。
-
Logical Pointer
这种方式不需要经常修改index,因为它的指向永远是固定。比如说指向主键,但是需要再用主键通过primary index找到对应的tuple,这是额外的消耗。或者指向tupleid,另外维护一个数据结构将tupleid对应到物理的tuple地址。适合write-intensive。
-
Physical Pointer
直接指向物理的tuple地址。不需要再搜索一次,但需要频繁变更index。适合read-intensive。
Conclusion
最后论文里测出来的结果Version Storage的格式对数据库性能有很大的影响,而不是传统认为的concurrency control protocols。而concurrency control protocols中,MVTO的效果最均衡,但是生产环境中居然没有数据库用这种算法。GC算法表现最好的是transaction-level GC。索引管理方面,logical pointer总是表现的更好。具体的workloads和测试方法可以看论文。
Reference
[1] An Empirical Evaluation of In-Memory Multi-Version Concurrency Control. VLDB ‘17
以上所述就是小编给大家介绍的《论文笔记 [VLDB '17] An Empirical Evaluation of In-Memory Multi-Version Concurrency Control》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!
猜你喜欢:- Raft论文阅读笔记
- MapReduce 论文和实验笔记
- MCN 搭配评价模型论文笔记
- 论文笔记:LSTM: A Search Space Odyssey
- 论文笔记:Visualization Analysis for Recurrent Networks
- 论文笔记 [SOSP '03] The Google File System
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
《裂变:秒懂人工智能的基础课》
王天一 / 电子工业出版社·博文视点 / 2018-6-13 / 59.00元
人工智能是指通过普通计算机程序实现的人类智能技术,这一学科不仅具有非凡的科学意义,对人类自身生存方式的影响也在不断加深。本书作为人工智能领域的入门读物,内容围绕人工智能的核心框架展开,具体包括数学基础知识、机器学习算法、人工神经网络原理、深度学习方法与实例、深度学习之外的人工智能和实践应用场景等模块。本书力图为人工智能初学者提供关于这一领域的全面认识,也为进一步的深入研究建立坚实的基础。一起来看看 《《裂变:秒懂人工智能的基础课》》 这本书的介绍吧!