240 发简信
  • 120
    在 Mac 下面调优 TiKV

    在多数时候,我们都只会在 Linux 系统上面去运行 TiKV,所以很多的调优经验都是基于 Linux 的,譬如如何使用 perf,如果使用 b...

  • 学习 TLA+ - Example

    前面对 TLA+ 有了一个大概的介绍,但我相信大家可能仍然是一头雾水,我们如何使用 TLA+ 去验证系统原型设计的正确性呢?我觉得我们可以先从一...

  • 学习 TLA+ - 介绍

    介绍 对于一套系统的设计,通常我都是想好了,然后直接捋起袖子写代码了。写完了,在开始加很多 test 来保证它的正确性。但其实,我并不能保证设计...

    1.1 3540 2 17 1
  • 120
    使用 plot 绘制图表

    作为一个程序员,很多时候虽然我喜欢盯着 console 输出的一堆数字看一些系统变化指标,但俗话说,一图胜千言,如果能自动的将很多数据生成图表展...

  • 深入浅出 Raft - Optimization

    在猪爸爸的努力下,三个银行网点能正确的选出一个主网点对外提供服务了。一切工作的良好,但随着客户的增多,一些问题渐渐暴露出来。 这天,兔小姐又叫来...

  • Tuning RocksDB - Prefix Extractor

    在 TiKV 里面,我们在 Write 和 Raft column family (CF) 上面使用了 prefix extractor 机制,...

  • 120
    一篇详细的 PD 招聘广告

    好吧,我这篇文章的题目已经非常的直白了,这是一篇招聘广告,唯一的目的就是吸引对 PD 有兴趣的同学参与到 PD 的开发中来。当然如果你对我们不感...

  • 测试分布式系统的线性一致性

    最近看到一篇文章 http://www.anishathalye.com/2017/06/04/testing-distributed-syst...

    0.2 4019 2 16 2
  • 学习 TLA+ - Percolator Transaction

    引子 在讨论 TiKV Transaction 之前,我们先聊聊 Percolator。TiKV 的事务是参考 Google [Percolat...

个人介绍
一位爱好文学的资深程序开发工程师。热爱工作又极度顾家的有为社会青年。