通过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 -

用Go语言实现推送服务器 陈叶皓 chen.yh@ctrip.com 议程 • 推送服务器介绍 • Golang特点 • 推送服务架构 • 部分代码 • 上线效果 议程 • 推送服务器介绍 • 推送服务架构 • 部分代码 • 上线效果 什么是推送服务器 • 推送业务信息到手机端 • 始终保持连接 推送服务器要求 • 高并发 • 可靠性 • 高性能 • 支持水平扩展 • 无单点故障 无单点故障 Go语言特性 • 静态的、编译的 • 自动内存回收 • 命令式编程 • 函数可以作为值 • 面向并发 • 内置RPC支持 推送服务器要求的应对 • 高并发 – goroutine • 可靠性 – 使用Redis暂存消息 • 高性能 – 静态编译语言 • 支持水平扩展 – 使用RPC组成集群 • 无单点故障 – 使用Redis实现数据共享 Go语言的并发模型 • 事件驱动，共享线程池 含一 个获取返回值的channel 议程 • 推送服务器介绍 • 推送服务架构 • 部分代码 • 上线效果 逻辑架构 去中心化设计 • 客户端随机连接 • Redis集中存储地址表 • 信息发送2跳到达 消息缓存设计 • 消息预存（Redis） • 尝试发送 • 发送成功后删除 客户端注册时序图 议程 • 推送服务器介绍 • 推送服务架构 • 部分代码 • 上线效果 串行场景-Socket

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编程 带来了许多便利，使我们不用从头实现这些类型。 但另一方面，这些封装隐藏 了这些类型的内部结构， 从而对我们更深入地理解这些类型的值的行为带来了

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编程带来了许多 便利，使我们不用从头实现这些类型。 但另一方面，这些封装隐藏了这些类型的内 部结构， 从而对我们更深入地理解这些类型的值的行为带来了一些障碍。

Go 2.5 在 Windows 上安装 Go 2.6 安装目录清单 2.7 Go 运行时（runtime） 2.8 Go 解释器 第3章：编辑器、集成开发环境与其它工具 3.1 Go 开发环境的基本要求 3.2 编辑器和集成开发环境 3.3 调试器 3.4 构建并运行 Go 程序 3.5 格式化代码 3.6 生成代码文档 3.7 其它工具 3.8 Go 性能说明 3.9 4 使用 select 切换协程 14.5 通道、超时和计时器（Ticker） 14.6 协程和恢复（recover） 14.7 新旧模型对比：任务和worker 14.8 惰性生成器的实现 14.9 实现 Futures 模式 第 15 章 网络，模板和网页应用 15.1 tcp服务器 15.2 一个简单的网页服务器 15.3 访问并读取页面 15.4 写一个简单的网页应用 我们会经常涉及到一些关于 Go 语言的编码规范，了解和使用这些已经被广泛认同的规范应该是你学习阶段最重要的 实践。我会在书中尽量使用已经讲解的概念或者技巧来解释相关的代码示例，以避免你在不了解某些高级概念的情况 下而感到迷茫。 我们通过 227 个完整的代码示例和书中的解释说明来对所有涉及到的概念和技巧进行彻底的讲解，你可以下载这些 代码到你的电脑上运行，从而加深对概念的理解。 本书会尽可能地将前后章节的内

我们会经常涉及到一些关于 Go 语言的编码规范，了解和使用这些已经被广泛认同的规范应该是你学习阶 段最重要的实践。我会在书中尽量使用已经讲解的概念或者技巧来解释相关的代码示例，以避免你在不了 解某些高级概念的情况下而感到迷茫。 我们通过 227 个完整的代码示例和书中的解释说明来对所有涉及到的概念和技巧进行彻底的讲解，你可以 Go入门指南 - 2 - 本文档使用 看云 构建 下载这些代码到你的电脑上运行，从而加深对概念的理解。 语言大师的道路上更加顺利，我们会专注于一些特别的章节以提供 Go 语言开发模式 的最佳实践，同时也会帮助初学者逃离一些语言的陷阱。第 18 章可以作为你在开发时的一个参考手册， 因为当中包含了众多的有价值的代码片段以及相关的解释说明。 最后要说明的是，你可以通过完整的索引来快速定位你需要阅读的章节。书中所有的代码都在 Go1.4 版本 下测试通过。 这里有一段来自在 C++、Java 和 Python 领域众所周知的专家 欢迎来到 Go 语言开发的奇妙世界！ Go入门指南 - 3 - 本文档使用 看云 构建 第一部分：学习 Go 语言 第1章：Go 语言的起源，发展与普及 第2章：安装与运行环境 第3章：编辑器、集成开发环境与其它工具 第1章：Go 语言的起源，发展与普及 1.1 起源与发展 Go 语言起源 2007 年，并于 2009 年正式对外发布。它从 2009 年 9 月 21 日开始作为谷歌公司

构建锁 路路线图 ⼀一. Redis 简介 ⼆二. 使⽤用 Redis 构建锁 三. 使⽤用 Redis 构建在线⽤用户统计器器 路路线图 ⼀一. Redis 简介 ⼆二. 使⽤用 Redis 构建锁 三. 使⽤用 Redis 构建在线⽤用户统计器器 四. 使⽤用 Redis 构建⾃自动补完程序 Redis an open source, in-memory data structure repl := client.Cmd("PING") content, _ := repl.Str() fmt.Println(content) // "PONG" } 连接服务器器 连接客户端 package main import ( "fmt" "github.com/mediocregopher/radix.v2/redis" ) func main() repl := client.Cmd("PING") content, _ := repl.Str() fmt.Println(content) // "PONG" } 连接服务器器 执⾏行行命令并获取回复 连接客户端 package main import ( "fmt" "github.com/mediocregopher/radix.v2/redis"

12.部署与维护 12.1 应用日志 12.2 网站错误处理 12.3 应用部署 12.4 备份和恢复 12.5 小结 13.如何设计一个Web框架 13.1 项目规划 13.2 自定义路由器设计 13.3 controller设计 13.4 日志和配置设计 13.5 实现博客的增删改 13.6 小结 14.扩展Web框架 14.1 静态文件支持 14.2 Session支持 14 觉起来比典型的面向对象语言更轻量级。 Go完全是垃圾回收型的语言，并为并发执行与通信提供了基本的支持。 按照其设计，Go打算为多核机器上系统软件的构造提供一种方法。 Go是一种编译型语言，它结合了解释型语言的游刃有余，动态类型语言的开发效率，以及静态类型的安全性。它也打 算成为现代的，支持网络与多核计算的语言。要满足这些目标，需要解决一些语言上的问题：一个富有表达能力但轻 量级的类型系统，并发与 bash 运行all.bash后出现"ALL TESTS PASSED"字样时才算安装成功。 上面是Unix风格的命令，Windows下的安装方式类似，只不过是运行all.bat，调用的编译器是MinGW的gcc。 然后设置几个环境变量， export GOROOT=$HOME/go export GOBIN=$GOROOT/bin export PATH=$PATH:$GOBIN

可对比的结果是在可控的环境下得到的 ○ 笔记本电脑 CPU 的执行效率受电源管理等因素影响，连续测试同一段代码可能先得到短暂的性 能提升，而后由于温度的上升导致性能下降 ○ 虚拟机或（共享）云服务器上可能受到宿主机资源分配等因素导致测量结果不稳定 2020 © Changkun Ou · Go 夜读 · 对 Go 程序进行可靠的性能测试 性能基准测试的两个基本目标 6 可重复性：在其他外在条件不 RBTree_Put/size-900-8 217ns ± 0% 2020 © Changkun Ou · Go 夜读 · 对 Go 程序进行可靠的性能测试 例 3：编译器优化 16 编译器优化产生的直接影响是测量的目标不准确，这一点在 C++ 编译器中相当 严重。编译器优化是一个比较大的话题，有很多可以深入讨论的内容，以后有机 会再表。只举比较简单的一例。comp1 和 comp2 一样快吗？ func comp1(s1 SetMaxHeap ○ 关闭无关程序和进程等等…… ❏ 确定测试代码的正确性 ○ 考虑 Goroutine 的终止性，当某些并发的工作发生在基准测试结束后，那么测量是不准确的 ○ 考虑编译器进行了过度优化或基准测试代码本身编写错误导致测量程序不正确 ❏ 实施性能基准测试 ○ （如果需要）计算需要采样的次数，否则推荐 20 次 ○ 使用 git stash 记录并撤销代码的修改，执行测试得到修改前的性能测试结果