定制化：为动态类型的 SELF 语言优化编译器技术

📋 概述

这是 Chambers 与 Ungar 发表于 PLDI '89 的经典论文。动态类型面向对象语言对程序员友好，却因缺乏静态类型信息而牺牲性能。作者提出一系列从“无声明”程序中提取静态类型信息的技术：为每个过程按接收者类型编译多份副本，使接收者类型在编译期绑定；预测那些静态未知但很可能的类型并插入运行期类型测试加以验证；拆分调用，为每条控制路径生成按该路径具体类型优化的副本。将这些技术与编译期消息查找、激进内联及传统优化结合，使动态类型 OO 语言性能翻倍。