先接受没有完美全局时钟,再学习为事件建立足够的顺序证据。
7 讲把远程调用拆成消息、执行和响应,正视超时后的未知状态。
7 讲从副本为何存在出发,明确不同一致性模型给应用什么承诺。
7 讲理解多数派为何能阻止两个不同已提交值,并能推演任期和日志。
7 讲把数据拆到节点,同时控制倾斜、迁移和路由一致性。
7 讲区分原子提交、隔离与业务补偿,知道每种方案在失败时欠了什么。
7 讲连接WAL、LSM、复制和读写路径,能从一次请求追到磁盘。
7 讲从至少一次投递走到水位线、状态和端到端结果语义。
7 讲用恢复时间线证明系统能在故障后恢复正确服务。
7 讲从用户目标倒推指标、追踪和安全容量,而不是堆仪表盘。
7 讲理解控制器、租约、服务发现和滚动发布背后的分布式状态机。
7 讲把时间、复制、共识、分片、事务、恢复和观测汇成可答辩系统。
7 讲