STL空间配置器解析和实现
STL空间配置器的强大和借鉴作用不言而喻,查阅资料,发现了Dawn_sf已经对其有了极其深入和详细的描述,所以决定偷下懒借用其内容,只提供自己实现STL空间配置器的源码,具体解析内容参考:
(一)STL — 浅析一级空间配置器
(二)STL — 浅析二级空间配置器
1. 一级空间配置器实现
1.1 接口
- // 完全解析STL空间配置器
- /***** 一级配置区 ****************************/
- // 1. 采用mallo/relloc/free申请和释放内存
- // 2. 处理内存申请失败的处理
- // (1)设置set_new_handle,若为NULL抛出__THROW_BAD_ALLOC;
- // (2)尝试重复申请
- /**********************************************/
- #pragma once
- class CFirstLevelAlloc;
- class CSecondLevelAlloc;
- #ifdef _CHUNK_ALLOC
- typedef CFirstLevelAlloc SelfAlloc;
- #else
- typedef CSecondLevelAlloc SelfAlloc;
- #endif
- typedef void(*CallBackFunc)();
- class CFirstLevelAlloc
- {
- public:
- CFirstLevelAlloc();
- static CallBackFunc m_CallBackFunc;
- static void* Allocate(size_t nSize);
- static void* Allocate(void *p, size_t nSize);
- static void Deallocate(void *p, size_t nSize = );
- static void SetCallBackHandle(CallBackFunc cb);
- private:
- static void* ReAllocate(size_t nSize);
- static void* ReAllocate(void *p, size_t nSize);
- };
- enum {ALIGN = }; // 小型区块的上调边界
- enum {MAX_BYTES = }; // 小型区块的上限
- enum {FREELISTNUM = MAX_BYTES/ALIGN}; // free-lists个数
- // 空闲内存链表结构
- union FreeList
- {
- union FreeList *pFreeList;
- char client_data[];
- };
1.2 实现
- #include "stdio.h"
- #include "alloc_define.h"
- #include <stdlib.h>
- #include <iostream>
- using namespace std;
- CallBackFunc CFirstLevelAlloc::m_CallBackFunc = NULL;
- CFirstLevelAlloc::CFirstLevelAlloc()
- {
- }
- void* CFirstLevelAlloc::Allocate(size_t nSize)
- {
- void *result = malloc(nSize);
- if (NULL == result)
- {
- result = ReAllocate(nSize);
- }
- return result;
- }
- void* CFirstLevelAlloc::Allocate(void *p, size_t nSize)
- {
- void *result = realloc(p, nSize);
- if (NULL == result)
- {
- result = ReAllocate(p, nSize);
- }
- return result;
- }
- void* CFirstLevelAlloc::ReAllocate(size_t nSize)
- {
- while ()
- {
- if (NULL == m_CallBackFunc)
- {
- cout << "bad alloc!" << endl;
- return NULL;
- }
- else
- {
- m_CallBackFunc();
- void *result = Allocate(nSize);
- if (result)
- {
- return result;
- }
- }
- }
- }
- void* CFirstLevelAlloc::ReAllocate(void *p, size_t nSize)
- {
- while ()
- {
- if (NULL == m_CallBackFunc)
- {
- cout << "bad alloc!" << endl;
- return NULL;
- }
- else
- {
- m_CallBackFunc();
- void *result = Allocate(p, nSize);
- if (result)
- {
- return result;
- }
- }
- }
- }
- void CFirstLevelAlloc::Deallocate(void *p, size_t nSize)
- {
- free(p);
- }
- void CFirstLevelAlloc::SetCallBackHandle(CallBackFunc cb)
- {
- m_CallBackFunc = cb;
- }
2. 二级空间配置器实现
2.1 接口
- class CSecondLevelAlloc
- {
- public:
- CSecondLevelAlloc();
- static void* Allocate(size_t nSize);
- static void Deallocate(void *p, size_t nSize);
- static void SetCallBackHandle(CallBackFunc cb);
- private:
- static size_t FreeListIndex(int nBytes); // 根据区块大小得到freelist索引
- static size_t Round_Up(int nBytes); // 将bytes按内存对齐上调至ALIGN的倍数
- static char *ChunkAlloc(size_t nSize, int& nObjs);
- static void* Refill(size_t nSize);
- private:
- static FreeList *m_pFreeList[FREELISTNUM];
- static char *m_pStartFree;
- static char *m_pEndFree;
- static size_t m_nHeapSize;
- };
2.2 实现
- FreeList* CSecondLevelAlloc::m_pFreeList[FREELISTNUM] = { };
- char* CSecondLevelAlloc::m_pStartFree = NULL;
- char* CSecondLevelAlloc::m_pEndFree = NULL;
- size_t CSecondLevelAlloc::m_nHeapSize = ;
- CSecondLevelAlloc::CSecondLevelAlloc()
- {
- }
- void* CSecondLevelAlloc::Allocate(size_t nSize)
- {
- // 首先判断nSize,若大于128则调用一级配置器,否则调用二级配置器
- if (nSize > (size_t)MAX_BYTES)
- {
- cout << "调用1级配置器配置内存空间,空间大小:" << nSize << endl;
- return (CFirstLevelAlloc::Allocate(nSize));
- }
- cout << "调用2级配置器配置内存空间,空间大小:" << nSize << endl;
- FreeList **pFreeList = m_pFreeList + FreeListIndex(nSize);
- if (*pFreeList == NULL)
- {
- return Refill(Round_Up(nSize));
- }
- FreeList *p = *pFreeList;
- *pFreeList = p->pFreeList;
- return p;
- }
- void CSecondLevelAlloc::Deallocate(void *p, size_t nSize)
- {
- // 首先判断nSize,若大于128则调用一级配置器,否则调用二级配置器
- if (nSize > MAX_BYTES)
- {
- cout << "调用1级配置器释放内存空间,空间大小:" << nSize << endl;
- return CFirstLevelAlloc::Deallocate(p);
- }
- cout << "调用2级配置器释放内存空间,空间大小:" << nSize << endl;
- FreeList **pFreeList = m_pFreeList + FreeListIndex(Round_Up(nSize));
- ((FreeList*)p)->pFreeList = *pFreeList;
- *pFreeList = (FreeList*)p;
- }
- size_t CSecondLevelAlloc::FreeListIndex(int nBytes)
- {
- return ((nBytes + ALIGN) / ALIGN - );
- }
- size_t CSecondLevelAlloc::Round_Up(int nBytes)
- {
- return ((nBytes + ALIGN - ) & (~(ALIGN - )));
- }
- char* CSecondLevelAlloc::ChunkAlloc(size_t nSize, int& nObjs)
- {
- char *pResult = NULL;
- size_t nTotalBytes = nSize * nObjs;
- size_t nBytesLeft = m_pEndFree - m_pStartFree;
- if (nBytesLeft >= nTotalBytes)
- {
- // 内存池剩余空间完全满足需求量
- pResult = m_pStartFree;
- m_pStartFree += nTotalBytes;
- return pResult;
- }
- else if (nBytesLeft >= nSize)
- {
- // 内存池剩余空间不能完全满足需求量,但足够供应一个或一个以上的区块
- nObjs = nBytesLeft / nSize;
- pResult = m_pStartFree;
- m_pStartFree += (nObjs * nSize);
- return pResult;
- }
- else
- {
- // 内存池剩余空间连一个区块的大小都无法提供,就调用malloc申请内存,新申请的空间是需求量的两倍
- // 与随着配置次数增加的附加量,在申请之前,将内存池的残余内存回收
- size_t nBytesToGet = * nTotalBytes + Round_Up(m_nHeapSize >> );
- // 以下试着让内存池中的残余零头还有价值
- if (nBytesLeft > )
- {
- // 内存池内还有一些零头,先配给适当的freelist
- // 首先寻找适当的freelist
- FreeList *pFreeList = m_pFreeList[FreeListIndex(nBytesLeft)];
- // 调整freelist,将内存池中的残余空间编入
- ((FreeList*)m_pStartFree)->pFreeList = pFreeList;
- pFreeList = (FreeList*)m_pStartFree;
- }
- // 配置heap空间
- m_pStartFree = (char *)malloc(nBytesToGet);
- if (NULL == m_pStartFree)
- {
- //如果没有申请成功,如果free_list当中有比n大的内存块,这个时候将free_list中的内存块释放出来.
- //然后将这些内存编入自己的free_list的下标当中.调整nobjs.
- int i;
- FreeList **pFreeList, *p;
- for (i = nSize; i < MAX_BYTES; i += ALIGN)
- {
- pFreeList = m_pFreeList+FreeListIndex(i);
- p = *pFreeList;
- if (NULL != p)
- {
- // freelist内尚有未用区块
- // 调整freelist以释放未用区块
- *pFreeList = p->pFreeList;
- m_pStartFree = (char *)p;
- m_pEndFree = m_pStartFree + i;
- // 调整自己,为了修正nobjs
- return (ChunkAlloc(nSize, nObjs));
- }
- }
- m_pEndFree = NULL; // 如果出现意外(山穷水尽,到处都没有内存可用)
- // 调用1级配置器,看out-of-range机制能不能出点力
- m_pStartFree = (char*)CFirstLevelAlloc::Allocate(nBytesToGet);
- }
- m_nHeapSize += nBytesToGet;
- m_pEndFree = m_pStartFree + nBytesToGet;
- return (ChunkAlloc(nSize, nObjs));
- }
- }
- // 当freelist中没有可用的区块了时,就调用ReFill重新填充空间
- // 新的空间将取自内存池,缺省为20个新节点
- // 但万一内存池空间不足,获得的节点数可能小于20
- void* CSecondLevelAlloc::Refill(size_t nSize)
- {
- int nObjs = ; // 默认每个链表组右20个区块
- char *pChunk = ChunkAlloc(nSize, nObjs);
- if ( == nObjs)
- {
- // 如果获得一个区块,这个区块就分配给调用者,freelist无新节点
- return pChunk;
- }
- // 若有多余的区块,则将其添加到对应索引的freelist中
- FreeList **pFreeList = m_pFreeList + FreeListIndex(nSize);
- FreeList *pResult = (FreeList *)pChunk; // 这一块准备返回给客户端
- FreeList *pCurrent = NULL;
- FreeList *pNext = NULL;
- *pFreeList = pNext = (FreeList*)(pChunk + nSize);
- for (int i = ; i < nObjs; i++)
- {
- pCurrent = pNext;
- pNext = (FreeList*)((int)pNext + nSize);
- pCurrent->pFreeList = pNext;
- }
- pCurrent->pFreeList = NULL;
- return pResult;
- }
- void CSecondLevelAlloc::SetCallBackHandle(CallBackFunc cb)
- {
- CFirstLevelAlloc::m_CallBackFunc = cb;
- }
3. 配置器标准接口
- #pragma once
- #include "alloc_define.h"
- template<typename T, typename Alloc = SelfAlloc>
- class CSimpleAlloc
- {
- public:
- static T* Allocate(size_t n)
- {
- if (n == )
- {
- return NULL;
- }
- return (T *)Alloc::Allocate(n * sizeof(T));
- }
- static T* Allocate(void)
- {
- return (T *)Alloc::Allocate(sizeof(T));
- }
- static void Deallocate(T *p, size_t n)
- {
- if (n != )
- {
- Alloc::Deallocate(p, n * sizeof(T));
- }
- }
- static void Deallocate(T *p)
- {
- Alloc::Deallocate(p, sizeof(T));
- }
- static void SetCallBackHandle(CallBackFunc cb)
- {
- Alloc::SetCallBackHandle(cb);
- }
- };
4. 测试
- #include "stdio.h"
- #include<iostream>
- using namespace std;
- #include"stl_test.h"
- #include "simple_alloc.h"
- #include<vector>
- void Func()
- {
- cout << "调用回调函数处理内存不足的情况" << endl;
- // 为了防止死循环,该函数应该加上一个判断条件如果它本次没有清理出空间,那么就抛出异常
- }
- template <class T, class Alloc = SelfAlloc>
- class A
- {
- public:
- A() :m_ptr(NULL), m_nSize(){}
- A(size_t nSize)
- {
- DataAllocator::SetCallBackHandle(Func);
- m_nSize = nSize;
- m_ptr = DataAllocator::Allocate(nSize);
- for (int i = ; i < (int)nSize; i++)
- {
- m_ptr[i] = i;
- cout << m_ptr[i] << " ";
- }
- cout << endl;
- }
- ~A()
- {
- DataAllocator::Deallocate(m_ptr, m_nSize);
- }
- private:
- T *m_ptr;
- size_t m_nSize;
- typedef CSimpleAlloc<T, Alloc> DataAllocator;
- };
- void main()
- {
- A<int> a();
- A<int> b();
- a.~A();
- b.~A();
- }
STL空间配置器解析和实现的更多相关文章
- 【转】STL空间配置器
STL空间配置器(allocator)在所有容器内部默默工作,负责空间的配置和回收.STL标准为空间配置器定义了标准接口(可见<STL源码剖析>P43).而具体实现细节则由各编译器实现版本 ...
- STL空间配置器那点事
STL简介 STL(Standard Template Library,标准模板库),从根本上说,STL是一些“容器”的集合,这些“容器”有list,vector,set,map等,STL也是算法和其 ...
- stl空间配置器线程安全问题补充
摘要 在上一篇博客<STL空间配置器那点事>简单介绍了空间配置器的基本实现 两级空间配置器处理,一级相关细节问题,同时简单描述了STL各组件之间的关系以及设计到的设计模式等. 在最后,又关 ...
- STL空间配置器
1.什么是空间配置器? 空间配置器负责空间配置与管理.配置器是一个实现了动态空间配置.空间管理.空间释放的class template.以内存池方式实现小块内存管理分配.关于内存池概念可以点击:内存池 ...
- 咬碎STL空间配置器
STL空间配置器 一.开场白: 给我的感觉就是,了解是空间配置器的功能,是那么的明了:在看原理,我还是很开心:接下来是360度大转变: 那么长的变量或者函数命名.那么多的宏.不爽,不过,遇上我这种二货 ...
- 【陪你系列】5 千字长文+ 30 张图解 | 陪你手撕 STL 空间配置器源码
大家好,我是小贺. 点赞再看,养成习惯 文章每周持续更新,可以微信搜索「herongwei」第一时间阅读和催更,本文 GitHub https://github.com/rongweihe/MoreT ...
- STL——空间配置器(构造和析构基本工具)
以STL的运用角度而言,空间配置器是最不需要介绍的东西,它总是隐藏在一切组件(更具体地说是指容器,container)的背后,默默工作,默默付出.但若以STL的实现角度而言,第一个需要介绍的就是空间配 ...
- STL空间配置器、vector、list、deque、map复习
本文写于2017-03-03,从老账号迁移到本账号,原文地址:https://www.cnblogs.com/huangweiyang/p/6440830.html STL的六大组件:容器.算法.迭代 ...
- STL——空间配置器(SGI-STL)
一. 空间配置器标准接口 参见<STL源码剖析>第二章-2.1.<memory>文件. 二.具备次配置力的SGI空间配置器 1. SGI STL的配置器与众不同,也与标准规范不 ...
随机推荐
- 大道至简(第五i章)读后感
大道至简(第五章)读后感 再一次在不想看的情况下读大道至简第五章,一个项目的实现中,“过程”与“工程”是同一个概念吗?答案自然是否定的.“过程”是一个确定的模板,而“工程”是有一个目的的实现在里面. ...
- python 课堂笔记-for语句
for i in range(10): print("----------",i) for j in range(10): print("world",j) i ...
- 给二维码(图片)添加文字(水印),让生成的二维码中间带logo
<?php //生成二维码 require_once IA_ROOT . '/framework/library/qrcode/phpqrcode.php'; QRcode::png($url, ...
- TIJ读书笔记02-控制执行流程
TIJ读书笔记02-控制执行流程 TIJ读书笔记02-控制执行流程 if-else 迭代 无条件分支 switch语句 所有条件语句都是以条件表达式的真假来决定执行路径,也就是通过布尔测试结果来决 ...
- 2018.7.12训练赛 -K
水题 判断素数 因为范围是到16位,所以可以用long long存储 然后判断是否为素数就ok了. 但我提交之后显示10个测试样例通过了9个.......原因是下面标红的部分. 埃氏筛法:若a是合数, ...
- linux 安装tomcat7
wget http://mirror.bit.edu.cn/apache/tomcat/tomcat-7/v7.0.81/bin/apache-tomcat-7.0.81.tar.gz 解压安装包 t ...
- linux设置系统时间与时区以及设置bios时间同步系统时间
有装过Linux系统的人,可能都会有这样的经历,就是该机器安装windows系统时,时间正确,但是安装了linux系统后,尽管时区选择正确,也会发现系统时间不对.这是由于安装系统时采用了UTC,那么什 ...
- Freemarker中大于号>的使用
在Freemarker中,比较数据的大小时候,要注意大于号(>)的使用.如果不注意,程序就会发生异常信息,如下面的例子: 1 2 3 4 <#assign x = 4> < ...
- freemarker日志实现过程分析
freemarker有自己的log类,这是一个抽象类,具体的日志打印委托给classpath里面合适的日志jar包来执行,寻找合适日志jar的查找顺序是:Apache Log4J, Apache Av ...
- 测试人员git常用命令
首先要到git官网下载一个gitbash,并安装. https://git-scm.com/ 1. 配置git key $ ssh-keygen -t rsa 按3个回车,密码为空,在目录C:\Use ...