【系统架构设计】防御性架构：用系统设计约束 AI 犯错
当 AI 默认参与写代码与改系统，架构的任务从「选对模式」扩展为「把破坏半径钉死」。本文从失败场景出发，梳理类型、契约、策略引擎与沙箱组成的约束谱系，对照弹性工程里「失败必发生」的假设，并讨论过度约束与交付速度的争论边界。
type-system 标签归档
共 3 篇文章 · 返回首页
【eBPF 内核实现深度拆解】BTF 格式规范与内核类型系统
从 BTF 的二进制编码格式（btf_header + type entries + string table）出发，讲清 BTF 如何编码基本类型、结构体、联合体、函数原型与 typedef——BTF.ext 节的 func_info/line_info 记录，以及内核 pahole 的 BTF 生成与去重算法 btf_dedup。
【编译器与 MLIR】类型系统与属性
解析 MLIR 的类型体系：内建类型（Integer、Float、Tensor、MemRef）与自定义方言类型的注册机制；区分 Type 与 Attribute 的设计意图；通过 OpBuilder 理解类型和属性在 IR 构造中的实际角色。