C++内存管理(候捷)第四讲 笔记

上中下三个classes分析

Loki allocator的三个类,从低阶到高阶分别为:Chunk, FixedAllocator, SmallObjAllocator

Chunk:pData指针,指向分配的一个chunk,firstAvailableBlock_索引,指向第一个可用区块是第几块,blocksAvailable_目前还可以供应的区块数

FixedAllocator:chunks_是vector放了很多chunk,allocChunk_和deallocChunk_是指针,指向某两个chunk

SmallObjAllocator:pool_是vector放了很多FixedAllocator, pLastAlloc和pLastDealloc两个指针指向pool里的某两个

Class Chunk分析


Init :初始化,被更上层的class调用。new调用mallloc创建对象,分配一大块chunk。
Reset :可用的block个数为64,第一个可以的block的编号为0,然后一个for循环,把每个block的第一个字节当作索引index使用(类似于嵌入式指针)
Release :使用delete[],释放空间,还给操作系统

Chunk的Allocate:分配一个可用区块(最高优先权),然后firstAvailableBlock_指向下一个可用区块,比如这里可用区块的索引从左边的4变成了右边的3(4地址对应区块的第一个索引数字是3,即下一优先区块为3),剩余区块个数也相应调整

Chunk的Deallocate函数:释放的指针p已经确定在这个Chunk中,但是需要确定p是Chunk的第一个block,用p减去头指针,除以block大小,得到释放的block索引,这个释放回收的块block具有最高优先权,成为firstAvailableBlock_,然后可利用的block个数+1.

class FixedAllocator分析

allocChunk_指向最近一次满足分配动作的Chunk,再次分配时优先判断该chunk是否满足分配

deallocChunk 指向最近一次回收的Chunk,再次回收先从该chunk确认
Allocate:如果有最近的allocChunk
,那么直接取区块,否则就要for循环从头开始遍历每个chunk,直到找到有可用空间的chunk。return allocChunk->Allocate(blockSize_);是向这个chunk取区块

一个vector在push_back时可能发生搬运操作,deallocChunk可能失效,需要重新设定,无法确定指到哪,只好指向头

Deallocate函数:调用VicinityFind函数查找还回来的指针p落在哪个chunk,找到之后交给第一级Chunk类的Deallocate来处理

VicinityFind(临近搜寻):

chunkLength是chunk的大小,lo是上次还回来的chunk,hi是下一个chunk,loBound和hiBound是vector的头跟尾

一路往上查找,一路往下查找。

在lo里面找,找不到的话就往上面的chunk去查找,一直往上,一个接一个的chunk去找

然后在hi里面找,找不到就往下面的chunk去查找,一直往下,一个接一个的chunk去找

旧版这段代码,如果释放了不属于该分配器分配的指针,会进入死循环

调用Deallocate函数进行回收,然后确认是否是全回收的情况处理。

全回收的时候,需要确认有2个chunk,才回收一个,就是前一讲的deferring延缓回收

Loki::allocator总结

相关推荐
Aderversa4 小时前
C++开源协程库async_simple有栈协程源码分析
c++·协程
uyeonashi4 小时前
【QT】窗口详解
开发语言·c++·qt·学习
Hello eveybody5 小时前
C++介绍整数二分与实数二分
开发语言·数据结构·c++·算法
空白木各6 小时前
evo工具
c++
编码小笨猪6 小时前
浅谈Linux中一次系统调用的执行过程
linux·服务器·c++
囚生CY6 小时前
【学习笔记】Langchain基础(二)
笔记·学习·langchain
呃m8 小时前
双重特征c++
c++
景彡先生9 小时前
C++ 中文件 IO 操作详解
开发语言·c++
无影无踪的青蛙9 小时前
[C++] STL大家族之<map>(字典)容器(附洛谷)
开发语言·c++
忘川w9 小时前
《网络安全与防护》知识点复习
笔记·安全·web安全·网络安全