网上关于sync.Pool的源码分析的文章比较多,本文的重点不在于源码分析,而在于简单易懂的介绍一下sync.Pool的内部实现方式,如果想要了解更多,可以看下参考中的文章
本文基于Go1.14
参考:https://www.cnblogs.com/qcrao-2018/p/12736031.html
先看下Pool的整体结构:
整个结构实际上可以简化为每一个PoolLocal实现了一个双向列表,其中每个节点用数组的方式来实现了循环列表。
- 双向链表是为了可不限长度的扩展。
- 双向链表中每个节点都保存一个数组来实现循环队列,数组长度初始为8,每新增一个节点,数组长度变为原来的2倍(直到最大限制),以此来动态的适应对象的数量,并且不至于让链表过长。
- private,PoolLocal数组是为了避免上锁,以提升性能。
- pad涉及cpu缓存,参考:https://www.jianshu.com/p/dc4b5562aad2
第二张图很形象的说明了多个P之间的对象共享,如果P1/P2/P3内部没有可用对象了怎么办?从P0的队尾取对象,而P0自身是从对头,从而避免了锁竞争。
当然还有很多细节,比如维护所有Pool的AllPools和oldPools,比如victim和local,旨在垃圾回收和对象分配之间做一个平衡,防止对象池中对象一次性全部回收造成突发的大量新对象带来内存申请等等。这些细节可以看源码慢慢去体会。
image.png image.png是不是看着比较晕,其实是内部各种套娃,核心思想都是为了尽可能减少并发导致的资源竞争以及有效利用cpu缓存。
网友评论