C++中的异常

发表于 2022-03-19

C++中的异常是很多人不推荐使用的机制，但其中有很多玄学，不妨来讲一讲。

F1的在线异步DDL

发表于 2022-01-28

介绍 F1 的在线异步 DDL schema 变更。

发表于 2021-12-13

DPDK的编程规范，用来指导如何写高性能程序，觉得挺有意思的，所以翻译过来。

发表于 2021-12-04

简单介绍 EPaxos 算法。本文还结合论文作者提供的 tla+ 作出了详细的解读。

发表于 2021-10-01

总结Mac系统下的配置相关方法。

发表于 2021-08-23

研究物化视图(materialized view)相关技术。

发表于 2021-08-17

鉴于贵司大作tikv、tidb、tiflash在Rust、Go和C++之间横跳，因此学习Rust被提上了日程。

本文简称叫Rust: ACPPPP，它主要是用来讨论Rust在一些方面和C++的异同，而不是介绍这一门语言。所以文章是话题形式的，会有很多穿插，例如在讨论所有权时，会直接讲结构体。

发表于 2021-08-14

介绍Percolator论文。

发表于 2021-08-11

本文介绍WSL2使用的一些问题

发表于 2021-07-28

介绍使用TLA+对Raft的验证工作。