这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
结构化输出与受限解码:JSON Schema 与语法约束
讲透 LLM 结构化输出:从 Prompt 约束、Function Calling 到受限解码(Constrained Decoding),解析 JSON Schema 编译为 GBNF/EBNF 语法的过程,给出 Outlines、XGrammar、llama.cpp、vLLM 的实战配置与性能开销数据。
posts
这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
讲透 LLM 结构化输出:从 Prompt 约束、Function Calling 到受限解码(Constrained Decoding),解析 JSON Schema 编译为 GBNF/EBNF 语法的过程,给出 Outlines、XGrammar、llama.cpp、vLLM 的实战配置与性能开销数据。
分布式系统成本优化与容量治理:从成本结构与单位成本指标讲起,剖析容量水位与超卖、弹性伸缩的快扩慢缩与混部隔离、实例选型与请求级降本、存储分层与数据生命周期、跨区流量与 CDN 回源治理,并给出 FinOps 成本归属标签、预算与异常增长告警及常见踩坑清单
遗留系统迁移与绞杀者模式:从大爆炸重写的失败原因讲起,剖析绞杀者(Strangler Fig)的渐进替换机制、反向代理流量切分与灰度判据、CDC 数据同步与影子流量校验,给出数据库拆分五阶段、API 契约兼容、幂等重放与团队组织配套的落地方法及常见踩坑清单
Quorum 复制协议与 Paxos 变体:从读写多数派 W+R>N 的数学条件讲起,剖析 Sloppy Quorum、读修复与提示移交的工程实现,梳理 Basic Paxos、Multi-Paxos、Fast Paxos、EPaxos 与 Flexible Paxos 的演进脉络,并厘清 Quorum 与共识的边界及生产调参要点
单元化架构与故障隔离:从单体集群的爆炸半径讲起,剖析单元(Cell)划分、纯函数单元路由、数据分片归属与单元封闭原则,给出单元级降级熔断、容量冗余规划、按单元打标的可观测性与四阶段灰度迁移的落地方法,并对比多集群多活架构的取舍、单元数量选择与常见踩坑清单
一致性模型与线性化:系统梳理从线性一致、顺序一致、因果一致到会话保证与最终一致的完整强度谱系,给出线性一致性的判定方法与 Jepsen 故障注入验证思路,剖析 LWW、版本向量与 CRDT 的冲突解决取舍,并附工程选型决策树、常见踩坑与监控指标清单
系统讲解在 Defold 中实现行为树(Behavior Tree):从状态机到行为树的演进动机、组合/装饰/叶/条件四类节点的语义、Tick 执行与 Success/Failure/Running 三态、一份可直接使用的 Lua 行为树运行时、黑板(Blackboard)数据共享、与 Defold 感知/寻路的结合,以及调试与性能实践。
系统讲解 Defold 的材质与着色器体系:.material 文件结构与标签(Tags)、顶点/片元着色器的数据流与内建属性、uniform 常量与 sampler 的声明与传值、渲染脚本中的 enable_material 与 set_constant、溶解/描边/灰度等常见效果的完整实现,以及着色器性能与调试方法。
完整拆解 Defold 的 HTML5 导出:构建流程与 build/html5 产物结构、WASM 主循环与 JS 桥接机制、归档(Archive)资源加载与自定义加载页、纹理压缩与包体裁剪、WebGL 上下文与内存的运行时优化,以及 JS 互操作、音频解锁与离线缓存的平台集成。
系统讲解 Defold GUI 的响应式布局:节点树与锚点(Anchor)体系、Adjust Mode 的 Fit/Zoom/Stretch 取舍、pivot 与百分比相对布局、safe area 与刘海屏处理、断点式动态重排脚本,以及从手机到桌面的一整套多分辨率适配工程实践。
从插值数学讲起,系统拆解 Defold 的补间动画:go.animate 的签名与播放模式、go.Easing 全部曲线类型与选型直觉、自定义 easing 函数的实现与曲线拟合、多属性协同与链式序列编排、时长/延迟/暂停与变速控制,以及 UI 动效与角色运动的实战配方。
系统讲透 Defold 的消息传递架构:msg.post 与 URL 寻址、on_message 回调与分发顺序、父子层级与集合代理(proxy)、事件总线与集中式分发的解耦模式、请求-响应与订阅式通信、消息与直接调用的性能取舍,并给出可复用的消息驱动架构实践。
从平均延迟骗人的现象切入,用利特尔法则串起并发数、吞吐与延迟三者的守恒关系,推导 M/M/1 与 M/M/c 的排队延迟公式与利用率曲线,解释为什么 80% 利用率就能让 P99 爆炸,剖析尾延迟放大、协调遗漏与队头阻塞,最后给出线程池、连接池的容量估算与压测实操。
从编译器的三阶段流水线出发,厘清 AST、三地址码与 LLVM IR 的分工,讲透 SSA 形式、φ 函数与支配树的构造,梳理常量传播、死代码消除与 CSE 等数据流优化,剖析内联代价模型与循环不变量外提、展开、向量化,最后对照图着色与线性扫描寄存器分配并动手读 LLVM IR。
从共享内存并发的困境切入,系统对比 Actor 与 CSP 两大消息传递模型:讲清 Actor 的 mailbox、消息投递语义与 Erlang 监督树,拆解 CSP 的 channel、select 与 Go 调度器,再梳理数据并行(MapReduce、Fork-Join、SIMD)的适用边界,最后给出按通信拓扑与失败模型的选型准则。
从 IEEE 754 的位布局讲起,厘清规格化数、次正规数与特殊值的编码规则,量化机器精度与 ULP 的含义,剖析灾难性抵消的三种典型场景,给出求和、二次方程求根与递推公式的稳定化改造,用条件数区分病态问题与不稳定算法,最后对照二分法与牛顿法的收敛阶与终止准则。
从可达性分析出发,系统梳理标记-清除、标记-整理、复制三种基础回收算法的取舍,讲透分代假说、TLAB 分配与新生代/老年代布局,深入三色标记、读写屏障与 SATB 快照如何实现并发回收,对照引用计数与循环引用问题,并给出 Go 与 JVM 的 GC 调参实操与性能指标评估。
从锁的代价出发,讲透原子操作与 C++ 内存序(relaxed/acquire/release/seq_cst)的语义边界,剖析 CAS 循环与 ABA 问题的成因与 tagged pointer 解法,拆解 Treiber 栈与 Michael-Scott 队列的实现要点,最后对比引用计数、Hazard Pointer、EBR 与 RCU 四种安全内存回收方案。
终端 UI 没有 DOM、没有绘制 API,只有一串字节流。本文用 Zig 从 termios raw 模式与 ANSI 转义序列讲起,实现差分刷新、Unicode 宽度计算、约束式布局、按键与鼠标解析,并处理 SIGWINCH 与终端能力协商。
Zig 产出的是零依赖静态二进制,这让分发路径比多数语言简单得多。本文覆盖 musl 静态链接与交叉编译矩阵、scratch/distroless 容器镜像与多架构 manifest、deb/rpm/Arch 打包、Homebrew formula,以及 CI 矩阵发布与校验签名。