PHP原理之内存管理中难懂的几个点

宏来决定某个大小的内存, 落在什么index上:#define ZEND_MM_LARGE_BUCKET_INDEX(S) zend_mm_high_bit(S) zend_mm_high_bit获取true_size中最高位1的序号(zend_mm_high_bit), 对应的汇编指令是bsr(此处, TIPI项目错误的说明为: “这个hash函数用来计算size的位数，返回值为size二进码中1的个数-1″).也就是说, 每一个在large_free_buckets中的元素, 都保持着指向一个大小为在对应index处为1的size的内存块的指针. 诶, 有点绕口, 举个例子:比如对于large_free_buckets[2], 就只会保存, 大小在0b1000到0b1111大小的内存. 再比如: large_free_buckets[6], 就保存着大小为0b10000000到0b11111111大小的内存的指针.这样, 再分配内存的时候, Zend MM就可以快速定位到最可能适合的区域来查找. 提高性能.而, 每一个元素又同时是一个双向列表, 保持着同样size的内存块, 而左右孩子(child[0]和child[1])分别代表着键值0和1, 这个键值是指什么呢?我们来举个例子, 比如我向PHP申请一个true_size为0b11010大小的内存, 经过一番步骤以后, 没有找到合适的内存, PHP进入了zend_mm_search_large_block的逻辑来在large_free_buckets中寻找合适的内存:1. 首先, 计算true_size对应的index, 计算方法如之前描述的ZEND_MM_LARGE_BUCKET_INDEX2. 然后在一个位图结构中, 判断是否存在一个大于true_size的可用内存已经存在于large_free_buckets, 如果不存在就返回:size_t bitmap = heap->large_free_bitmap >> index;  if (bitmap == 0) {     return NULL;  } 3. 判断, free_buckets[index]是否存在可用的内存:if (UNEXPECTED((bitmap & 1) != 0)) 4. 如果存在, 则从free_buckets[index]开始, 寻找最合适的内存, 步骤如下:4.1. 从free_buckets[index]开始, 如果free_buckets[index]当前的内存大小和true_size相等, 则寻找结束, 成功返回.4.2. 查看true_size对应index后(true_size << (ZEND_MM_NUM_BUCKETS - index))的当前最高位, 如果为1. 则在free_buckets[index]->child[1]下面继续寻找, 如果free_buckets[index]->child[1]不存在, 则跳出. 如果true_size的当前最高位为0, 则在free_buckets[index]->child[0]下面继续寻找, 如果free_buckets[index]->child[0]不存在, 则在free_buckets[index]->child[1]下面寻找最小内存(因为此时可以保证, 在free_buckets[index]->child[1]下面的内存都是大于true_size的)4.3. 出发点变更为2中所述的child, 左移一位ture_size.5. 如果上述逻辑并没有找到合适的内存, 则寻找最小的”大块内存”:/* Search for smallest "large" free block */   best_fit = p = heap->large_free_buckets[index + zend_mm_low_bit(bitmap)];    while ((p = p->child[p->child[0] != NULL])) {        if (ZEND_MM_FREE_BLOCK_SIZE(p) < ZEND_MM_FREE_BLOCK_SIZE(best_fit)) {            best_fit = p;        }    } 注意上面的逻辑, (p = p->child[p->child[0] != NULL]), PHP在尽量寻找最小的内存.为什么说, large_free_buckets是个键树呢, 从上面的逻辑我们可以看出, PHP把一