这篇文章介绍下在MacOSX如何用gdb + vmware的方式调试Linux内核。 一：安装Vmware Fusion二：安装gdb注意这里需要安装高版本的gdb，这里安装的是8.2版本 123456wget http://ftp.gnu.org/gnu/gdb/gdb-8.2.tar.g ...

来源：AWS re: invent 2018 Pattern 1: checksum all of the thingsPattern 2: Cryptgraphic AuthenticationEncrypt and authenticate everything. Control Pla ...

// 一篇闲扯的博文 Anna KVS官网对Anna的特性总结得非常到位：1. Crazy Fast, 2. Super-Scalable, 3. Flexibly Consistent。 这里只关注Flexibly Consistent这一项，讲讲Anna是实现灵活的c ...

最近读到一个有趣的话题：Quorum System的故障概率和负载。 首先是一些概念： 节点集合 $V={v_1, v_2, .., v_n}$ Quorum  $Q\subseteq V$ Quorum System $\cal{S} \subseteq 2^V$，且$Q_1 \ ...

继2012年在OSDI年发表了Spanner论文《Spanner: Google’s Globally-Distributed Database》之后，Google在SIGMODE’17上发表了第二篇关于Spanner的论文《Spanner: Becoming a SQL System》。从 ...

// 大半夜on-call没事干，写点东西。 《SDPaxos: Building Efficient Semi-Decentralized Geo-replicated State Machines》(SOCC18’) 有幸跟作者赵汉宇博士做了一次交流，我也仔细读了一遍 ...

这两天看了篇数据模型的论文，What Goes Around Comes Around。这篇论文是2005年Stonebraker和Hellerstein两位泰斗写的，讲的是数据库的数据模型35年的变迁历史，另外论文还总结了一些经验。 这是一个非常有趣的话题，能够让我们更多地去从市场和产品角 ...

读了Architecture of a Database System这篇经典论文，挑了些不太熟悉的内容做了笔记。 论文内容基本上谈不上是在讲架构吧，基本上就是罗列了下有哪些组件，而且内容基本上针对原来传统数据库的。 主要包括几个组件： Client Communication Manag ...

最近看了个有趣的talk：”A Philosophy of Software Design” by John Ousterhout。 地址：https://www.youtube.com/watch?v=bmSAYlu0NcY 记录几个有趣的点。 抽象还是分解如果要选一个概念，贯穿整个计算机 ...

前面介绍了Paxos成员组变更，现在根据Raft博士论文介绍一下Raft是怎么做成员组变更的。前者更多描述几个核心的思想，而后者更加实用，介绍了实践过程中遇到的一些实际问题。 Raft博士论文描述了两种变更方案： One-Server变更：一阶段变更，要求每次成员组从G1变成G2时，G2相 ...