Go如何及何时为有界队列通道分配内存？pprof同配置通道内存差异问题

Go 运行时对带缓冲的有界通道，在执行make(chan T, bufferSize)调用的瞬间，会同步完成两部分内存的堆分配，不存在延迟分配的逻辑：

• 通道核心控制结构hchan：固定大小的元数据结构，存储锁、收发位置指针、阻塞等待队列等信息，大小和通道容量、元素类型无关
• 环形缓冲区内存：连续的堆内存块，大小为元素类型大小 * 通道容量，用于暂存待收发的通道元素
  哪怕后续通道一直没有读写操作，这部分内存也会在make调用完成后被占用，不会延后申请。

1. 两个同配置通道的pprof统计值差异，是否是随机采样导致的结果？ #

是。
pprof默认采用概率采样机制记录内存分配，不会逐次记录每一次内存分配，而是累计到一定内存分配阈值后，随机抓取一次调用栈作为样本。这种机制的天然偏差就是：完全相同的两次内存分配，会因为采样时机的随机位置，出现统计值的随机波动，不会精确等于实际分配大小。
你看到的同元素类型、同容量的两个通道分配统计值差为8MB左右，完全落在采样机制的正常波动范围内，并非实际分配的内存大小有差异。

2. Go是否采用惰性方式分配通道内存？（参考现象：服务运行几天后，这些内存统计值最终会趋于均等） #

Go的有界通道不存在惰性分配逻辑。
服务运行几天后统计值趋于均等，本质是采样的统计收敛效果：pprof的统计是累计式的，随着运行时间变长、总采样样本量增大，单次采样带来的随机波动会被逐步稀释，不同通道的统计值会逐渐趋近于理论上的真实相等值，符合大数定律的表现，并非运行时在服务启动后逐步为通道补分配内存。

3. pprof在make(chan...)行统计到的内存，是否包含通道传输的对象内存，而非仅通道本身的开销？ #

不包含。
pprof的内存统计会严格将内存分配的归属标记到触发分配的代码行：

• 通道本身的hchan结构和环形缓冲区内存，是在执行make(chan...)的瞬间触发分配的，所以这部分内存会被记录在对应的make代码行上
• 通道中传输的业务对象，是在执行ch <- xxx写入操作的对应代码行上触发分配的，这部分内存的归属会指向写入通道的代码行，不会回溯到通道初始化的make行
  如果业务对象本身是提前分配好的、再写入通道的，那这部分内存的归属会完全不受通道创建、传输流程的影响。

验证技巧：如果两个通道的元素类型、容量完全一致，可以通过unsafe.Sizeof计算单次make的实际内存大小，和pprof的统计值做对比，会发现统计值的波动始终围绕实际值上下浮动，不会出现本质性的大小差异。

内容的提问来源于stack exchange，提问作者Greg Owen