Golang中go关键字实现原理

    goroutine的主要特征是创建它们的初始内存成本很低廉(大约4k)以及根据需要动态增长和缩减占用的资源。

 

go关键字

       在Go语言中，表达式go f(x, y, z)会启动一个新的goroutine运行函数f(x, y, z)。函数f，变量x、y、z的值是在原goroutine计算的，只有函数f的执行是在新的goroutine中的。显然，新的goroutine不能和当前go线程用同一个栈，否则会相互覆盖。所以对go关键字的调用协议与普通函数调用是不同的。

 

先看看正常的函数调用，下面是调用f(1, 2, 3)时的汇编代码：

MOVL $1, 0(SP)
MOVL $2, 4(SP)
MOVL $3, 8(SP)
CALL f(SB)

首先将参数1、2、3进栈，然后调用函数f

下面是go f(1, 2, 3)生成的代码：

MOVL $1, 0(SP)
MOVL $2, 4(SP)
MOVL $3, 8(SP)
PUSHQ $f(SB)
PUSHQ $12
CALL runtime.newproc(SB)
POPQ AX
POPQ AX

      对比一个会发现，前面部分跟普通函数调用是一样的，将参数存储在正常的位置，并没有新建一个辅助的结构