Spanner要满足的external consistency 是指:后开始的事务一定可以看到先提交的事务的修改.所有事务的读写都加锁可以解决这个问题,缺点是性能较差.特别是对于一些workload中只读事务占比较大的系统来说不可接受.为了让只读事务不加任何锁,需要引入多版本.在单机系统中,维护一个递增的时间戳作为版本号很好办.分布式系统中,机器和机器之间的时钟有误差,并且误差范围不确定,带来的问题就是很难判断事件(在本文,事件指分布式事务版本号)发生的前后关系.反应在Spanner中,就是很难…