Synthesizing CRDTs from Sequential Data Types with Verified Lifting论文阅读

阅读RAMP_TAO Layering Atomic Transactions on Facebook’s Online TAO Data Store笔记，接着上篇RAMP的思路继续。

阅读Scalable Atomic Visibility with RAMP Transactions笔记。

常用Git命令记录

使用markdown时常用的数学符号代码

SIGMOD 2017:Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational DatabasesSIGMOD 2018:Amazon Aurora: On Avoiding Distributed Consensus for I/Os,Commits, and Membership Chan

阅读Epoch based Commit and Replication in Distributed OLTP笔记。

阅读Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing笔记。

CockroachDB: The Resilient Geo-Distributed SQL Database阅读笔记

在上篇记录了如何初步使用CRDB，但是想要更多了解CRDB以及为了完成CRDB客户端没实现（可能我没找到）的某些功能，就需要自行阅读源码进行更改并进行编译

CRDB做简单的了解，可以进行简单使用及测试编译，配置三节点跨域集群

阅读The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis论文笔记