king-of-water · 个人博客
你好，我是
king-of-water。
这里记录后端、Agent 实践、项目，以及真正用过的工具。
栏目
从一个方向开始最近更新
全部文章 →后端 · 系统设计与高并发
容量评估：怎样把 QPS、并发数与响应时间换成资源预算
从业务流量模型出发，计算峰值 QPS、在途并发、CPU、内存、连接、数据库、缓存、消息队列、网络与冗余容量，并用压测和线上指标校准整份容量计划。
容量规划高并发QPSLittle's Law性能压测自动扩缩容
后端 · 分布式
数据库增加副本后，为什么仍会读到旧数据：主从复制、读写分离与 Quorum
从短链接创建后立即访问却返回 404 的问题出发，讲清复制日志、复制延迟、读己之写、半同步复制、主从切换，以及 Quorum 读写集合的保证与边界。
分布式系统MySQL数据库复制读写分离复制延迟Quorum一致性
后端 · 分布式
数据超过单机后怎么拆：分片键、路由、扩容迁移与一致性哈希
从短链接读写路径与支付流水实战出发，讲清分片键怎么选、全局 ID 为什么不能自动路由、取模与基因法怎样工作，以及扩容时如何迁移数据并验证正确性。
分布式系统分库分表分片键数据路由一致性哈希数据迁移MySQL
后端 · 分布式
多台机器怎样确保定时任务只执行一次：任务调度、租约与幂等
从一次续签补偿扫描出发，拆开定时触发、任务抢占、租约续期、超时接管、Fencing Token 与业务幂等，说明多实例调度怎样避免漏跑和重复副作用。
分布式任务定时任务租约Leader Election幂等Fencing Token调度系统
后端 · 分布式
分布式事务：2PC、TCC、Saga、Outbox 与事务消息怎样选
从一条支付、业务确认与退款链路出发，区分原子提交、资源预留、补偿事务和可靠消息，讲清 2PC、TCC、Saga、Outbox 与事务消息的适用边界。
分布式系统分布式事务2PCTCCSagaOutbox事务消息状态机
后端 · 分布式
怎样证明系统在故障中仍然正确：故障注入与 Jepsen
从一致性承诺、不变量和操作历史出发，讲清 Jepsen 的 Client、Generator、Nemesis 与 Checker，使用 Knossos 和 Elle 检查线性一致性与事务异常，并设计能命中协议窗口的故障实验。
Jepsen故障注入一致性验证线性一致性KnossosElle混沌工程