<iframe align="center" marginwidth="0" marginheight="0" src="http://www.zealware.com/csdnblog.html" frameborder="0" width="728" scrolling="no" height="90"></iframe>
C++内存管理变革(4): boost::object_pool
许式伟 (版权声明)
2007-4-21
这篇文章拖的有点久了。NeutralEvil 在3个月之前就在催促我继续写了。只是出于WinxGui完整性的考虑,我一直在刻意优先去补充其它方面的文章,而不是让人去误会WinxGui是一个内存管理库了。:)
言归正传。我们在内存池(MemPool)技术详解已经介绍了boost::pool组件。从内存管理观念的变革来看,这是是一个传统的MemPool组件,尽管也有一定的改进(但只是性能上的改进)。但boost::object_pool不同,它与我在C++内存管理变革强调的观念非常吻合。可以认为,boost::object_pool是一种不通用的gc allocator组件。
我已经多次提出gc allocator的概念。这里仍然需要强调一下,所谓gc allocator,是指具垃圾回收能力的allocator。C++内存管理变革(1)中我们引入了这个概念,但是没有明确gc allocator一词。
boost::object_pool内存管理观念
boost::object_pool的了不起之处在于,这是C++从库的层次上头一次承认,程序员在内存管理上是会犯错误的,由程序员来确保内存不泄漏是困难的。boost::object_pool允许你忘记释放内存。我们来看一个例子:
class X{…};
voidfunc()
{
boost::object_poolX>alloc;
X*obj1=alloc.construct();
X*obj2=alloc.construct();
alloc.destroy(obj2);
}
如果boost::object_pool只是一个普通的allocator,那么这段代码显然存在问题,因为obj1的析构函数没有执行,申请的内存也没有释放。
但是这段代码是完全正常的。是的,obj1的析构确实执行了,所申请内存也被释放了。这就是说,boost::object_pool既支持你手工释放内存(通过主动调用object_pool::destroy),也支持内存的自动回收(通过object_pool::~object_pool析构的执行)。这正符合gc allocator的规格。
注:内存管理更好的说法是对象管理。内存的申请和释放更确切的说是对象的创建和销毁。但是这里我们不刻意区分这两者的差异。
boost::object_pool与AutoFreeAlloc
我们知道,AutoFreeAlloc不支持手工释放,而只能等到AutoFreeAlloc对象析构的时候一次性全部释放内存。那么,是否可以认为boost::object_pool是否比AutoFreeAlloc更加完备呢?
其实不然。boost::object_pool与AutoFreeAlloc都不是完整意义上的gc allocator。AutoFreeAlloc因为它只能一次性释放,故此仅仅适用特定的用况。然而尽管AutoFreeAlloc不是普适的,但它是通用型的gc allocator。而boost::object_pool只能管理一种对象,并不是通用型的allocator,局限性其实更强。
boost::object_pool的实现细节
大家对boost::object_pool应该已经有了一个总体的把握。现在,让我们深入到object_pool的实现细节中去。
在内存池(MemPool)技术详解中,我们介绍boost::pool组件时,特意提醒大家留意pool::ordered_malloc/ordered_free函数。事实上,boost::object_pool的malloc/construct, free/destroy函数调用了pool::ordered_malloc, ordered_free函数,而不是pool::malloc, free函数。
让我们解释下为什么。
其实这其中的关键,在于object_pool要支持手工释放内存和自动回收内存(并自动执行析构函数)两种模式。如果没有自动析构,那么普通的MemPool就足够了,也就不需要ordered_free。既然有自动回收,同时又存在手工释放,那么就需要区分内存块(MemBlock)中哪些结点(Node)是自由内存结点(FreeNode),哪些结点是已经使用的。对于哪些已经是自由内存的结点,显然不能再调用对象的析构函数。
我们来看看object_pool::~object_pool函数的实现:
templatetypenameT,typenameUserAllocator>
object_poolT,UserAllocator>::~object_pool()
{
//handletrivialcase
if(!this->list.valid())
return;
details::PODptrsize_type>iter=this->list;
details::PODptrsize_type>next=iter;
//Start’freed_iter’atbeginningoffreelist
void*freed_iter=this->first;
constsize_typepartition_size=this->alloc_size();
do
{
//incrementnext
next=next.next();
//deleteallcontainedobjectsthataren’tfreed
//Iterate’i'throughallchunksinthememoryblock
for(char*i=iter.begin();i!=iter.end();i+=partition_size)
{
//Ifthischunkisfree
if(i==freed_iter)
{
//Incrementfreed_itertopointtonextinfreelist
freed_iter=nextof(freed_iter);
//Continuesearchingchunksinthememoryblock
continue;
}
//Thischunkisnotfree(allocated),socallitsdestructor
static_castT*>(static_castvoid*>(i))->~T();
//andcontinuesearchingchunksinthememoryblock
}
//freestorage
UserAllocator::free(iter.begin());
//incrementiter
iter=next;
}while(iter.valid());
//Maketheblocklistemptysothattheinheriteddestructordoesn’ttryto
//freeitagain.
this->list.invalidate();
}
这段代码不难理解,object_pool遍历所有申请的内存块(MemBlock),并遍历其中所有结点(Node),如果该结点不出现在自由内存结点(FreeNode)的列表(FreeNodeList)中,那么,它就是用户未主动释放的结点,需要进行相应的析构操作。
现在你明白了,ordered_malloc是为了让MemBlockList中的MemBlock有序,ordered_free是为了让FreeNodeList中的所有FreeNode有序。而MemBlockList, FreeNodeList有序,是为了更快地检测Node是自由的还是被使用的(这实际上是一个集合求交的流程,建议你看看std::set_intersection,它定义在STL的<algorithm>中)。</algorithm>
C++内存管理变革-系列文章
点击这里查看更多内存管理相关文章。
相关推荐
The Slab Allocator An Object-Caching Kernel Memory Allocator
《侯捷 - C++内存管理机制_60_侯捷》31.G4.9pull allocator运行观察
《C++内存管理机制_60_侯捷》15.Macro for static allocator
结合网上版本及c++ primer及visual sudio2017,ubuntu 16.04实测,实现标准库中vector的实现,缺少部分函数,包含了主要的push_back,resize,reserve,[],size()函数,若有疑问请发送至2268047160@qq.com,最近在详细...
《C++内存管理机制_60_侯捷》13.Per-class allocator 2
《C++内存管理机制_60_侯捷》14.Static allocator
链接列表分配器文档用法在您的根模块中创建一个静态分配器:uselinked_list_allocator :: LockedHeap; #[global_allocator]的链表分配器文档用法在您的根模块中创建一个静态分配器:uselinked_list_allocator :: ...
linux下c++ allocator 共享内存,内存池实现
This option may be removed in future releases, together with the option innodb_use_sys_malloc and with the InnoDB's internal memory allocator. 2017-11-15 19:23:46 1404 [Note] InnoDB: Using atomics to...
std::allocator 是 C++标准库中提供的默认分配器,他的特点就在于我们在 使用 new 来申请内存构造新对象的时候,势必要调用类对象的默认构造函数 而使用 std::allocator 则可以将内存分配和对象的构造这两部分...
memcached_allocator_slab_langwan.pdf,一位高手写的关于memcached的slab分配及LRU机制,清晰明了,一看就懂,谢谢作者!
《内存管理机制》55.bitmap_allocator(下)
boehm_gc用于Rust 此板条箱是为Rust提供分配器的原型,该分配器能够将Boehm GC分配的垃圾回收指针作为根。 交换Rust分配器的功能是一项非常新的功能,需要每晚进行一次使用。 我已经在此板条箱上进行了一些测试,...
该文档描述了jemalloc的数据结构及其实现
ACE_Static_Allocator,管理固定大小的内存;ACE_Cached_Allocator,预先分配内存池,其中含有特定数目和大小的内存chunk;ACE_New_Allocator,为C++ new和delete操作符提供包装的分配器,内部使用new和delete操作符
第一講:Primitives 第二講:std::allocator 第三講:malloc/free 第四講:loki::allocator 第五講:其他主題 第
mmap_allocator mmap内存的基本分配器此时,您可以创建mmap共享内存(create_shared_memory),并使用分配器(mmap_alloc)通过仅传递mmap起始指针和大小来分配任何种类的东西。 使用mmap_free可以释放所有变量。 ...
buddy_allocator buddy system memory allocator from Linux kernel System Storage 两个大小相等且邻接的内存块被称作伙伴。 如果两个伙伴都是空闲的,会将其合并成一个更大的内存块,作为下一层次上某个内存块的...
49.Loki_allocator总结
通过替代STL std :: allocator的固定块来防止堆碎片错误并提高执行速度