cygwin编译生成hello world_GCTT 出品 | Go 程序到机器码的编译之旅

最新推荐文章于 2021-05-03 01:21:32 发布

weixin_39939303

最新推荐文章于 2021-05-03 01:21:32 发布

阅读量224

点赞数

文章标签： cygwin编译生成hello world

正文共：8867 字 2 图；预计阅读时间： 23 分钟

首发于：https://studygolang.com/articles/15648

在 Stream 里，我们广泛地使用 Go，它也的确巨大地提高了我们的生产效率。我们也发现 Go 语言性能的确出众。自从使用了 Go 以后，我们也完成了类似于我们内部使用的基于 gRPC, Raft 和 RocksDB 存储引擎这类技术栈关键性部分的目标。

今天我们根据 Go 1.11 版本的编译器，来看一下它是如何将我们的 Go 源代码编译成可执行程序的。以此我们能更加了解我们每天工作所用到的工具。我们也会看到为何 Go 语言如此之快并且编译器在其中所起到的作用。我们会从编译器的下述三个阶段入手：

Scanner(扫描器)将源代码转换为一系列的 token，以供 Parser 使用。
Parser(语法分析器)将这些 token 转换为 AST(Abstract Syntax Tree, 抽象语法树)，以供代码生成。
代码生成阶段，将 AST 转换为机器码。

注意：我们即将使用的包(go/scanner, go/parser, go/token, go/ast 等等)实质上并没有被 Go 编译器使用，它们主要是提供给其他工具用来操作 Go 源码的。然而，实际的 Go 编译器实现上也是类似的。这是因为 Go 编译器最早是用 C 语言编写的，后来才用 Go 实现了自举。所以它仍然保持了原先的结构。

Scanner

任何编译器所做的第一步都是将源代码转换成 token，这就是 Scanner (也被称为 “词法分析器”)所做的事。Token 可以是关键字，字符串值，变量名以及函数名等等。任何合法的程序词都可以用 token 来表示。具体到 Go 来说，我们就可能会得到一个 token 列表，包含 "package", "main", "func" 等等。

在 Go 中，每个 token 都以它所处的位置，类型和原始字面量来表示。Go 甚至允许我们在程序中通过 go/scanner 和 go/scanner 包来手动执行 scanner。这意味着我们可以观察到当我们的程序经过词法分析阶段之后的样子。为此，我们写个程序来打印一下 Hello World 程序所生成的所有的 token。

程序如下：

 1package main
 2
 3import (
 4    "fmt"
 5    "go/scanner"
 6    "go/token"
 7)
 8
 9func main() {
10    src := []byte(`package main11import "fmt"12func main() {13  fmt.Println("Hello, world!")14}15`)
16
17    var s scanner.Scanner
18    fset := token.NewFileSet()
19    file := fset.AddFile("", fset.Base(), len(src))
20    s.Init(file, src, nil, 0)
21
22    for {
23        pos, tok, lit := s.Scan()
24        fmt.Printf("%-6s%-8s%q\n", fset.Position(pos), tok, lit)
25
26        if tok == token.EOF {
27            break
28        }
29    }
30}

我们先创建源码字符串，然后初始化 scanner.Scanner 来扫描我们的源码。我们可以通过不停地调用 Scan() 方法来获取 token 的位置，类型和字面量，直到遇到 EOF 标记。

当运行程序后，会得到如下输出：

 11:1   package "package"
 21:9   IDENT   "main"
 31:13  ;       "\n"
 42:1   import  "import"
 52:8   STRING  "\"fmt\""
 62:13  ;       "\n"
 73:1   func    "func"
 83:6   IDENT   "main"
 93:10  (       ""
103:11  )       ""
113:13  {       ""
124:3   IDENT   "fmt"
134:6   .       ""
144:7   IDENT   "Println"
154:14  (       ""
164:15  STRING  "\"Hello, world!\""
174:30  )       ""
184:31  ;       "\n"
195:1   }       ""
205:2   ;       "\n"
215:3   EOF     ""

如此我们就看到了当编译过程中 Parser 所用到的 token 了。我们也可以看到 scanner 打印出了分号，就像 C 语言等其他语言一样。这就解释了为什么 Go 语言不需要写分号，因为 scanner 给自动添加了。

Parser

当源码被扫描之后，结果就被传递给了 parser。Parser 用来在编译过程中将 token 转换为抽象语法树(AST)。AST 是源代码的一种结构化的表示方式。在 AST 中，我们能够看出程序的结构，比如函数和常量的声明。

Go 同样提供了包 go/parser 和 go/ast 给我们用来解析程序和查看 AST。我们可以这样来打印完整的 AST:

 1package main
 2
 3import (
 4    "go/ast"
 5    "go/parser"
 6    "go/token"
 7    "log"
 8)
 9
10func main() {
11    src := []byte(`package main12import "fmt"13func main() {14  fmt.Println("Hello, world!")15}16`)
17
18    fset := token.NewFileSet()
19
20    file, err := parser.ParseFile(fset, "", src, 0)
21    if err != nil {
22        log.Fatal(err)
23    }
24
25    ast.Print(fset, file)
26}

输出：

 1     0  *ast.File {
 2     1  .  Package: 1:1
 3     2  .  Name: *ast.Ident {
 4     3  .  .  NamePos: 1:9
 5     4  .  .  Name: "main"
 6     5  .  }
 7     6  .  Decls: []ast.Decl (len = 2) {
 8     7  .  .  0: *ast.GenDecl {
 9     8  .  .  .  TokPos: 3:1
10     9  .  .  .  Tok: import
11    10  .  .  .  Lparen: -
12    11  .  .  .  Specs: []ast.Spec (len = 1) {
13    12  .  .  .  .  0: *ast.ImportSpec {
14    13  .  .  .  .  .  Path: *ast.BasicLit {
15    14  .  .  .  .  .  .  ValuePos: 3:8
16    15  .  .  .  .  .  .  Kind: STRING
17    16  .  .  .  .  .  .  Value: "\"fmt\""
18    17  .  .  .  .  .  }
19    18  .  .  .  .  .  EndPos: -
20    19  .  .  .  .  }
21    20  .  .  .  }
22    21  .  .  .  Rparen: -
23    22  .  .  }
24    23  .  .  1: *ast.FuncDecl {
25    24  .  .  .  Name: *ast.Ident {
26    25  .  .  .  .  NamePos: 5:6
27    26  .  .  .  .  Name: "main"
28    27  .  .  .  .  Obj: *ast.Object {
29    28  .  .  .  .  .  Kind: func30    29  .  .  .  .  .  Name: "main"31    30  .  .  .  .  .  Decl: *(obj @ 23)32    31  .  .  .  .  }33    32  .  .  .  }34    33  .  .  .  Type: *ast.FuncType {
35    34  .  .  .  .  Func: 5:1
36    35  .  .  .  .  Params: *ast.FieldList {
37    36  .  .  .  .  .  Opening: 5:10
38    37  .  .  .  .  .  Closing: 5:11
39    38  .  .  .  .  }
40    39  .  .  .  }
41    40  .  .  .  Body: *ast.BlockStmt {
42    41  .  .  .  .  Lbrace: 5:13
43    42  .  .  .  .  List: []ast.Stmt (len = 1) {
44    43  .  .  .  .  .  0: *ast.ExprStmt {
45    44  .  .  .  .  .  .  X: *ast.CallExpr {
46    45  .  .  .  .  .  .  .  Fun: *ast.SelectorExpr {
47    46  .  .  .  .  .  .  .  .  X: *ast.Ident {
48    47  .  .  .  .  .  .  .  .  .  NamePos: 6:2
49    48  .  .  .  .  .  .  .  .  .  Name: "fmt"
50    49  .  .  .  .  .  .  .  .  }
51    50  .  .  .  .  .  .  .  .  Sel: *ast.Ident {
52    51  .  .  .  .  .  .  .  .  .  NamePos: 6:6
53    52  .  .  .  .  .  .  .  .  .  Name: "Println"
54    53  .  .  .  .  .  .  .  .  }
55    54  .  .  .  .  .  .  .  }
56    55  .  .  .  .  .  .  .  Lparen: 6:13
57    56  .  .  .  .  .  .  .  Args: []ast.Expr (len = 1) {
58    57  .  .  .  .  .  .  .  .  0: *ast.BasicLit {
59    58  .  .  .  .  .  .  .  .  .  ValuePos: 6:14
60    59  .  .  .  .  .  .  .  .  .  Kind: STRING
61    60  .  .  .  .  .  .  .  .  .  Value: "\"Hello, world!\""
62    61  .  .  .  .  .  .  .  .  }
63    62  .  .  .  .  .  .  .  }
64    63  .  .  .  .  .  .  .  Ellipsis: -
65    64  .  .  .  .  .  .  .  Rparen: 6:29
66    65  .  .  .  .  .  .  }
67    66  .  .  .  .  .  }
68    67  .  .  .  .  }
69    68  .  .  .  .  Rbrace: 7:1
70    69  .  .  .  }
71    70  .  .  }
72    71  .  }
73    ..  .  .. // Left out for brevity
74    83  }

在上述输出中，你可以看到不少关于程序的信息。在 Decls 字段中，包含了文件中所有声明的列表，比如 imports, constants, variables 和 functions。在本例中只有两个，我们 fmt 包的导入(import)和 main 函数。

为了更加深入，我们看一下下述示意图。它就代表了上述的数据，但只包含了类型信息和红色的代码用以标识各个节点。

main 函数由三个部分组成：函数名，定义和函数体。函数名就是取值为 main 的标识符。Type 字段对应的就是定义，根据情况会包含一系列的参数和返回值。函数体就是一系列的程序语句。这边我们就一条语句。

在 AST 中我们唯一的一条 fmt.Println 语句也包含了不少东西。定义是 ExprStmt，表示一个表达式。在这里的话，就是一个函数调用。当然，有时候也可以是一个字面量，一个二元表达式(加减表达式)，一个一元表达式(取负数操作)或者其他。任何函数调用中的参数也都是一个表达式。

我们的 ExprStmt 包含了一个 CallExpr，也就是实际的函数调用。它同样也包含了许多部分，最重要的就是 Fun 和 Args。Fun 包含了对于函数调用的一个引用，在这边就是一个 SelectorExpr。因为我们从 fmt 包中选择了 Println 标识符。然而，在 AST 中编译器并不知道 fmt 是一个包，它也有可能是一个变量。

Args 包含了一个表示函数调用参数的表达式列表。在本例中，我们给函数传递了一个字符串字面量，它被表示为类型为 STRING 的一个 BasicLit。

很显然我们能从 AST 中推断出很多东西。这表示我们可以更深入地观察 AST 并从文件中找出所有的函数调用。为此，我们需要使用 ast 包中的 Inspect 函数。这个函数会遍历整棵语法树以便于我们观察所有节点的信息。

为了提取出所有的函数调用，我们使用如下代码：

 1package main
 2
 3import (
 4    "fmt"
 5    "go/ast"
 6    "go/parser"
 7    "go/printer"
 8    "go/token"
 9    "log"
10    "os"
11)
12
13func main() {
14    src := []byte(`package main15import "fmt"16func main() {17  fmt.Println("Hello, world!")18}19`)
20
21    fset := token.NewFileSet()
22
23    file, err := parser.ParseFile(fset, "", src, 0)
24    if err != nil {
25        log.Fatal(err)
26    }
27
28    ast.Inspect(file, func(n ast.Node) bool {
29        call, ok := n.(*ast.CallExpr)
30        if !ok {
31            return true
32        }
33
34        printer.Fprint(os.Stdout, fset, call.Fun)
35        fmt.Println()
36
37        return false
38    })
39}

这边我们所做的就是从所有节点中找出所有类型为 *ast.CallExpr 的节点，这些节点就代表了函数调用。我们会通过使用 printer 包，传入 Fun 成员变量，来打印函数的名称。

这段代码的输出如下：

1fmt.Println

这也就是我们这个简单的程序中所有并且唯一的函数调用。

当 AST 构建完成之后，所有的导入都会依赖于 GOPATH，或者 Go 1.11 及以上版本中的 modules。然后，就会执行类型检查，并且做一些初步优化以使得程序运行的更快。

代码生成

当包导入和类型检查完成之后，我们就能确定 Go 程序代码是合法的并可以开始将 AST 转换为(伪)机器代码了。

这个过程的第一步就是将 AST 转换到更低一层的程序形式，具体来说就是 SSA (Static Single Assignment，静态单赋值)。这个中间形式并非最终的机器码但很大程序上已经差不多了。SSA 有一系列的属性使得它更易于优化。最重要的是每个变量在使用前都必定会被预先定义，并且每个变量都会被明确地赋值过一次。

在最初版本的 SSA 生成之后，就会被进行一系列的优化。这些优化被应用于代码的特定阶段使得处理器能够更简单和快速地执行。举例来说，像 if (false) { fmt.Println(“test”) } 这类的死代码可以删除，因为永远不可能被执行到。另一个优化的例子是特定的 nil 检查可以移除，因为编译器可以保证它们永远不会失败。

现在让我们看一下下面这个小程序的 SSA 和优化阶段：

1package main
2
3import "fmt"
4
5func main() {
6    fmt.Println(2)
7}

你可以看到，这个程序只有一个函数和一个导入。运行会打印出 2。然而，这个程序对于我们了解 SSA 来说已经足够了。

注意：我们只展示 main 函数的 SSA，因为它才有实际意义

为了展示生成的 SSA，我们需要对要查看 SSA 的方法设置环境变量 GOSSAFUNC，此处就是 main。我们还需要给编译器传递 -S 标志，这样它才能打印代码并创建一个 HTML 文件。我们也会针对 Linux 64-bit 环境进行编译，从而保证生成的机器码和你这边看到的一样。所以，我们运行：

1$ GOSSAFUNC=main GOOS=linux GOARCH=amd64 go build -gcflags “-S” simple.go

这会打印整个 SSA，并生成一个相关联的 ssa.html 文件。

当你打开 ssa.html，你会看到一系列的阶段，大部分被折叠了。最开始的阶段是从 AST 生成 SSA。再然后就是将非特定机器的 SSA 转换成特定机器的 SSA。最后生成最终的机器码 genssa。

起始阶段的代码看起来像这样：

 1b1:
 2    v1  = InitMem  3    v2  = SP  4    v3  = SB  5    v4  = ConstInterface <interface {}> 6    v5  = ArrayMake1 1]interface {}> v4 7    v6  = VarDef  {.autotmp_0} v1 8    v7  = LocalAddr 1]interface {}> {.autotmp_0} v2 v6 9    v8  = Store  {[1]interface {}} v7 v5 v610    v9  = LocalAddr 1]interface {}> {.autotmp_0} v2 v811    v10 = Addr  {type.int} v312    v11 = Addr int> {"".statictmp_0} v313    v12 = IMake <interface {}> v10 v1114    v13 = NilCheck <void> v9 v815    v14 = Const64 <int> [0]16    v15 = Const64 <int> [1]17    v16 = PtrIndex interface {}> v9 v1418    v17 = Store  {interface {}} v16 v12 v819    v18 = NilCheck <void> v9 v1720    v19 = IsSliceInBounds <bool> v14 v1521    v24 = OffPtr interface {}> [0] v222    v28 = OffPtr int> [24] v223If v19 → b2 b3 (likely) (line 6)2425b2: ← b126    v22 = Sub64 <int> v15 v1427    v23 = SliceMake interface {}> v9 v22 v2228    v25 = Copy  v1729    v26 = Store  {[]interface {}} v24 v23 v2530    v27 = StaticCall  {fmt.Println} [48] v2631    v29 = VarKill  {.autotmp_0} v2732Ret v29 (line 7)3334b3: ← b135    v20 = Copy  v1736    v21 = StaticCall  {runtime.panicslice} v2037Exit v21 (line 6)38

就这个简单的程序也生成了大量的 SSA(总共 35 行)。然而，有很多都是模版并可以被移除(最终的 SSA 版本包含 28 行并且最终的机器码只有 18 行)。

每个 v 都是一个新变量，能够通过点击查看。b's 表示语句块。这里我们有三个语句块：b1, b2 和 b3。b1 每次都会被执行。b2 和 b3 是条件语句块，可以从 b1 的末尾看到 If v19 → b2 b3 (likely)。我们可以点击这行的 v19 来查看它的定义。我们能够看到它被定义为 IsSliceInBoundsv14 v15。通过查看 Go 编译器源码我们会发现 IsSliceInBounds 检查了 0 <= arg0 <= arg1 条件。我们同样可以点击 v14 和 v15 来查看定义。可以看到 v14 定义为 v14 = Const64[0]；Const64 是一个 64 位常量整数。v15 也是一样但值为 1。所以我们可以得到 0 <= 0 <= 1，很显然结果为 true。

编译器也能保证这种情况。我们查看 opt 阶段(机器独立优化)，会发现 v19 被重写成了 ConstBool[true]。这会被使用在 opt deadcode 阶段，导致 b3 被移除。因为 v19 条件永远是正确的。

现在我们来看一下当 SSA 被转换为特定机器的 SSA(此处为针对 amd64 架构的机器码)之后 Go 编译器所做的另一个简单的优化。为此，我们要对比一下更低层的死代码。下面就是更低层的阶段：

 1b1:
 2    BlockInvalid (6)
 3b2:
 4    v2 (?) = SP  5    v3 (?) = SB  6    v10 (?) = LEAQ  {type.int} v3 7    v11 (?) = LEAQ int> {"".statictmp_0} v3 8    v15 (?) = MOVQconst <int> [1] 9    v20 (?) = MOVQconst  [0]10    v25 (?) = MOVQconst  [0]11    v1 (?) = InitMem 12    v6 (6) = VarDef  {.autotmp_0} v113    v7 (6) = LEAQ 1]interface {}> {.autotmp_0} v214    v9 (6) = LEAQ 1]interface {}> {.autotmp_0} v215    v16 (+6) = LEAQ interface {}> {.autotmp_0} v216    v18 (6) = LEAQ  {.autotmp_0} [8] v217    v21 (6) = LEAQ  {.autotmp_0} [8] v218    v30 (6) = LEAQ int> [16] v219    v19 (6) = LEAQ int> [8] v220    v23 (6) = MOVOconst  [0]21    v8 (6) = MOVOstore  {.autotmp_0} v2 v23 v622    v22 (6) = MOVQstore  {.autotmp_0} v2 v10 v823    v17 (6) = MOVQstore  {.autotmp_0} [8] v2 v11 v2224    v14 (6) = MOVQstore  v2 v9 v1725    v28 (6) = MOVQstoreconst  [val=1,off=8] v2 v1426    v26 (6) = MOVQstoreconst  [val=1,off=16] v2 v2827    v27 (6) = CALLstatic  {fmt.Println} [48] v2628    v29 (5) = VarKill  {.autotmp_0} v2729Ret v29 (+7)30

在 HTML 文件中，一些行是灰色的，这意味着它们会被移除或者在下个阶段中改变。举例来说，v15 (MOVQconst[1]) 是灰色的。通过点击查看 v15，我们发现它没有在任何地方被使用。MOVQconst 大体上和之前的 Const64 是一样的，都是针对 amd64 架构的。所以我们把 v15 设置为 1。然而，v15 并没有被使用，所以可以被删除。

Go 编译器做了很多这类的优化。所以，虽然从 AST 转换得到的最初版本的 SSA 并非最快的实现，但是编译器会优化 SSA 得到更快速的版本。HTML 文件中的每个阶段都是一种潜在的提速。