Span的概念
Span是golang内存分配器的基本单位之一。它是一个固定大小的内存区域，通常为8KB。当我们需要分配一个较小的对象时，分配器将会在某个Span中找到足够的空间来存储该对象。
Span由多个相等大小的小块组成，这些小块称为span class。分配器根据对象的大小决定要使用哪个span class来分配内存。每个span class包含了相对固定数量的小块。
Span的分配过程
当需要分配内存时，golang内存分配器会执行以下步骤：
- 查找合适的span class，该span class的小块能够容纳待分配的对象。
- 检查对应span class的空闲列表，以确定是否有可用的span。
- 如果span class的空闲列表为空，则分配器会向操作系统申请一段新的内存，并将其切分成多个spans。
- 从空闲列表中选择一个span，并将其中的小块分配给对象。
当对象不再使用时，golang内存分配器会执行以下步骤：
- 将对象返回给其所属的span。
- 检查span中的小块是否都已经被释放。
- 如果所有小块都已经被释放，则将该span返回给操作系统，以便进行下一次分配。
Span的优点
Span的设计带来了多个优点：
- 高效利用内存：Span以固定大小的形式存在，使得内存分配更为高效。因为span类的小块大小相等，所以容易计算出要分配的内存位置。
- 避免内存碎片：通过使用固定大小的span，避免了由于分配和释放不同大小的对象而产生的内存碎片。
- 减少内存碎片的影响：当对象被释放后，span将被重新使用，减少了内存碎片对性能的影响。
Span的局限性
然而，Span也存在一些局限性：
- 固定大小：Span的大小是固定的，这意味着只能容纳相同大小的对象。如果需要分配较大或较小的对象，可能会导致内存浪费。
- 无法重分配：由于Span的大小是固定的，无法像其他分配器一样进行动态的内存重新分配。
- 内存占用：由于每个span class都具有固定数量的小块，这在某些情况下可能会导致内存的浪费。
总结
在golang内存管理中，Span是一个重要的概念。它是一个固定大小的内存区域，用于分配较小的对象。Span的设计使得内存分配更为高效，避免了内存碎片的问题，并减少了内存碎片对性能的影响。然而，它也有一些局限性，例如固定大小和无法动态重新分配的限制。了解Span的工作原理和其优缺点，将有助于我们更好地理解golang的内存管理机制。