Spanner 論文（Google's Globally-Distributed Database）を読む Google Spanner の OSDI 2012 論文を読み、TrueTime を軸に、世界規模の分散環境で外部整合性のあるトランザクションを実現する仕組みを整理する。