posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
本节给出从 JavaScript 或宽松 TypeScript 迁移到严格模式的路径：先用 allowJs 与 checkJs 按目录纳管边界，再按 noImplicitAny、strictNullChecks、strictFunctionTypes 的依赖顺序分批开启，配合 ts-expect-error 台账与错误计数棘轮把债务变成可度量指标。读完你能把十万行项目拆成不停机、可回滚的批次。
本节梳理 TypeScript 从 1.x 到 5.x 的演进主线，把 breaking change 归为检查收紧、默认值变更、lib.d.ts 更新与废弃项移除四类，并逐类给出可复现的报错示例与回退边界。你会掌握一套「基线快照 + 目标版本双跑 + 增量 diff」的升级流程，能在升级前量化影响面、判断某个报错是版本所致还是代码本身的问题。读完你能为团队定下可回滚的升级节奏。
从 MeterRegistry 注册表与 Meter.Id 的身份语义讲起，对比 Counter、Gauge、Timer、DistributionSummary 的取值差异，拆解 Observation 用低/高基数键值统一指标与追踪，说明 MeterFilter 改名、加标签、限基数的介入点，并落到 Prometheus 导出与 percentiles-histogram 对 P99 的影响。
把生产级图书借阅服务的功能性需求与非功能性需求翻译成一组可评审的架构决策记录（ADR）：模块拆分、数据模型、同步与异步边界、缓存策略、多租户隔离方式与技术选型，逐条给出理由、代价与被否决方案，并附模块依赖图、需求追溯表、风险清单与容量预算粗算，作为后两节实现与上线的地基。
本节把结构迁移与数据初始化拆开：Flyway 管表结构，data.sql 管开发数据，并讲清 spring.sql.init.* 与 defer-datasource-initialization 的配合。随后按「公共脚本 + 方言脚本 + profile 覆盖 locations」组织多环境迁移，并说明生产不自动插测试数据、测试环境的迁移取舍，以及迁移该在应用启动时还是流水线独立步骤执行。
用 dis(adaptive=True) 实测同一函数冷启动与预热后的字节码差异（LOAD_ATTR → LOAD_ATTR_INSTANCE_VALUE），拆开 opcode._specializations 的 17 个专门化族与 84 条专门化指令，并读 CACHE 槽里缓存的 counter/version。最后实测本机 3.14.6 的 JIT 状态并讲清 3.13/3.14 的边界。
用本机实测把「省内存」量化到底：sys.getsizeof 与 tracemalloc 两种口径、list/array/bytes/memoryview/numpy 装 100 万个整数的真实字节数、sys.intern 字符串驻留、生成器把峰值从 39.5MB 压到 0.5KB，以及 objgraph 3.6.2 定位引用增长与泄漏。
从 CPython 内部拆解三种剖析钩子：sys.settrace 的逐行回调、sys.setprofile 的调用级回调、3.12+ sys.monitoring 的事件模型，并用同一负载实测三者开销倍率。结论是剖析开销正比于函数调用次数，而非循环次数——这解释了 cProfile 为何用 C 回调、pyinstrument 为何也是混合采样器。
收束全书：用一份可执行的上线检查清单把配置、密钥、依赖、迁移、健康检查与日志逐项落地，真跑 Alembic 前滚与回滚，复盘 TaskFlow 开发过程中真实踩到的四个坑并附可复用的复盘模板，最后给出拆服务、加缓存、上可观测性的后续演进路线。
把 TaskFlow 真的写出来：SQLAlchemy 2.1.4 模型、scrypt 加 JWT 认证、带缓存的 FastAPI 路由、后台任务队列，并用 pytest 跑出 11 例通过、86% 覆盖率，起 uvicorn 用 httpx 联调、自写压测器压出真实 QPS 与延迟分位。
全书收尾章从一个贯穿三节的真实项目 TaskFlow 出发：把模糊需求拆成用户故事与用例、画出领域模型与状态机、用 OpenAPI 固化 API 契约，再落到技术选型表、架构图、目录结构、pyproject.toml，并用 Alembic 真跑通第一版数据库迁移。
一个副本里 100 万实体，每个客户端真正看得见的只有周围几百个——兴趣过滤把每帧的增量裁到只剩这一小块。本节用统一网格从零实现 AOI，并按基准三纪律（进程隔离、预热到稳定、工作集超过缓存）实测三种半径下的每客户端字节每秒与扇出放大，数字标明不可移植。
全量快照每帧都要把整个场景编码一遍，增量只发变了的字段——但增量一旦丢包就会和基线错位。本节从零写字段级脏标记与基线窗口，用同一段变更序列实测全量 691 KB 对增量 2.7 KB 的 254 倍差距，并给出基线失配后回退全量的恢复规则与触发条件。
同一个《晨曦大陆》，RTS 选帧同步、MMO 选状态同步，差别不在客户端而在服务端要做什么。本节用一份确定性的 World 分别实现 LockstepServer 与 StateSyncServer，真跑 200 帧证明前者一次 Step 都不用跑、后者每帧都要跑全量模拟，并给出两条路线各自的字节开销与失效条件。
「只投递一次」在传输层根本做不到，能做的是「处理一次」。本节把 11.1 的窗口和 11.2 的指纹拼起来，加上持久唯一约束与发奖状态机，给出 at-least-once 投递下不重复发奖的完整组合，并专门处理「窗口已过期、请求却真的重发了」这个边界。
上一节的窗口搭好了，但「拿什么当键」还没解决。本节说清传输身份（命令号加会话序号）为什么不可靠，给 aegis 写一套业务指纹：只对定义意图的字段做哈希，把序号、时间戳、连接号排除在外，并算清 64 位指纹的碰撞概率与对抗性边界，附一张字段进出的清单。
客户端重试、网关超时重发、断线重连补发，都会让同一条命令在服务端出现两次。本节给 aegis 从零写一个滑动幂等窗口：时间桶怎么切、内存上界为什么是 rate×ttl、窗口滑出之后重放还安不安全，并用真跑的 L1 测试把这几条边界钉死，附本机实测的内存与耗时。
同样是「一个实体一个邮箱」，Go 的 channel 邮箱和 Erlang/Skynet 那种无界队列 + 单线程消费的 Actor，语义与代价并不相同。本节用 Go 实现两种变体，在本机同条件实测吞吐、验证 selective receive 的差异，并说清 Erlang 与 Skynet 的语义各自换来了什么。
消息驱动把锁消掉了，却把问题推给了邮箱：满了到底怎么办？本节给 aegis 写一个有界邮箱，实现阻塞、丢弃、断开、降级四种拒绝策略，用 4 发送者 × 1000 条真跑证明同发送者到同接收者的 FIFO，并用一条 A→B→C 的链路实测背压如何一路顶回源头。
实体不该被多条 goroutine 同时改。本节把《晨曦大陆》的玩家实体改成消息驱动的 Actor：状态只由自己的循环推进，外界只拿到一个句柄；再用 8 个发送者、1.6 万条消息的 -race 测试证明实体字段一个锁都不需要，并说清句柄、注册表与路由各自的边界。