内存池问题提出
C/C++编程的时候,最让人头疼的莫过于内存管理:分配足够的内存、追踪内存的分配、在不需要的时候释放内存,这个任务相当复杂。而且在使用系统提供的new/delete malloc/free 的时候,可能会遇到以下的问题:
(1)效率问题:内存资源属于硬件资源,所有的硬件资源都是由操作系统进行管理。当我们需要申请内存的时候,由操作系统给我们分配固定大小的内存块,这时候就需要很大的开销。
(2)内存碎片:频繁的进行内存申请,频繁的分配与回收物理页面会导致大量的、连续且小的页面块夹杂在已分配的页面中间,就会产生外部碎片。
内部碎片与外部碎片:
内部碎片就是已经被分配出去(能明确指出属于哪个进程)却不能被利用的内存空间;
外部碎片指的是还没有被分配出去(不属于任何进程),但由于太小了无法分配给申请内存空间的新进程的内存空闲区域。
(3)内存泄漏。
解决方案
内存池(memory pool)是代替直接调用malloc/free、new/delete进行内存管理的常用方法,当我们申请内存空间时,首先到我们的内存池中查找合适的内存块,而不是直接向操作系统申请,优势在于:
- 比malloc/free进行内存申请/释放的方式快;
- 不会产生或很少产生堆碎片;
- 可避免内存泄漏;
内存池(memory)作为进程内存的管理方式之一,有必要弄清楚它的工作原理。内存池的一个简单应用就是C++的二级空间配置器,接下来我们就来看看内存池的实现机制:
为了能够更为简单的标志出当前申请的空间是否已经被利用,我们可以使用静态链表来存储数据,其基本结构如下图:
基本的结构有两个域:指针域和数据域,每个指针域的指针指向的都是下一个未被分配的结点,如果要将当前的内存分配出去,就将当前指针的上一个结点指向下一个未被分配的结点,这样,pool指针指向的都是未被分配的结点。下面是一些参考代码:
const int MEM_SIZE = 10;//定义空间的分配大小每次为10字节
template<typename T>
class MEM_Pool
{
public:
static MEM_Pool<T>* getInstance() //将内存池封装为单例模式,保证只生成一个内存池的对象
{
if (mmp == NULL)
{
mmp = new MEM_Pool<T>();
}
return mmp;
}
void* alloc(size_t size) // 内存申请
{
if (pool == NULL) //判断内存池是否为空,如果为空的话,就申请内存,并进行初始化
{
pool = (Node*)new char[(size + 4)*MEM_SIZE](); //+4是为了存放指针
Node* pCur = pool;
for (pCur; pCur < pool + MEM_SIZE - 1; pCur = pCur + 1)
{
pCur->pnext = pCur + 1; // 让申请的每个数据域通过指针链接起来
}
pCur->pnext = NULL;//将最后一个数据域的指针域置为空
}
void* rt = pool;
pool = pool->pnext;
return rt;
}
void dealloc(void* ptr) //内存回收
{
if (ptr == NULL)
{
return;
}
Node* pptr = (Node*)ptr; //将待回收的空间强转为Node* 类型,以便于进行回收
pptr->pnext = pool;
pool = pptr;
}
private:
MEM_Pool()
{
pool = NULL;
}
MEM_Pool(const MEM_Pool<int>&);
//设计结点类型
class Node
{
public:
Node(T val = T()) :mdata(val), pnext(NULL){}
public:
T mdata;
Node* pnext;
};
Node* pool;
static MEM_Pool<T>* mmp;
};