通过SSA的解释执行窥探Golang编译之一角 丁尔男 武汉航天远景 产品总监 凹语言 联合发起人 PLOC 联合发起人 目 录 Golang 编译流程简介 01 SSA 解释执行 02 基于 SSA 的应用 03 Golang 编译流程简介 源代码 抽象语法树 抽象语法树 （带语义信息） 静态单赋值 目标代码 Golang 编译流程简介 源代码 抽象语法树 抽象语法树 Rosen、Mark N. Wegman、F. Kenneth Zadeck 提出的一种中间代码（IR） 表示形式，典型特征是所有变量被且仅被赋值一次。 2016年，Go 1.7 加入 SSA 支持。 SSA 解释执行 02-HelloSSA const src = ` package main func main() { println("Hello, GoCN!") println("The answer *ssa.Call - Call = *ssa.Builtin, println - Args = [“The answer is”, 42] Instrs[2] *ssa.Return SSA 解释执行 02-HelloSSA *ssa.Package main *ssa.Function Blocks[0] *ssa.BasicBlock Instrs[0] *ssa.Call -

模型特点 Claude 3.5 sonnet  平衡性能：在模型大小和 性能之间取得平衡，适合 中等规模任务。  多模态支持：支持文本和 图像处理，扩展应用场景。  可解释性：注重模型输出 的可解释性和透明性。 DeepSeek R1  高效推理：专注于低延迟和 高吞吐量，适合实时应用。  轻量化设计：模型结构优化， 资源占用少，适合边缘设备 和移动端。  多任务支持：支持多种任务， 势 编 程 代 码 生 成 能 力 • 智 能 中 文 古 籍 修 复 与 注 释 ： 利用 DeepSeek R1强大的中文理解能力，自动识 别并修复古籍中的破损文字，同时生成准确的 注释和解释，帮助修复难以辨认的古籍内容。 • 中 文 法 律 文 本 分 析 与 生 成 ： 基于 DeepSeek R1的中文数据处理能力，快速分 析法律文本，提取关键信息，自动生成合同草 案、法律意见书等，提高律师工作效率。 要怎么做？ 撰写文章标题指令 指令：我想让您担任学术期刊编辑，我将向您提供一份手稿摘要，您将向我提供 5 个好的研究论文英文标题，并解释为什 么这个标题是好的。请将输出结果以 Markdown 表格的形式提供，表格有两列，标题为中文。第一列给出英文标题，第二 列给出中文解释。以下文本为摘要： 【指令后加上文章的摘要】。 中-英、英-中互译指令 指令：我想让你充当一名科研类的英汉翻译，我会向你提供

reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第31章：详解panic/recover原理 - 也解释了什么是“函数退出阶段” 第32章：代码块和标识符作用域 第33章：表达式估值顺序规则 第34章：值复制成本 第35章：边界检查消除 并发编程 第36章：并发同步概述 第37章：通道用例大全 第38章：如何优雅地关闭通道 在那个时候，我在日常编程中已 经搜集了不少关于Go编程的细节。 我觉得我可以将这些细节写成一本书。 我 觉得这应该是一件容易的事。 但是我发现我错了。我太过于自信了。 在试图解释一些细节时，我发现我无 法把它们解释清楚。 我对Go编程中的很多细节的底层原因产生了困惑。 随着 越来越多的困惑的积攒，我觉得我对Go的领悟非常有限。 我感觉我仍然是一 个Go新手程序员。 我放弃了写那本书。 一方面，这也使许多Go程序员对他们的Go知识掌握程度过度自信。 从长远 看，这不利于一个Go程序员更好地理解和使用Go。 标准库包中声明的某些函数和类型没有得到详细的解释。很多时候这是可以理 解的。 因为很多细节解释起来很拗口和微妙，有时很难找到适当的措词来清 楚地解释它们。 少量但准确的描述比大量但不准确的描述要好。但这确实也 给Go程序员们留下了一些困惑。 所以你认为简单不是Go的卖点吗？ 我认为，至少简单

reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第31章：详解panic/recover原理 - 也解释了什么是“函数退出阶段” 第32章：代码块和标识符作用域 第33章：表达式估值顺序规则 第34章：值复制成本 第35章：边界检查消除 并发编程 第36章：并发同步概述 第37章：通道用例大全 单的语言，我感觉我已经精通了Go编程。 在那个时候，我在日常编程中已经搜 集了不少关于Go编程的细节。 我觉得我可以将这些细节写成一本书。 我觉得 这应该是一件容易的事。 但是我发现我错了。我太过于自信了。 在试图解释一些细节时，我发现我无法 把它们解释清楚。 我对Go编程中的很多细节的底层原因产生了困惑。 随着越 来越多的困惑的积攒，我觉得我对Go的领悟非常有限。 我感觉我仍然是一个 Go新手程序员。 我放弃了写那本书。 放 方面，这也使许多Go程序员对他们的Go知识掌握程度过度自信。 从长远看， 这不利于一个Go程序员更好地理解和使用Go。 标准库包中声明的某些函数和类型没有得到详细的解释。很多时候这是可以理 解的。 因为很多细节解释起来很拗口和微妙，有时很难找到适当的措词来清楚 地解释它们。 少量但准确的描述比大量但不准确的描述要好。但这确实也给Go 程序员们留下了一些困惑。 所以你认为简单不是Go的卖点吗？ 我认为，至少简单

分布式 可靠性 多线程 网络编程 编译和解释并存 大纲 Java 技术概述 Java 平台核心机制 Java 开发环境 Java 基本开发流程 Java 技术的特点 面向对象 平台无关性 分为源代码级（需重新编译源代码，如 C/C++） 和目标代码级 (Java) 平台无关。 分布式 可靠性 多线程 网络编程 编译和解释并存 大纲 Java 技术概述 Java 平台核心机制 平台无关性 分布式 可靠性 多线程 网络编程 编译和解释并存 大纲 Java 技术概述 Java 平台核心机制 Java 开发环境 Java 基本开发流程 Java 技术的特点 面向对象 平台无关性 分布式 可靠性 不支持直接操作指针，避免了对内存的非法访问； 自动单元回收功能防止内存丢失等动态内存分配导 致的问题；解释器运行时实施检查，可发现数组和 字符串访问的越界；提供了异常处理机制。安全性。 字符串访问的越界；提供了异常处理机制。安全性。 多线程 网络编程 编译和解释并存 大纲 Java 技术概述 Java 平台核心机制 Java 开发环境 Java 基本开发流程 Java 技术的特点 面向对象 平台无关性 分布式 可靠性 多线程 C++ 没有内置的多线程机制，需调用操作系统的 多线程功能来进行多线程序设计；Java 提供了多线 程支持。 网络编程 编译和解释并存 大纲 Java 技术概述 Java

主题标签生成（如新闻分类） 垃圾内容检测 编程与代码相关 代码调试 • 错 误 分 析 与 修 复 建议 • 代 码 性 能 优 化 提 示 技术文档处理 • API文档生成 • 代码库解释与示 例生成 代码生成 • 根 据 需 求 生 成 代 码片段（Python、 JavaScript） • 自 动 补 全 与 注 释 生成 常规绘图 如何使用DeepSeek？ 需避免过度约束 启发式提问 通过提问引导模型主 动思考（如“为什 么”“如何”） 探索性问题、需模型解 释逻辑 “为什么选择梯度下降法解 决此优化问题？请对比其他 算法。” ✅ 触发模型自解释能力 ❌ 可能偏离核心目标 任务需求与提示语策略 任务类型 适用模型 提示语侧重点 示例（有效提示） 需避免的提示策略 数学证明 推理模型 直接提问，无需分步引导 “证明勾股定理” 冗余拆解（如“先画图，再列公式”） 的短篇小说，不超过200字” 开放式指令（如“自由创作”） 代码生成 推理模型 简洁需求，信任模型逻辑 “用Python实现快速排序” 分步指导（如“先写递归函数”） 通用模型 细化步骤，明确输入输出格式 “先解释快速排序原理，再写出代 码并测试示例” 模糊需求（如“写个排序代码”） 多轮对话 通用模型 自然交互，无需结构化指令 “你觉得人工智能的未来会怎样？” 强制逻辑链条（如“分三点回答”） 推理模型

主题标签生成（如新闻分类） 垃圾内容检测 编程与代码相关 代码调试 • 错 误 分 析 与 修 复 建议 • 代 码 性 能 优 化 提 示 技术文档处理 • API文档生成 • 代码库解释与示 例生成 代码生成 • 根 据 需 求 生 成 代 码片段（Python、 JavaScript） • 自 动 补 全 与 注 释 生成 常规绘图 如何使用DeepSeek？ 需避免过度约束 启发式提问 通过提问引导模型主 动思考（如“为什 么”“如何”） 探索性问题、需模型解 释逻辑 “为什么选择梯度下降法解 决此优化问题？请对比其他 算法。” ✅ 触发模型自解释能力 ❌ 可能偏离核心目标 任务需求与提示语策略 任务类型 适用模型 提示语侧重点 示例（有效提示） 需避免的提示策略 数学证明 推理模型 直接提问，无需分步引导 “证明勾股定理” 冗余拆解（如“先画图，再列公式”） 的短篇小说，不超过200字” 开放式指令（如“自由创作”） 代码生成 推理模型 简洁需求，信任模型逻辑 “用Python实现快速排序” 分步指导（如“先写递归函数”） 通用模型 细化步骤，明确输入输出格式 “先解释快速排序原理，再写出代 码并测试示例” 模糊需求（如“写个排序代码”） 多轮对话 通用模型 自然交互，无需结构化指令 “你觉得人工智能的未来会怎样？” 强制逻辑链条（如“分三点回答”） 推理模型

reflect标准库包中提供的反射支持 一些专题 第28章：代码断行规则 第29章：更多关于延迟函数调用的知识点 第30章：一些恐慌/恢复用例 第31章：详解panic/recover原理 - 也解释了什么是“函数退出阶段” 第32章：代码块和标识符作用域 目录 2 第33章：表达式估值顺序规则 第34章：值复制成本 第35章：边界检查消除 并发编程 第36章：并发同步概述 第37章：通道用例大全 语言，我感觉我已经精通了Go编程。 在那个时候，我在日常编程中已经搜集了不少 关于Go编程的细节。 我觉得我可以将这些细节写成一本书。 我觉得这应该是一件 容易的事。 但是我发现我错了。我太过于自信了。 在试图解释一些细节时，我发现我无法把它 们解释清楚。 我对Go编程中的很多细节的底层原因产生了困惑。 随着越来越多的 困惑的积攒，我觉得我对Go的领悟非常有限。 我感觉我仍然是一个Go新手程序员。 我放弃了写那本书。 放弃 也使许多Go程序员对他们的Go知识掌握程度过度自信。 从长远看，这不利于一个Go 程序员更好地理解和使用Go。 标准库包中声明的某些函数和类型没有得到详细的解释。很多时候这是可以理解 的。 因为很多细节解释起来很拗口和微妙，有时很难找到适当的措词来清楚地解释 它们。 少量但准确的描述比大量但不准确的描述要好。但这确实也给Go程序员们留 下了一些困惑。 所以你认为简单不是Go的卖点吗？ 我认为，至少

案例：栈式虚拟机 Hongbo Zhang 1 编译与解释 编译 源程序 x 编译器 -> ⽬标程序 ⽬标程序 x 输⼊数据 -> 输出数据 解释 源程序 x 输⼊数据 x 解释器 -> 输出数据 CPU可以被视为⼴义上的解释器 拓展阅读：⼆村映射/部分计算 部分计算：程序优化，根据已知信息，运算进⾏特化 已知源程序与解释器，进⾏部分运算，获得⽬标程序 ⽬标程序 x 输⼊数据 输⼊数据 -> 输出数据 2 虚拟机 ⼀处编写，处处运⾏ 定义⼀个不基于任何平台的指令集 在不同平台上实现解释器 两种常⻅的虚拟机 堆栈虚拟机：运算数存储在栈上，数据遵循先进后出原则 寄存器虚拟机：运算数存储在寄存器中 3 寄存器虚拟机 例：Lua VM (The Implementation of Lua 5.0) 取最⼤值 MOVE 2 0 0 ; R(2) = R(0) concat(List::[Sub]) 8. _ => List::[] 9. } 10. } 23 构建解释器 ⼀种可能的解释器 操作数栈 参与运算的数值 函数的返回数量，返回后的剩余代码 指令队列 当前执⾏的指令 分为普通指令和控制指令（如函数结束时的返回） 24 解释器结构 1. enum StackValue { 2. Val(Value) // 普通数值 3.