mvcc论文 http://www.cs.cmu.edu/~pavlo/papers/p781-wu.pdf
zhihu相关内容: https://zhuanlan.zhihu.com/p/45734268
mvcc是什么?
mvcc是多版本并发控制
数学基础:
- 偏序 (part order ) : 偏序则部分元素可以互相比较
- 全序 (full order ) : 全序描述的是每个元素都可以比较
complete mutipversion history
complete mv history 满足下面性质:
- $ H = h( \cup ^n_{i=0}T_i) for \quad some \quad translation \quad function \quad h $
- for each $T_i$ and all operations $p_i$ $q_i$ in $T_i$, if $p_i <_i q_i$, then $h(p_i) < h(q_i)$