peakflys原創(chuàng)作品，轉(zhuǎn)載請(qǐng)保留原作者和源鏈接
項(xiàng)目中和自己代碼中大量使用了STL的容器，平時(shí)也沒(méi)怎么關(guān)注alloc的具體實(shí)現(xiàn)細(xì)節(jié)，主觀認(rèn)識(shí)上還停留在侯捷大師的《STL源碼剖析》中的講解。
以下為書(shū)中摘錄截圖：詳見(jiàn)書(shū)中2.2.4節(jié)內(nèi)容
前段時(shí)間項(xiàng)目中出了一個(gè)內(nèi)存問(wèn)題，在追查問(wèn)題的過(guò)程中查看了對(duì)應(yīng)的源碼(版本為libstdc++-devel-4.1.2)
源碼文件c++allocator.h中定義了默認(rèn)的Alloc：#ifndef _CXX_ALLOCATOR_H
#define _CXX_ALLOCATOR_H 1
// Define new_allocator as the base class to std::allocator.
#include <ext/new_allocator.h>
#define __glibcxx_base_allocator __gnu_cxx::new_allocator
#endif
查看new_allocator.h文件，發(fā)現(xiàn)new_allocator僅僅是對(duì)operator new和operator delete的簡(jiǎn)單封裝(感興趣的朋友可自行查看)。
眾所周知libstdc++中STL的大部分實(shí)現(xiàn)是取自SGI的STL，而《STL源碼剖析》的源碼是Cygnus C++ 2.91則是SGI STL的早期版本，下載源碼看了一下allocator的實(shí)現(xiàn)確實(shí)如書(shū)中所言。
不知道從哪個(gè)版本起，SGI的STL把默認(rèn)的Alloc替換成了new_allocator，有興趣的同學(xué)可以查一下。
知道結(jié)果后，可能很多人和我一樣都不禁要問(wèn)：Why？
以下是兩個(gè)版本的源碼實(shí)現(xiàn)：
1、new_allocator
// NB: __n is permitted to be 0. The C++ standard says nothing
// about what the return value is when __n == 0.
pointer
allocate(size_type __n, const void* = 0)
{
if (__builtin_expect(__n > this->max_size(), false))
std::__throw_bad_alloc();
return static_cast<_Tp*>(::operator new(__n * sizeof(_Tp)));
}
// __p is not permitted to be a null pointer.
void
deallocate(pointer __p, size_type)
{ ::operator delete(__p); }
2、__pool_alloc
template<typename _Tp>
_Tp*
__pool_alloc<_Tp>::allocate(size_type __n, const void*)
{
pointer __ret = 0;
if (__builtin_expect(__n != 0, true))
{
if (__builtin_expect(__n > this->max_size(), false))
std::__throw_bad_alloc();
// If there is a race through here, assume answer from getenv
// will resolve in same direction. Inspired by techniques
// to efficiently support threading found in basic_string.h.
if (_S_force_new == 0)
{
if (getenv("GLIBCXX_FORCE_NEW"))
__atomic_add(&_S_force_new, 1);
else
__atomic_add(&_S_force_new, -1);
}
const size_t __bytes = __n * sizeof(_Tp);
if (__bytes > size_t(_S_max_bytes) || _S_force_new == 1)
__ret = static_cast<_Tp*>(::operator new(__bytes));
else
{
_Obj* volatile* __free_list = _M_get_free_list(__bytes);
lock sentry(_M_get_mutex());
_Obj* __restrict__ __result = *__free_list;
if (__builtin_expect(__result == 0, 0))
__ret = static_cast<_Tp*>(_M_refill(_M_round_up(__bytes)));
else
{
*__free_list = __result->_M_free_list_link;
__ret = reinterpret_cast<_Tp*>(__result);
}
if (__builtin_expect(__ret == 0, 0))
std::__throw_bad_alloc();
}
}
return __ret;
}
template<typename _Tp>
void
__pool_alloc<_Tp>::deallocate(pointer __p, size_type __n)
{
if (__builtin_expect(__n != 0 && __p != 0, true))
{
const size_t __bytes = __n * sizeof(_Tp);
if (__bytes > static_cast<size_t>(_S_max_bytes) || _S_force_new == 1)
::operator delete(__p);
else
{
_Obj* volatile* __free_list = _M_get_free_list(__bytes);
_Obj* __q = reinterpret_cast<_Obj*>(__p);
lock sentry(_M_get_mutex());
__q ->_M_free_list_link = *__free_list;
*__free_list = __q;
}
}
}
從源碼中可以看出new_allocator基本就沒(méi)有什么實(shí)現(xiàn)，僅僅是對(duì)operator new和operator delete的封裝，而__pool_alloc的實(shí)現(xiàn)基本和《STL源碼剖析》中一樣，所不同的是加入了多線程的支持和強(qiáng)制operator new的判斷。
無(wú)論從源碼來(lái)看，還是實(shí)際的測(cè)試(后續(xù)會(huì)附上我的測(cè)試版本)，都可以看出__pool_alloc比new_allocator更勝一籌。
同很多人討論都不得其解，網(wǎng)上也很少有關(guān)注這個(gè)問(wèn)題的文章和討論，倒是libstdc++的官網(wǎng)文檔有這么一段：
(peakflys注：文檔地址：https://gcc.gnu.org/onlinedocs/libstdc++/manual/memory.html#allocator.default)
從文檔的意思來(lái)看，選擇new_allocator是基于大量測(cè)試，不幸的是文檔中鏈接的測(cè)試?yán)泳鶡o(wú)法訪問(wèn)到……不過(guò)既然他們說(shuō)基于測(cè)試得出的結(jié)果，我就隨手寫(xiě)了一個(gè)自己的例子：
#include <map>
#include <vector>
#ifdef _POOL
#include <ext/pool_allocator.h>
#endif
static const unsigned
int Count = 1000000;
using namespace std;
struct Data
{
int a;
double b;
};
int main()
{
#ifdef _POOL
map<
int, Data, less<
int>, __gnu_cxx::__pool_alloc<pair<
int, Data> > > mi;
vector<Data, __gnu_cxx::__pool_alloc<Data> > vi;
#else
map<
int, Data> mi;
vector<Data> vi;
#endif
for(
int i = 0; i < Count; ++i)
{
Data d;
d.a = i;
d.b = i * i;
mi[i] = d;
vi.push_back(d);
}
mi.clear();
#ifdef _POOL
vector<Data, __gnu_cxx::__pool_alloc<Data> >().swap(vi);
#else
vector<Data>().swap(vi);
#endif
for(
int i = 0; i < Count; ++i)
{
Data d;
d.a = i;
d.b = i * i;
mi[i] = d;
vi.push_back(d);
}
return 0;
}
因?yàn)楫?dāng)數(shù)據(jù)大于128K時(shí)，__pool_alloc同new_allocator一樣直接調(diào)用operator，所以例子中構(gòu)造出的Data小于128K，來(lái)模擬兩個(gè)分配器的不同。同時(shí)如libstdc++官網(wǎng)中說(shuō)的，我們同時(shí)使用了sequence容器vector和associate容器map。
例子中模擬了兩種類(lèi)型容器的插入-刪除-插入的過(guò)程，同時(shí)里面包含了元素的構(gòu)造、析構(gòu)以及內(nèi)存的分配和回收。
以下是在我本地機(jī)器上運(yùn)行的結(jié)果：
1、-O0的版本：
2、-O2的版本：
多線程的測(cè)試?yán)游揖筒毁N了，測(cè)試結(jié)果大致和上面相同，大家可以自行測(cè)試。
從多次運(yùn)行的結(jié)果來(lái)看__pool_alloc的性能始終是優(yōu)于new_allocator的。
又回到那個(gè)問(wèn)題，為什么SGI STL的官方把默認(rèn)的Alloc從__pool_alloc變?yōu)閚ew_allocator。
本篇文章不能給大家一個(gè)答案，官方網(wǎng)站上也未看到解釋?zhuān)约何ㄒ豢赡艿牟聹y(cè)是
1、__pool_alloc不利于使用者自定義operator new和operator delete(其實(shí)這條理由又被我自己推翻了，因?yàn)橥ㄟ^(guò)源碼可以知道置位_S_force_new即可解決)
2、malloc性能的提升以及硬件的更新導(dǎo)致使用默認(rèn)的operator new即可。
如果大家有更好，更權(quán)威的答案請(qǐng)告訴我(peakflys@gmail.com)或者留言，謝謝。
by peakflys 16:49:49 Wednesday, January 14, 2015