物化视图研究

发表于 2021-08-23

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

Rust - A CPP Programmer's Perspective

发表于 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的验证工作。

发表于 2021-06-26

介绍TLA+用法。
TLA全称为Temporal Logic of Actions，相比传统数学，更着重研究时序逻辑。
TLC是TLA+的模型检验工具。

发表于 2021-05-15

本文介绍概率论中一些有趣的问题，其中很多是反直觉的

发表于 2021-05-15

在Redis Sentinel实现原理分析这篇文。Sentinel是为主从复制服务的，所以在这篇文章里面，我们反过来讲一下主从复制的实现。

主从复制涉及到RDB等机制，其中持久化部分在Redis持久化机制实现中介绍。

发表于 2021-05-09

今年五一的主题是重庆。
因为疫情刚解封的缘故，所以大家出门游玩的热情十分高涨，限于钱包有限，我们选择了1号晚上从无锡出发，5号中午从重庆返回无锡的计划，在重庆玩三个整天。

发表于 2021-04-24

在了解了 LevelDB 的相关模块的实现后：

本文时序地展示 LevelDB 的读、写、Recover流程。