Spanner: Becoming a SQL System论文阅读笔记

Spanner: Becoming a SQL System论文阅读笔记
  继2012年在OSDI年发表了Spanner论文《Spanner: Google’s Globally-Distributed Database》之后,Google在SIGMODE'17上发表了第二篇关于Spanner的论文《Spanner: Becoming a SQL System》。从整个的数据库系统角度看,2012年那篇讲是的Spanner的下半部分Storage Engine的一些feature:数据自动分区和全球部署、多副本Paxos高可用、支持外部一致性的分布式事务。2017年这篇主要讲是讲数据库的上半部分...

蓝眼睛谜题

蓝眼睛谜题
陶哲轩的博客上的一个puzzle。 地址在这里:https://terrytao.wordpress.com/2008/02/05/the-blue-eyed-islanders-puzzle/ 。你可以直接跳过去读原文。 这是发生在一个在虚构的岛上的故事,不过因为这里面的逻辑本身就非常微妙,所以故事描述的时候会稍显啰嗦,我直接摘下来: There is an island upon which a tribe resides. The tribe consists of 1000 people, with various eye colours. Yet, their ...

C++中typename关键字的用法

C++中typename关键字的用法

本文介绍了C++中typename关键字的使用方法。
1.用在模板定义里,标明其后的模板参数是类型参数。
2. 模板中标明“内嵌依赖类型名”
3. 例外 (1) 类模板定义中的基类列表。 (2) 类模板定义中的初始化列表。