Open Cascade中的内存管理
Memory Management in Open Cascade
eryar@163.com
一、C++中的内存管理 Memory Management in C++
1. 引言
为了表现出多态，在C++中就会用到大量的指针和引用。指针所指的对象是从内存空间中借来的，当然要及时归还。特别是指针在程序中随心所欲地创建，因此，一个指针究竟指向哪个对象，一个对象到底被几个指针所指向，是程序员十分关注的事情。
C++中涉及到的内存管理问题可以归结为两方面：正确地掌握它和有效地使用它。好的程序员会理解这两个问题为什么要以这样的顺序列出。因为执行得再快、体积再小的程序，如果不按所期望的方式去执行也是没什么用处的程序。对于大多数程序员，正确地掌握意味着正确地调用内存分配和释放函数；有效地使用意味着编写自定义版本的内存分配和释放函数。显然，正确地掌握它要重要些。
在C中，只要用malloc分配的内存没有用free释放就会产生内存泄露。在C++中肇事者的名字换成了new和delete，但是问题依然存在。当然，有了析构函数情况稍有改观。因为析构函数为所有将被销毁的对象提供了一个方便的调用delete的场所，但这同时又带来了更多的烦恼，因为new和delete是隐式地调用构造函数和析构函数的。而且可以在类中和类外自定义new和delete操作符，这又带来了复杂性，增加出错的机会。
2. 内存分配方式
内存分配有三种方式：
u 从静态存储区域分配。内存在编译时就已经分配好，这块内存在程序的整个运行期间都存在。例如全局变量、static变量；
u 从栈上分配。在执行函数时，函数内的局部变量的存储单元都能在栈上创建，函数执行结束时，这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配内存容量有限；
u 从堆上分配，亦称动态内存分配。程序在运行时用malloc或new申请任意多少的内存，程序员自己负责在用完时使用free或delete来释放内存。动态内存的生存期由我们决定，使用起来很灵活，但问题也最多。
二、Open Cascade中的内存管理 Memory Management in Open Cascade
在几何建模的过程中，程序创建和删除了大量的对象在动态内存中，也就是堆中。在这种情况下，标准C++的内存管理方式不是很高效，所以Open Cascade在包Standard中专门写了个内存管理程序（Memory Manager）来对内存的分配与删除进行管理。
1． 用法 Usage
为了在C代码中使用Open Cascade提供的内存管理器，只需要将原来使用malloc的地方使用Standard::Allocate来代替，原来使用free的地方使用Standard::Free来代替。另外，原来使用realloc的地方使用Standard::Reallocate来代替即可。
在C++中，operator new 和 delete都重新定义以便使用Open Cascade的内存管理器。定义代码如下所示：
public:
// Redefined operators new and delete ensure that handles are
// allocated using OCC memory manager
void* operator new(size_t,void* anAddress)
{
return anAddress;
}
void* operator new(size_t size)
{
return Standard::Allocate(size);
}
void operator delete(void *anAddress, size_t )
{
if (anAddress) Standard::Free(anAddress);
}
上述代码是将operator new和delete及placement new都重新定义了，这样的类的new和delete都将由Open Cascade的内存管理器来管理。
CDL extractor为在其中所有类都采用这种方式来重新定义operator new和delete，这样Open Cascade所有的类（少数除外）都是使用Open Cascade的内存管理器来管理。
2． 配置内存管理器 Configuring memory manager
Open CASCADE内存管理器可以配置，按不同的优化方式来分配内存，主要还是看需要分配内存的大小，或者不使用内存优化而直接使用malloc和free。
配置方式为设置如下环境变量的值：
l MMGT_OPT：若设置为1（默认值也是为1），内存管理器将使用内存优化的方式来管理内存；若设置为0，则内存的分配就是直接调用C的函数malloc和free来对内存进行管理，此时，所有其它选项除了MMGT_CLEAR外都将被忽略。若设置为2，则会使用Intel的TBB来对内存的分配进行优化，此时需要有TBB的库。
l MMGT_CLEAR：若设置为1（默认值也是为1），分配的内存块将被清零；若设置为0，则内存块将以分配时的值返回。
l MMGT_CELLSIZE：定义了内存池中可分配内存块的最大值。默认值为200。
l MMGT_NBPAGES：定义了页面上可分配的小的内存块的数量，默认值为1000。
l MMGT_THRESHOLD：定义了循环利用的而不是返回给堆的内存块的数量，默认值为4000。
l MMGT_MMAP：若设置为1（默认值也是为1），大内存块的分配将会使用操作系统的内存映射函数。若设置为0，内存的分配将会直接使用malloc直接在堆上分配。
l MMGT_REENTRANT：若设置为1（默认值为0），所有调用内存优化的函数将会被保证安全，即使有多个不同的线程。当在使用内存优化管理（MMGT_OPT=1）内存及多线程的程序时，这个值需要设置为1。
注：为了使用Open Cascade在多线程的程序中表现出更好的性能，推荐如下两种设置方式：
l MMGT_OPT=0
l MMGT_OPT=1 and MMGT_REENTRANT=1
3． 程序实现 Implementation details
类Standard_MMgrRoot为内存管理器的抽象类，它定义了内存分配的释放的虚函数。通过环境变量MMGT_OPT来选择不同的内存管理类，如下代码所示：
Standard_MMgrFactory::Standard_MMgrFactory() : myFMMgr(0)
{
char *var;
Standard_Boolean bClear, bMMap, bReentrant;
Standard_Integer aCellSize, aNbPages, aThreshold, bOptAlloc;
//
bOptAlloc = atoi((var = getenv("MMGT_OPT" )) ? var : "1" );
bClear = atoi((var = getenv("MMGT_CLEAR" )) ? var : "1" );
bMMap = atoi((var = getenv("MMGT_MMAP" )) ? var : "1" );
aCellSize = atoi((var = getenv("MMGT_CELLSIZE" )) ? var : "200" );
aNbPages = atoi((var = getenv("MMGT_NBPAGES" )) ? var : "1000" );
aThreshold = atoi((var = getenv("MMGT_THRESHOLD")) ? var : "40000");
bReentrant = atoi((var = getenv("MMGT_REENTRANT")) ? var : "0" );
if ( bOptAlloc == 1 ) {
myFMMgr = new Standard_MMgrOpt(bClear, bMMap, aCellSize, aNbPages,
aThreshold, bReentrant);
}
else if ( bOptAlloc == 2 ) {
myFMMgr = new Standard_MMgrTBBalloc(bClear);
}
else {
myFMMgr = new Standard_MMgrRaw(bClear);
}
// Set grobal reentrant flag according to MMGT_REENTRANT environment variable
if ( ! Standard_IsReentrant )
Standard_IsReentrant = bReentrant;
}
当MMGT_OPT设置为1时，将会使用类Standard_MMgrOpt来对内存的分配与释放进行优化。优化方法如下：
l 小型内存块（小于MMGT_CELLSIZE的内存）不是单独分配。而是分配一个大的内存池（每个内存池的大小是MMGT_NBPAGES），每个新建内存都被安排在当前的内存池中空闲的地方。若当前内存池被占满，则分配另一个内存池。在当前的版本中，内存池不会返回给系统（直到程序结束）。然而，调用函数Standard::Free()被释放的内存块会被free列表记录，以便在下一个相同大小的内存块分配时重新利用（循环使用）。
l 中型内存块（大小在MMGT_CELLSIZE和MMGT_THRESHOLD之间的内存块）由C的函数malloc和free直接管理。当这样的内存块被调用函数Standard::Free释放时，它们也像小型内存块那样被循环使用。与小型内存块不同的是，被释放的free列表中包含的中型内存块可以通过函数Standard::Purge，使其返回到堆中。
l 大型内存块（大于MMGT_THRESHOLD的内存块，包含用于管理小型内存块的内存池）的分配取决于MMGT_MMAP的值：若为0，这些内存块在堆中分配；否则，将会使用操作系统的专用的管理内存映射文件的函数来分配。当使用Standard::Free来释放大型内存块时，大型内存块立即返回给系统。
4． 利与弊 Benefits and drawbacks
Open Cascade使用内存管理器的最大好处就是其对小型内存块的循环使用机制。当程序需要对大量小型内存块进行分配与释放时，这种机制使程序速度更快。实践表明，使用这种方式程序的性能可以提高50%以上。
相应的弊端就是循环使的内存在程序运行时不会返回给系统。这就可能导致大量的内存消耗，甚至可能导致内存泄露。为了避免这种情况，应该在大量使内存的操作结束后调用函数Standard::Purge。
使用Open Cascade的内存管理器（Memory Manager）导致的所有的内存开销有：
l 分配的每个内存块的大小都会以8个字节向上取整。（看其源代码应该是以的个字节向上取整，源程序如下所示：）
Standard_Address Standard_MMgrRaw::Allocate(const Standard_Size aSize)
{
// the size is rounded up to 4 since some OCC classes
// (e.g. TCollection_AsciiString) assume memory to be double word-aligned
const Standard_Size aRoundSize = (aSize + 3) & ~0x3;
// we use ?: operator instead of if() since it is faster :-)
Standard_Address aPtr = ( myClear ? calloc(aRoundSize, sizeof(char)) :
malloc(aRoundSize) );
if ( ! aPtr )
Standard_OutOfMemory::Raise("Standard_MMgrRaw::Allocate(): malloc failed");
return aPtr;
}
l 额外的4个字节（在64位的操作系统上是8个字节）将在每个内存块的开始部分分配，用来保存其大小（或用来保存下一个可用的内存块的地址），只在MMGT_OPT为1时有效。
所以不管Open Cascade的内存管理器以优化方式还是标准方式来管理内存，内存总的消耗都将会大一些。