初识协程栈

本文基于64位平台、1Page=8KB、Go1.6


原创不易，欢迎👏🏻右下角点赞和在看支持，让作者的辛勤付出得到认可，感谢~

答：位于进程虚拟内存的用户空间，以用户空间的高地址开始位置作为栈底，向地址分配。如下图所示：

答：操作系统的配置决定，可通过`ulimit -s`查看。示例如下：

(TIGERB) 🤔 ➜ go1.16 git:((go1.16)) ✗ ulimit -s
8192 //注释：单位kb，8m
(TIGERB) 🤔 ➜ go1.16 git:((go1.16)) ✗ ulimit -a
-t: cpu time (seconds)             unlimited
-f: file size (blocks)             unlimited
-d: data seg size (kbytes)         unlimited
-s: stack size (kbytes)             8192     //注释：单位kb，8m
-c: core file size (blocks)         0
-v: address space (kbytes)         unlimited
-l: locked-in-memory size (kbytes) unlimited
-u: processes                       1392
-n: file descriptors               256

答：编译器决定。详细解释如下：

// 源代码
package main

func main() {
  a := 1
  b := 2
  c := a + b
  // 略...
}

// 汇编伪代码
SUB 24, SP // 栈上分配24字节内存 3*8byte（分配栈内存指令）
略...
ADD 24, SP // 栈上释放24字节内存 3*8byte（释放栈内存指令）
略...

// 二进制伪代码 随便乱写的
011100011000000101...

答：创建一个线程时，使用malloc从堆上分配一块连续内存作为线程的栈空间。

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

#define STACK_SIZE 1024 * 1024 // 栈空间大小

int main() {
   pthread_t thread;
   void* stack = malloc(STACK_SIZE); // 堆上申请一块内存

   // ...

   pthread_attr_t attr;
   pthread_attr_init(&attr);
   pthread_attr_setstack(&attr, stack, STACK_SIZE); // 设置线程栈

   int ret = pthread_create(&thread, &attr, thread_func, NULL); // 创建线程

   // ...
}

答：创建线程的运行时。

答：同进程，编译器决定。

答：使用`go`关键字创建一个协程时，Go运行时从堆上分配一块连续内存作为协程的栈空间。

答：Go运行时决定，g0为8KB，g为2KB

// src/runtime/proc.go::1720
// 创建 m
func allocm(_p_ *p, fn func(), id int64) *m {
   // ...略
   if iscgo || mStackIsSystemAllocated() {
    mp.g0 = malg(-1)
   } else {
       // 创建g0 并申请8KB栈内存
       // 依赖的malg函数
       mp.g0 = malg(8192 * sys.StackGuardMultiplier)
   }
   // ...略
}

// src/runtime/proc.go::3999
// 创建一个带有任务fn的goroutine
func newproc1(fn *funcval, argp unsafe.Pointer, narg int32, callergp *g, callerpc uintptr) *g {
   // ...略
   newg := gfget(_p_)
   if newg == nil {
     // 全局队列、本地队列找不到g 则 创建一个全新的goroutine
     // _StackMin = 2048
     // 申请2KB栈内存
     // 依赖的malg函数
     newg = malg(_StackMin)
     casgstatus(newg, _Gidle, _Gdead)
     allgadd(newg)
  }
   // ...略
}

// src/runtime/proc.go::3943
// 创建一个指定栈内存的g
func malg(stacksize int32) *g {
 newg := new(g)
 if stacksize >= 0 {
  // ...略
  systemstack(func() {
            // 分配栈内存
   newg.stack = stackalloc(uint32(stacksize))
  })
  // ...略
 }
 return newg
}

答：同进程、线程，都由编译器决定。