qq_37026934的博客

首先我们要确定当前所处的epoch的id，如图上所示第二行代码，currDstID就是我们的D0,D1…T-TOP非常的简单，但是有一个严重的问题，就是我们在进行横向遍历的时候(比如上述例子第一行横向遍历找到S0在什么时候会被rereference)，时间复杂度是O(n)，假设顶点非常非常的多，我们T-TOP算法的效率也会随之急剧下降，T-TOP的理想情况是将这种遍历带来的时间成本给抹掉，当然这不可能，所以为了解决这个隐患，人们又开发了一个叫做P-OPT的算法，P-OPT是T-OPT的改进。

首先锁的一些操作都是操作系统提供，比如win，linux，但是atomic是我们处理器提供的，锁机制其实是将被lock住的线程挂起，空出cpu资源给其他的线程，但是这有明显的inter pross的线程上下文切换（被锁住的线程在不断地尝试直到成功强到锁(也叫做busy wait)）我们使用锁的时候还要考虑死锁等情况发生(当然c++中有。在C++标准中并没有说明他是lock-free的，有的平台他是lock-free，有的平台他是用mutex实现，所以C++提供了一个method去验证你的这个平台上。

MVCC

李飞飞老师关于阿里云数据库论文阅读

文章目录前言abstractintroducereplicated stat machineswhat's wrong with PaxosDesigning for understandabilityThe Raft consensus algorithm前言这篇论文发表于2014年讲述的是raft协议，raft协议是保证数据一致性和fault-tolerance的协议，常用于分布式系统中，大家应该知道设计一个分布式系统，我们首先要考虑fault-tolerance的问题，也就是一个节点down了如何