这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
ABI 与调用约定
ABI 是编译器与操作系统之间的契约。本文讲解 System V AMD64 的寄存器与栈传递规则、参数分类算法与结构体拆分、返回值与变参约定,对比 Windows x64 与 ARM64 的差异,并给出跨语言 FFI、栈对齐、名字修饰与常见踩坑的排查手段。
posts
这里是全站文章的归档入口,下面是按时间倒序排列的全部文章。若想按主题浏览,请从首页的专题分类进入。
ABI 是编译器与操作系统之间的契约。本文讲解 System V AMD64 的寄存器与栈传递规则、参数分类算法与结构体拆分、返回值与变参约定,对比 Windows x64 与 ARM64 的差异,并给出跨语言 FFI、栈对齐、名字修饰与常见踩坑的排查手段。
协程编译器把可挂起的函数改写成状态机。本文对比有栈与无栈协程的实现路径,推导状态机变换与帧布局,讲解挂起点分析、跨挂点变量提升与帧内存复用,再落到帧分配策略、与垃圾回收及栈复制的交互,以及 C++20、Rust、Go 的工程实践、取消语义与常见坑。
分离编译切断了跨模块优化的可能。本文对比全程序 LTO 与 ThinLTO 的架构取舍,讲解摘要索引、按需导入与跨模块内联的决策机制,分析增量构建、缓存与可复现性,并给出 GCC、Clang、Rust 的配置实践与构建时间、产物大小的实测权衡。
逃逸分析决定一个对象能否留在栈上、锁能否被消除。本文从逃逸状态的格与传播规则讲起,用连接图刻画方法内的指向关系,讲解过程间摘要与参数、返回值逃逸的推断,再落到标量替换、栈上分配与锁消除的实现细节,最后讨论精度与编译时间之间的权衡取舍与常见排错手段。
SSA 是现代优化器的通用表示。本文从支配树与支配边界推导最小 SSA 的 φ 函数插入算法,讲解变量重命名与版本管理,再落到剪枝 SSA、Braun 算法与 out-of-SSA 的并行复制、交换与丢拷贝问题,附可运行的 Python 实现与工程取舍。
Clojure 配置与密钥管理实践:环境分层与深合并优先级、Aero 的 reader tag 与 Integrant 生命周期集成、environ 与 cprop 方案对比、密钥注入与轮换策略、配置校验与启动失败快,以及配置漂移的可观测与审计。
Clojure 报表与文档生成实战:PDFBox、OpenPDF 与 clj-pdf 的选型对比,Apache POI 与 docjure 导出 Excel,模板与数据绑定,大报表流式写出与内存控制,以及中文字体嵌入、自动换行与列宽等排版细节处理。
Clojure 集成大语言模型的完整工程实践:多供应商 API 封装与 SSE 流式解析、core.async 管道编排与背压、工具调用与结构化输出校验、向量检索与 RAG 拼装、token 计量与并发限流、两级缓存去重,以及可观测指标与评测回放方法。
对比 clojure.spec 与 Malli 两大数据校验方案:schema 表达力与组合能力、开放与封闭 map、递归与条件依赖、生成式测试集成、错误信息可读性、解释与编译模式的运行时开销,并给出 coercion、JSON Schema 导出与选型决策依据。
系统讲解从 Java 渐进迁移到 Clojure 的工程路径:绞杀者模式与切入点排序、互操作边界与数据语义设计、Maven/Gradle 与 deps.edn 混合构建、AOT 与 uberjar 打包部署、团队技能矩阵与代码评审清单,以及常见陷阱与量化验收度量。
深入 Clojure 实时通信实践:WebSocket 与 SSE 的选型依据、Sente 的握手协议与双向通道模型、服务端 Ring 路由与 ClojureScript 客户端接入、房间与广播实现、断线重连与状态同步策略,以及多实例伸缩、心跳保活与生产排错要点。
从 trace、debug 与 callTracer 三类追踪接口出发,系统讲解 EVM 调试方法:调用树构建与内部转账解析、状态差异与存储槽定位、eth_call 模拟执行与状态覆盖、失败交易的 revert 原因追溯、Gas 消耗的逐指令归因,以及工具链脚本与常见陷阱。
从 AMM 定价模型出发,系统拆解 DEX 聚合器的路由算法:多池报价聚合、图搜索与路径枚举的状态空间剪枝、跨多池拆单的凸优化解法、Gas 成本与滑点的联合权衡、MEV 与三明治攻击的成交保护,并给出 Router 合约的回调校验实现与常见踩坑。
从质押与委托的经济模型出发,系统讲解区块链验证者节点运维:双签与活性罚没的触发条件及防护、签名者与共识密钥的分层管理、哨兵节点与远程签名的高可用架构、网络分区的取舍原则、硬件选型与性能调优、关键监控指标与告警分级、硬分叉与客户端升级的协调流程,以及故障演练与恢复手册的落地要点。
从归档全节点、索引服务与原始 trace 三类数据源出发,系统讲解链上取证与资金流追踪方法:地址聚类的共同输入、找零识别、存款归集等启发式规则及其失效点,标签体系与实体识别,混币器与跨链桥造成的资金流断裂,资金流图谱的构图、剪枝与金额比例分配算法,行为指纹与时间序列分析,以及合规取证的证据链固化与报告产出流程。
从 Tendermint BFT 与 ABCI 的应用与共识分层出发,拆解 Cosmos SDK 的模块化应用链架构:Keeper 依赖注入、消息路由与模块管理器;深入 IBC 的客户端、连接、通道三层握手,数据包生命周期与超时重传,轻客户端验证与信任假设,并给出自定义 IBC 应用模块与中继器配置的完整示例。
从代码与数据彻底分离的账户模型出发,系统拆解 Solana 运行时:PDA 种子推导与 bump 搜索、CPI 跨程序调用的签名权限传递、Proof of History 与 Sealevel 并行调度、计算单元预算与租金豁免、账户生命周期与关闭,并给出 Anchor 程序与客户端调用的完整代码示例、常见报错定位与性能优化建议。
联邦学习让数据不出域也能联合建模,代价是通信、异构与隐私三座大山。本文从系统视角讲解横向与纵向联邦的架构差异、梯度压缩与量化等通信优化、异步与半异步更新策略、差分隐私与安全聚合的组合方式、非独立同分布下的收敛缓解手段,以及用 Flower 落地的完整工程实践与排错清单。
视觉 Transformer 把注意力机制引入图像,用自监督预训练摆脱了标注依赖。本文系统讲解 ViT 的补丁嵌入与位置编码、Swin 的层次化窗口注意力、MAE 掩码重建、DINO 自蒸馏与对比学习三条自监督路线、下游微调与知识蒸馏策略,以及部署效率与常见踩坑。
混合专家模型用稀疏激活换取参数规模与算力的解耦。本文系统讲解 MoE 的门控路由与 Top-K 选择、辅助损失与容量因子等负载均衡机制、专家并行与数据并行的训练策略、All-to-All 通信开销与优化、推理时的专家调度与显存布局,以及从零实现 MoE 层与常见故障排查。