• 海勒姆法则 - Hyrum's Law

    最近看到了一篇文章 Hyrum’s Law,觉得非常有意思,感觉应该翻译一下,也顺带夹杂点自己的理解。 这篇文章主要是一位在底层架构上面工作多年的一位资深工程师观察到的一个现...

  • 一篇超详细的 TiKV 招聘广告

    上周写了一篇 PD 的招聘广告,想想还是应该写一下 TiKV,毕竟谁叫 TiKV 也缺人了。这里,我仍然会详细的说明 TiKV 主要是干啥的,以及我们要做的事情,这样你大概就...

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

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

  • 2017 年终总结

    又到了一年的这个时候了,无论怎样,总得总结一下今年做的事情,展望一下明年的。总结是为了更好的回顾这一年做的事情,展望则是为了更好的规划一下未来。 工作 稳定性 先来说说稳定性...

  • 120
    RocksDB PhysicalCoreID 慢问题排查

    最近测试的时候,发现了一个奇怪的现象,在一些机器上面,压力不高,但 RocksDB 整个操作很慢。虽然 CPU 占用也不怎么高,但我们还是用火焰图先 profile 下,发现...

  • Hello Lock Contention

    在并发编程里面,锁是一个逃不开的东西,对于很多多线程共享的资源,使用锁是一个非常的好的办法,来支持对这些资源安全的访问。但锁虽然方便,用不好就容易出现问题。 首先大家需要知道...

  • 120
    混沌工程简介

    最近看到 Netflix 的混沌工程的介绍,感触颇深。在 TiDB 里面,我们为了保证系统的健壮性,也做了很多工作。在内部我们开始叫做 stability test,后来进化...

  • 学习 TLA+ - Percolator Transaction

    引子 在讨论 TiKV Transaction 之前,我们先聊聊 Percolator。TiKV 的事务是参考 Google [Percolator] (后面我们使用 Per...

  • 学习 TLA+ - Example

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

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