大型 C/C++ 静态分析规则工具链
围绕日志定位、规则重构、自动代码生成与 CI 验证,建立第一段真实大型工程经验。
每个项目尽量回答四个问题:真实问题是什么、怎样建立对照、数据说明了什么、结论的适用边界在哪里。企业项目采用脱敏方式,只展示可公开的方法与结果。
从 sample_tokens timeout 反向定位 GPU 首因,完成位级修复、SASS 对照与 graph replay 回归。
打通 [token, layer, top-k] route 采集、observe/replay 与 response-mask 指标闭环。
消除异步 decode 热路径中的 CPU 往返,并覆盖 mixed、恢复、slot reuse 与多卡状态。
纠正 expanded / compact rows 口径,构造 1,024 条 range 回放并扩展 SM90 候选。
将 JIT 产物转化为可校验 bundle,覆盖单卡与 TP=2 的 cold compile 清零验证。
处理算子、Fusion、HostMemory、长跑稳定性与 Kernel Timing,形成公开合入记录。
贯通 W4A16、W8A8、FP8、Attention 后端、KV Cache 与 H200 kernel 适配。
统一 171K 样本、六模型实验设计、多 GPU 调度与可恢复验证;严格区分完整设计和已完成核心任务。
统一结构能够让项目同时服务于简历、面试、技术文章、复现实验和团队知识沉淀。
围绕日志定位、规则重构、自动代码生成与 CI 验证,建立第一段真实大型工程经验。
覆盖 MCU、传感器、控制算法与软硬件协同,是从电子系统走向系统软件的技术起点。
计划补充可直接运行的 Kernel 项目,包含 shape、roofline、profile、正确性和跨架构对照。
未验证的数据不会写成结论;未公开的内部信息不会为了“显得厉害”而泄露。这个网站首先是一份可信的工程记录。