2024

06-02 Hydra: 窥孔优化泛化
04-16 有状态编译器: 加速增量编译
04-11 x86 指令集应该消亡?
03-17 HALO: 动态堆内存布局优化技术
03-04 CompCert: 通过形式化验证的编译器

2023

12-04 HotColdSplitting: 代码分离之性能优化
11-29 Outline: 代码分离编译优化
11-05 编译优化 - 窥孔优化
11-02 区块链学习笔记
09-21 LLMs 协助编译器优化代码体积
09-18 cola: 多人协作文档无冲突复制数据类型
09-09 HIP: 异构计算的兼容方式简介
08-14 C/C++ calloc() 函数的一些内幕
08-06 PA: 防护内存溢出攻击的验签机制
07-30 用 AI 检测代码覆盖率
07-23 Alive2: LLVM 编译器优化正确性验证工具
07-17 WSL: 用于 Linux 运行的 Windows 子系统简介
07-03 编译器 inline 内联优化简介
06-19 binary instrumentation: 二进制执行文件插桩简介
06-05 内存操作对性能影响简析
05-22 C/C++ 尾调用优化案例
05-14 需求驱动编译简介
05-07 IRPGO 扩展: 兼顾性能和体积的 PGO 方式
05-07 P2P 网络简介
05-04 PGO 新玩法: 优化移动端 APP 性能和体积
04-23 负载均衡简介
04-16 YARPGen: 编译器 bug 测试工具
04-02 《低风险创业》书摘
04-01 尾调用优化简介
03-25 《影响力》书摘
03-19 MLIR: 多层级通用编译器 IR 简介
02-05 《投资最重要的事》书摘

2022

10-30 静态分析优化代码分支性能
10-16 《人类简史》书摘
10-07 跨翻译单元分析与优化简介
09-25 《蛤蟆先生去看心理医生》书摘
09-18 LLVM-XRay: 函数调用跟踪系统简介
09-12 C++ 虚函数优化探索简介
08-21 《独角兽项目》书摘
08-14 Propeller: 代码布局优化技术简介
08-07 BOLT: 链接后优化技术简介
07-30 《思考快与慢》书摘
07-24 C++ Insights: 源码探查工具
07-17 MLGO: 用强化学习为 LLVM 提供优化策略
07-10 LLVM Opt-Pipeline 查看
07-09 《哲学家们都干了些什么》书摘
07-02 LLVM 中的循环: Loop
06-05 编译优化概念:Canonicalization
05-29 《社会学的想象力》书摘
05-15 LLVM Instrumentation 程序探测