??昨天在討論需求時提到了google的一款開源軟件立宜,突然想起來在深圳工作那半年遇到該軟件在搭配CUB庫中AutoMsg使用時存在內(nèi)存泄漏的問題橙数。于是撰寫本文對問題進行闡述帅戒,并給出解決方案。
??cub 已經(jīng)開源,其中封裝了很多有用的組件例如鏈表,鎖以及DCI框架迎献。有興趣的同學可以瀏覽下腻贰。本文主要探討其中的一個組件AutoMsg.
??AutoMsg主要是解決大對象占用較大棧內(nèi)內(nèi)存,可能導致棧溢出的問題践盼。其原理如下:
- 1宾巍,構(gòu)造對象(在全局數(shù)據(jù)區(qū)分配內(nèi)存---> 構(gòu)造對象)
- 2,銷毀對象 (回收內(nèi)存)
??由上可以看出對象的構(gòu)造分為兩個階段:分配內(nèi)存和對象構(gòu)造顶霞。然而在銷毀時就只剩內(nèi)存回收,也就是說缺省了對象析構(gòu)這個過程蓝厌。如果存在非默認的析構(gòu)函數(shù)古徒,那么我們設置的掃尾工作可能就沒有人做了。例如動態(tài)內(nèi)存釋放代态。
~AutoMsg()
{
if(msg != 0)
{
typedef typename IS_POD<MSG>::value_type type;
_Destroy(getPointer(), type());
msg->operator delete((void*)msg);
msg = 0;
}
}
在最小修改以及不影響原有業(yè)務代碼的情前提下疹吃,我們對原有的代碼只是添加了如下兩行:
typedef typename IS_POD<MSG>::value_type type;
_Destroy(getPointer(), type());
IS_POD是我們實現(xiàn)的一個類型萃取器,其主要作用是判斷當前的數(shù)據(jù)類型是否需要析構(gòu)歉摧。如果不需要腔呜,為了提高效率也就沒有必要調(diào)用析構(gòu)函數(shù)。_Destroy主要是進行對象析構(gòu)核畴,其實現(xiàn)如下:
template<typename T> void _Destroy(T* ptr, __false_type)
{
ptr->~T();
}
template<typename T> void _Destory(T* ptr, __true_type){}
??綜上的修改只是在內(nèi)存回收的前面調(diào)用了下析構(gòu)函數(shù)膛檀。當然在此也做了稍許的性能優(yōu)化,畢竟對于我們來說性能還是很重要的咖刃。上述IS_POD類型萃取器的實現(xiàn),這個比較簡單主要就是使用了模板的特化在此就不作展開了花鹅。該問題看似實現(xiàn)簡單枫浙,實際上用到了很多實現(xiàn)技巧,例如模板特化箩帚、類型萃取等紧帕。有興趣的同學可以研究下