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延缓回收