posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
service 抛出的领域错误怎么变成正确的 HTTP 状态码？本节把错误映射收敛到一处：定义领域错误集、用 errors.Is/As 分支把 ErrNotFound 映射成 404、把校验错误映射成 422，并给出统一的 JSON 错误响应结构。同时实现带字段的输入校验，让客户端知道到底是哪个字段不合法，最后强调不要把内部错误细节泄露给外部。
配置有了，谁来把它组装成运行中的对象？本节讲 TaskAPI 的分层：handler 只做协议转换、service 承载业务规则、store 负责持久化，三者用接口解耦。然后演示 Go 惯用的手工依赖注入——在 main 这个 composition root 里把所有依赖 new 出来、逐层注入，不引入任何 DI 框架，并用 fake store 证明层与层之间可替换。
把端口、超时、数据库地址写死在代码里，是项目长大的第一道坎。本节讲清配置的三个来源——命令行 flag、环境变量、JSON 配置文件——各自的读取方式与适用场景，给出「flag > env > 文件 > 默认」的合并优先级实现，用 flag.Visit 区分「显式设置」与「默认值」，并在启动时做 fail-fast 校验。
相同参数不等于同一次业务。给同一客户发送相同正文的第二次合法通知应允许执行；重试同一通知则应复用原操作键。本进程锁串行包住查缓存、执行和存结果，防止同进程并发重复。snapshot/restore 保留已记录结果；函数异常不缓存，失败前是否已经产生副作用必须由业务确认。
asyncio.timeout 与 TaskGroup 通过取消协作任务实施超时。工具在 CancelledError 后清理资源并重新抛出，不能吞掉取消继续运行。同步线程、阻塞扩展和外部副作用不会因此被强制终止。to_thread 只转移阻塞工作；取消 await 不停止已经执行的线程。强终止需要独立进程与相应资源生命周期设计。
可重试状态来自 status 或 SDK 常见 status_code。错误分类只给候选策略，超时、429 和 5xx 不自动意味着写操作可安全重发。适配器关闭 SDK 自动重试，避免两层叠加。生产还需要 Retry-After、总时间预算与业务幂等判断；不可把所有 Exception 都归为暂时故障。
本文梳理计算机视觉的任务全景与端到端工程链路，回答从需求到上线该选什么任务、用什么指标、按什么顺序搭管线。覆盖分类、检测、分割、姿态、检索、OCR、跟踪等任务的输入输出与评估指标（Top-1、mAP、mIoU、PCK、FPS），并给出数据采集、标注、训练、导出 ONNX、服务化、监控回流的完整流程与两个可运行的 torchvision 示例，最后总结选型权衡与常见坑。
从「回声」的三类界面出发，把客户端架构与服务器架构的差别收敛成设备碎片化、网络不确定、生命周期被打断、分发不可回滚四个独有约束，给出可运行的 TypeScript 分类器与测试，并复盘一次把在线默认值带进离线场景的失败，说明端上判断为什么必须先于框架选型。
直接给出 arch-lab 的四级 C4 视图——系统上下文、容器、组件与代码，逐级说明读者、要回答的问题和刻意不画的内容；再把容器归属与组件依赖编码成 Go 数据结构，用表驱动校验器检查空归属、未知容器、未知依赖与孤儿组件，附 darwin/arm64 上的真实测试输出。
从存储层次与磁盘、SSD 的物理特性出发，讲清寻道与旋转延迟、FTL、写放大与磨损均衡，系统梳理 RAID 0/1/5/6/10 的数据布局与容错模型、奇偶校验与重建、写惩罚与写洞，并延伸到可靠性建模、4K 对齐、页缓存与块层存储栈，最后对比分布式存储的副本与纠删码并讨论 SSD 时代的 RAID 取舍。
沿渲染管线逐级展开图形学核心概念：从模型视图投影矩阵与齐次坐标的变换链，到 Lambert、Phong、Blinn-Phong 光照模型与 BRDF 入门，再讲纹理映射与 Mipmap 采样、深度缓冲与 Z-fighting、背面剔除与视锥裁剪，并对比光栅化与光线追踪两种范式，最后落到着色器职责、伽马校正与 MSAA 抗锯齿。
从 SIMD 与 SIMT 分类出发，梳理 Amdahl 与 Gustafson 并行性能定律，讲解 OpenMP 共享内存并行与 false sharing、数据竞争的成因，深入 MPI 点对点与集合通信，再到 GPU 的线程层次、warp、共享内存与合并访存，对照 CUDA 与 OpenCL 概念，并给出前缀和、矩阵乘、归约三类并行算法要点。
梳理虚拟化层次划分、全虚拟化与半虚拟化、VT-x 与 AMD-V 硬件辅助，讲清 Hypervisor 两类架构与 KVM、QEMU 的分工，内存虚拟化的影子页表与 EPT、virtio 的 I/O 路径，再拆解容器本质即 namespace 加 cgroup 加联合文件系统，配合 unshare、runc 实操与 seccomp、capabilities 隔离。
从香农信息量与熵的直觉出发，串联联合熵、条件熵与互信息，推导信源编码定理给出的压缩下界；深入 Huffman 编码的构造与最优性、算术编码的区间思想、LZ77/LZ78/LZW 字典压缩，以及 DEFLATE 与 zstd 的工程取舍；最后覆盖 DCT 与 JPEG 的有损压缩流程、汉明码与 RS 码入门，以及压缩比与 CPU 成本的权衡。
从乔姆斯基层级出发，系统梳理形式语言与计算模型的对应关系：DFA/NFA 与子集构造法、正则表达式与正则语言的等价性、泵引理证明能力的边界、下推自动机与上下文无关文法及 CYK 算法、图灵机与丘奇-图灵论题，最后落到停机问题与可判定性，并串起编译原理中词法与语法分析的工程衔接。
用团队规模、独立部署、数据一致性、故障域、演进成本、运维复杂度与订单系统适配度七个维度对比五种架构风格，给出 arch-lab 的 ADR-001 与被否方案，并用可运行的 Go 依赖检查器把包结构规则固化成可执行命令，说明它只是护栏而非证明。
把“高可用、低延迟”还原成六条可测的质量属性场景，逐条落到 arch-lab 的模块与断言；给出状态机不变式和幂等重放的可执行 Go 测试，并用 ADR-lite 记录一次一致性取舍的备选方案、否决理由与重新评估条件，最后列出常见误用边界。
构建实时音视频的 QoE 监控体系：梳理卡顿率、首帧时间、MOS、端到端延迟等核心指标、用 getStats 采集 RTP 统计、基于 E-model 估算 MOS、落地埋点上报与聚合、搭建可视化与告警，并给出连接成功率埋点、A/B 回归验证与常见坑。
从 arch-lab 订单系统一个把所有逻辑塞进 HTTP handler 的朴素实现出发，逐条推演它在状态、并发、故障、变更、观测与安全上付出的代价，再给出第一版 Go 领域模型与显式状态机，说明架构为何是一组可验证、可回退的约束与决策边界。
讲清 WebRTC 的内建安全机制与局限：拆解 DTLS 握手与 SRTP 密钥导出、指纹验证与中间人风险、为什么 SFU 能看到明文、基于 Insertable Streams 与 SFrame 的端到端加密方案、MLS 密钥协商，以及信令鉴权与身份认证的工程实践与常见坑。