GO的临时对象池sync.Pool

GO的临时对象池sync.Pool

一、临时对象池：sync.Pool

sync.Pool 类型可以被称为临时对象池，它的值可以被用来存储临时的对象。

sync.Pool 也属于结构体类型，它的值被真正使用过之后，不应该再被复制了。

1.1 临时对象的特点

• 不需要持久使用的某一类值。

  这类值对程序来说可有可无，但如果有的话明显会更好。它们的创建和销毁可以再任何时候发生，并且完全不影响到程序的功能。

• 它们也是无需被区分的。

  其中的任何一个值都可以替换另一个。

1.2 临时对象池的用途

临时对象池的主要用途是：当作针对某类数据的缓存来用。

1.3 sync.Pool 的用法

sync.Pool类型只有两个方法——Put和Get。

• Put用于在当前的池中存放临时对象，它接受一个interface{}类型的参数；

• Get用于从当前的池中获取临时对象，它返回一个interface{} 类型的参数；

  Get方法可能会从当前的池中删除掉任何一个值，然后把这个值作为结果返回。如果此时当前的池中没有任何值，那么这个方法就会使用当前池的New字段创建一个新值，并直接将其返回。

  该函数的结果值，并不会被存入当前的临时对象池中，而是直接返回给Get方法的调用方。

sync.Pool类型的New字段代表着创建临时对象的函数。

New字段的类型是没有任何参数但有唯一结果的函数类型，即：func() interface{}。

这个函数是Get方法最后的临时对象获取手段。

sync.Pool的New字段的实际值需要在初始化临时对象池的时候给定。否则，我们调用它的Get方法的时候就有可能会得到nil。

二、临时对象池中的值会被及时清理掉

为什么说临时对象池中的值会被及时清理掉？

因为，Go语言运行时系统中的垃圾回收器，在每次执行之前，都会对已创建的临时对象池中的值进行全面的清除。

2.1 池清理函数

sync包在被初始化的时候，会向Go语言运行时系统注册一个函数，这个函数的功能就是清理所以已创建的临时对象池中的值。我们把这个函数称为池清理函数。

一旦池清理函数被注册到Go语言运行时系统，Go语言运行系统在每次执行垃圾回收之前，都会执行池清理函数。

2.2 池汇总列表

在sync包中有一个包级私有的全局变量，这个变量代表了当前程序中使用的所有临时对象池的汇总，它是元素类型为*shnc.Pool的切片。我们可以称之为池汇总列表。

通常，在一个临时对象池的Put方法和Get方法第一次被调用的时候，这个池就会添加到池汇总列表中。正因为如此，池清理函数总能访问到所有正在被真正使用的临时对象池。

2.3 临时对象池存储值所用的数据结构

在临时对象池中，有一个多层的数据结构。

正是由于它的存在，临时对象池才能够非常高校的存储大量的值。

（1）本地池列表

这个数据结构的顶层，我们称为本地池列表，确切地说，它是一个数组。这个数组的长度总是与Go语言调度器中的P的数量相同。

在Go语言调度器中，P是processor的缩写，它是一种可以承载若干个G、且能使G适时地与M进行对接，并得到真正运行的中介。

这里的G时goroutine缩写。而M是machine的缩写，machine代表系统级的线程。

正是由于P的存在，G和M才能够进行灵活、高校地配对，并实现强大的并发模型。

（2）本地池列表的长度与P的数量相同

P存在的一个重要原因是分散并发程序的执行压力，而让临时对象池中的本地池列表长度与P数量相同的主要原因也是分散压力。这里的压力是存储和性能两方面。

（3）本地池列表中的每个本地池

本地池列表中的每个本地池都包含三个字段：存储私有临时对象的字段private、代表共享临时对象列表字段shared、以及一个sync.Mutex类型的嵌入字段。

（4）本地池与G、P的关系

每个本地池都对应一个P。一个goroutine要想真正的运行，就必须先与某个P产生关联。也就是说，一个正在运行的goroutine必然会关联某个P。

在程序调用临时对象池的Put和Get方法的时候，总是依据当前的goroutine关联的那个P的ID，选取与之对应的本地池。

2.4 临时对象池如何利用内部数据结构来存取值

（1）共享临时对象列表：shared字段的可访问范围

一个本地池的shared字段