C++中內(nèi)存池的簡單原理及實(shí)現(xiàn)詳解
為什么要用內(nèi)存池
C++程序默認(rèn)的內(nèi)存管理(new,delete,malloc,free)會(huì)頻繁地在堆上分配和釋放內(nèi)存,導(dǎo)致性能的損失,產(chǎn)生大量的內(nèi)存碎片,降低內(nèi)存的利用率。默認(rèn)的內(nèi)存管理因?yàn)楸辉O(shè)計(jì)的比較通用,所以在性能上并不能做到極致。
因此,很多時(shí)候需要根據(jù)業(yè)務(wù)需求設(shè)計(jì)專用內(nèi)存管理器,便于針對特定數(shù)據(jù)結(jié)構(gòu)和使用場合的內(nèi)存管理,比如:內(nèi)存池。
內(nèi)存池原理
內(nèi)存池的思想是,在真正使用內(nèi)存之前,預(yù)先申請分配一定數(shù)量、大小預(yù)設(shè)的內(nèi)存塊留作備用。當(dāng)有新的內(nèi)存需求時(shí),就從內(nèi)存池中分出一部分內(nèi)存塊,若內(nèi)存塊不夠再繼續(xù)申請新的內(nèi)存,當(dāng)內(nèi)存釋放后就回歸到內(nèi)存塊留作后續(xù)的復(fù)用,使得內(nèi)存使用效率得到提升,一般也不會(huì)產(chǎn)生不可控制的內(nèi)存碎片。
內(nèi)存池設(shè)計(jì)
算法原理:
1.預(yù)申請一個(gè)內(nèi)存區(qū)chunk,將內(nèi)存中按照對象大小劃分成多個(gè)內(nèi)存塊block
2.維持一個(gè)空閑內(nèi)存塊鏈表,通過指針相連,標(biāo)記頭指針為第一個(gè)空閑塊
3.每次新申請一個(gè)對象的空間,則將該內(nèi)存塊從空閑鏈表中去除,更新空閑鏈表頭指針
4.每次釋放一個(gè)對象的空間,則重新將該內(nèi)存塊加到空閑鏈表頭
5.如果一個(gè)內(nèi)存區(qū)占滿了,則新開辟一個(gè)內(nèi)存區(qū),維持一個(gè)內(nèi)存區(qū)的鏈表,同指針相連,頭指針指向最新的內(nèi)存區(qū),新的內(nèi)存塊從該區(qū)內(nèi)重新劃分和申請
如圖所示:
內(nèi)存池實(shí)現(xiàn)
memory_pool.hpp
#ifndef _MEMORY_POOL_H_ #define _MEMORY_POOL_H_ #include <stdint.h> #include <mutex> template<size_t BlockSize, size_t BlockNum = 10> class MemoryPool { public: MemoryPool() { std::lock_guard<std::mutex> lk(mtx); // avoid race condition // init empty memory pointer free_block_head = NULL; mem_chunk_head = NULL; } ~MemoryPool() { std::lock_guard<std::mutex> lk(mtx); // avoid race condition // destruct automatically MemChunk* p; while (mem_chunk_head) { p = mem_chunk_head->next; delete mem_chunk_head; mem_chunk_head = p; } } void* allocate() { std::lock_guard<std::mutex> lk(mtx); // avoid race condition // allocate one object memory // if no free block in current chunk, should create new chunk if (!free_block_head) { // malloc mem chunk MemChunk* new_chunk = new MemChunk; new_chunk->next = NULL; // set this chunk's first block as free block head free_block_head = &(new_chunk->blocks[0]); // link the new chunk's all blocks for (int i = 1; i < BlockNum; i++) new_chunk->blocks[i - 1].next = &(new_chunk->blocks[i]); new_chunk->blocks[BlockNum - 1].next = NULL; // final block next is NULL if (!mem_chunk_head) mem_chunk_head = new_chunk; else { // add new chunk to chunk list mem_chunk_head->next = new_chunk; mem_chunk_head = new_chunk; } } // allocate the current free block to the object void* object_block = free_block_head; free_block_head = free_block_head->next; return object_block; } void* allocate(size_t size) { std::lock_guard<std::mutex> lk(array_mtx); // avoid race condition for continuous memory // calculate objects num int n = size / BlockSize; // allocate n objects in continuous memory // FIXME: make sure n > 0 void* p = allocate(); for (int i = 1; i < n; i++) allocate(); return p; } void deallocate(void* p) { std::lock_guard<std::mutex> lk(mtx); // avoid race condition // free object memory FreeBlock* block = static_cast<FreeBlock*>(p); block->next = free_block_head; // insert the free block to head free_block_head = block; } private: // free node block, every block size exactly can contain one object struct FreeBlock { unsigned char data[BlockSize]; FreeBlock* next; }; FreeBlock* free_block_head; // memory chunk, every chunk contains blocks number with fixed BlockNum struct MemChunk { FreeBlock blocks[BlockNum]; MemChunk* next; }; MemChunk* mem_chunk_head; // thread safe related std::mutex mtx; std::mutex array_mtx; }; #endif // !_MEMORY_POOL_H_
main.cpp
#include <iostream> #include "memory_pool.hpp" class MyObject { public: MyObject(int x): data(x) { //std::cout << "contruct object" << std::endl; } ~MyObject() { //std::cout << "destruct object" << std::endl; } int data; // override new and delete to use memory pool void* operator new(size_t size); void operator delete(void* p); void* operator new[](size_t size); void operator delete[](void* p); }; // define memory pool with block size as class size MemoryPool<sizeof(MyObject), 3> gMemPool; void* MyObject::operator new(size_t size) { //std::cout << "new object space" << std::endl; return gMemPool.allocate(); } void MyObject::operator delete(void* p) { //std::cout << "free object space" << std::endl; gMemPool.deallocate(p); } void* MyObject::operator new[](size_t size) { // TODO: not supported continuous memoery pool for now //return gMemPool.allocate(size); return NULL; } void MyObject::operator delete[](void* p) { // TODO: not supported continuous memoery pool for now //gMemPool.deallocate(p); } int main(int argc, char* argv[]) { MyObject* p1 = new MyObject(1); std::cout << "p1 " << p1 << " " << p1->data<< std::endl; MyObject* p2 = new MyObject(2); std::cout << "p2 " << p2 << " " << p2->data << std::endl; delete p2; MyObject* p3 = new MyObject(3); std::cout << "p3 " << p3 << " " << p3->data << std::endl; MyObject* p4 = new MyObject(4); std::cout << "p4 " << p4 << " " << p4->data << std::endl; MyObject* p5 = new MyObject(5); std::cout << "p5 " << p5 << " " << p5->data << std::endl; MyObject* p6 = new MyObject(6); std::cout << "p6 " << p6 << " " << p6->data << std::endl; delete p1; delete p2; //delete p3; delete p4; delete p5; delete p6; getchar(); return 0; }
運(yùn)行結(jié)果
p1 00000174BEDE0440 1
p2 00000174BEDE0450 2
p3 00000174BEDE0450 3
p4 00000174BEDE0460 4
p5 00000174BEDD5310 5
p6 00000174BEDD5320 6
可以看到內(nèi)存地址是連續(xù),并且回收一個(gè)節(jié)點(diǎn)后,依然有序地開辟內(nèi)存
對象先開辟內(nèi)存再構(gòu)造,先析構(gòu)再釋放內(nèi)存
注意
- 在內(nèi)存分配和釋放的環(huán)節(jié)需要加鎖來保證線程安全
- 還沒有實(shí)現(xiàn)對象數(shù)組的分配和釋放
到此這篇關(guān)于C++中內(nèi)存池的簡單原理及實(shí)現(xiàn)詳解的文章就介紹到這了,更多相關(guān)C++內(nèi)存池內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
C語言關(guān)鍵字auto與register及static專項(xiàng)詳解
這篇文章主要解釋了c語言中什么是數(shù)據(jù)類型,什么是變量,他們的真正含義是什么。分析了屬性關(guān)鍵字auto,register和static的用法2022-07-07C++與C#互調(diào)dll的實(shí)現(xiàn)步驟
這篇文章主要介紹了C++與C#互調(diào)dll的實(shí)現(xiàn)步驟,dll動(dòng)態(tài)鏈接庫的共享在一些大型項(xiàng)目中有一定的應(yīng)用價(jià)值,需要的朋友可以參考下2014-08-08C++中給二維指針分配內(nèi)存(實(shí)現(xiàn)代碼)
我們都知道在 C++ 中分配動(dòng)態(tài)數(shù)組用的是 new , 撤銷動(dòng)態(tài)數(shù)組用的是 delete[ ] ,現(xiàn)在讓我們來看看怎么利用這兩個(gè)關(guān)鍵字給二維指針分配內(nèi)存2013-10-10C++實(shí)現(xiàn)拷貝構(gòu)造函數(shù)的方法詳解
拷貝構(gòu)造函數(shù)是構(gòu)造函數(shù)的一個(gè)重載,因此顯式的定義了拷貝構(gòu)造,那么編譯器也不再默認(rèn)生成構(gòu)造函數(shù)。本文主要介紹了C++實(shí)現(xiàn)拷貝構(gòu)造函數(shù)的方法,需要的可以參考一下2022-09-09C語言數(shù)據(jù)結(jié)構(gòu)經(jīng)典10大排序算法刨析
這篇文章主要介紹了C語言中常用的10種排序算法及代碼實(shí)現(xiàn),開發(fā)中排序的應(yīng)用需要熟練的掌握,因?yàn)槭腔A(chǔ)內(nèi)容,那C語言有哪些排序算法呢?本文小編就來詳細(xì)說說,需要的朋友可以參考一下2022-02-02基于MFC實(shí)現(xiàn)單個(gè)文檔的文件讀寫
這篇文章主要為大家詳細(xì)介紹了如何基于MFC實(shí)現(xiàn)單個(gè)文檔的文件讀寫功能,文中的示例代碼講解詳細(xì),對我們學(xué)習(xí)有一定幫助,感興趣的可以了解一下2022-07-07