1.12

defer func(){} —> 会被翻译成两个函数

  1. deferproc() : 注册，defer func(){} 到g的defer链表中，头插法。defer需要进行堆分配，而且参数变量需要进行堆栈间拷贝。

  2. runtime.deferreturn() : 执行，defer链表的中的每一项

    （先注册 -》 后执行）

    // runtime/runtime2.go
type g struct {
 ...
 _panic       *_panic 
 _defer       *_defer // defer 链表
 ...
}

步骤解析：

deferproc

  1. 从defer pool预分配不同规格的defer，不满足时再创建，用完再放回池中。
  2. 进行堆分配_defer结构体，将参数拷贝到堆上
  3. 连接到g的defer链表上

runtime.deferreturn

  1. 执行defer注册的funcval，将堆上的参数拷贝到栈上，进行执行。

注意：

  1. 若其中有发现闭包，堆上分配捕获变量的地址，执行时通过指针加偏移量找到被捕获的变量进行操作
  2. 形如defer A(B(a))
    1. 函数A需要依赖B的返回值进行堆分配内存大小
    2. 所以B函数在注册时候执行，传入变量啊

存在问题：（慢!!!!!）

  1. defer结构体堆分配，参数需要进行堆栈间拷贝。 GC
  2. 链表注册defer信息，执行比较慢。

1.13

性能提升：30%

增加runtime.deferprocStack()函数：

  1. 编译阶段：将defer的参数分配到栈帧的局部变量部分。
  2. deferprocStackdefer内存分配到栈上，并注册到defer链表中，以减少defer的堆分配 // TODO
  3. 但是对于循环defer或隐式循环注册还是需要进行堆分配
  4. defer结构体中加入heap字段区分是否为堆分配

runtime.deferreturn

  1. 若没分配到堆中的defer函数会进行栈的局部变量拷贝到参数空间
  2. 分配到堆上的还是进行参数的堆栈间拷贝

1.14

性能提升一个数量级

改造1： 普通的 defer A(a,b) 会进行分配局部变量a,b，在函数ret之前进行函数调用，达到延迟执行的效果

改造2： 对于带有条件的defer A2() 函数，需要到执行期间才知道是否需要执行。

1.	引入`df`变量进行标记df的每一个bit是0或1，来进行决定defer是否需要执行
2.	执行过了标记为0，避免重复执行。

目标就是通过编译是插入代码，将defer在函数内进行展开执行，就不用defer结构体测创建和注册defer链表了。

官方称之为 open coded defer

但同1.13 一样不适用于循环defer和隐式注册，所以go1.12还是进行保留。

付出代价：

  1. panic()和runtime.GoExit() 退出需要执行defer链表，
  2. 但是由于没注册链表，
  3. 所以需要栈扫描的方式来找到未注册defer函数
  4. 才能按照正常执行。

整体性能优化 > panic发生的概率