zend_mm_search_large_block

2015-09-15 18:00:56   1  举报





`zend_mm_search_large_block`是Zend引擎中的一个函数，用于在大型内存块中搜索指定的数据。这个函数主要用于处理大数据量的搜索操作，以提高搜索效率和性能。它采用二分查找算法，通过不断缩小搜索范围，快速定位到目标数据的位置。在实际应用中，这个函数可以用于数据库查询、文本检索等场景，帮助开发者实现高效的数据处理和分析。需要注意的是，使用`zend_mm_search_large_block`函数时，需要确保内存块的大小适中，以便获得最佳的搜索效果。

作者其他创作

大纲/内容

恰好满足

break;走到这个分支，意味着根据true_size的每一位bit值，我们在heap-large_free_buckets[index];中没有能够“恰好”满足true_size的block

return best_fit-next_free_block;

否

for (p = rst; p; p = p-child[p-child[0] != NULL]) 如果在上面的搜寻中，虽然没有找到“恰好”满足true_size的block但在上面的逻辑中，如果我们试图找左孩子但为空时，记录了当时存在的右孩子，并放入rst，则在rst里面继续寻找，直到左孩子或者右孩子为NULL时停止

best_fit = p;

是1

应该目前没用

return null;large_free_buckets里面没有可以满足true_size需要的block

为1，则我们需要在右孩子中继续寻找

有

return best_fit-next_free_block;如果p所在树的这一层正好满足true_size我们就使用这一层同大小block链表的最近一个insert进来的那个block，即p-next_free_block

没有

bitmap = bitmap 1;当前heap-large_free_buckets[index];确定找不到可以满足truesize的block了，那么看看bitmap中更高一位是否存有东西，往存着更大size的block链表里面去找吧

if (ZEND_MM_FREE_BLOCK_SIZE(p) ZEND_MM_FREE_BLOCK_SIZE(best_fit))如果找到更小的比truesize大的内存设为best_fit

如果p所在树的这一层正好满足true_size我们就使用这一层同大小block链表的最近一个insert进来的那个block（如果只有一个，那next就是指向它自己），即p-next_free_block，为什么是next？详见add_to_free_list函数

FALSE

是0

if (!bitmap)还有没有更大的block链表了？

if (p-child[0])左孩子中是否有blk?

index++;index加一，去更大的那个bucket中去找

不满足

TRUE

用

不恰好满足

if (UNEXPECTED(ZEND_MM_FREE_BLOCK_SIZE(p) == true_size))p指向的block的size是否恰好满足true_size？

if (UNEXPECTED((bitmap & 1) != 0))通过bitmap来判断large_free_buckets[index]这一树表中是否有block因为large_free_buckets里面，index越大，里面的block大小越大所以我们先判断large_free_buckets[index]再判断large_free_buckets[larger]

为0，则我们需要在左孩子中继续寻找

有更大的block链表

p = p-child[0];将指针指向左孩子，进入下一循环

bitmap = heap-large_free_bitmap index;将large_free_bitmap的最右边index位挪掉，剩余的最低位的位数即为原truesize的第index位

满足

return NULL;large_free_buckets里面没有可以满足true_size需要的block

当前节点不能恰好满足true_size，则需要继续在孩子中寻找p = p-child[p-child[0] != NULL]如果两个孩子都不为NULL，则如右孩子，直到左孩子或者右孩子为NULL时停止

是

return p-next_free_block;如果p所在树的这一层正好满足true_size我们就使用这一层同大小block链表的最近一个insert进来的那个block，即p-next_free_block

p = p-child[1];将指针指向右孩子，进入下一循环

if (p-child[1])判断右孩子中是否有blk

if ((m & (ZEND_MM_LONG_CONST(1) (ZEND_MM_NUM_BUCKETS-1))) == 0)判断当前最高位是0还是1

if (UNEXPECTED(ZEND_MM_FREE_BLOCK_SIZE(p) == true_size))当前节点block的大小是否“正好”满足truesize通过p-info._size来判断

for (m = true_size (ZEND_MM_NUM_BUCKETS - index); ; m = 1) 先将原truesize左移直到将最高位挤出，然后每次loop都将目前最高位挤出

if (best_fit)这一路上是否找到不是恰好满足但是也能满足的block如果找到“恰好”满足的，肯定已经返回了，不会走到这里

找到了

return p-next_free_block;

/* Search for smallest \"large\" free block */ best_fit = p = heap-large_free_buckets[index + zend_mm_low_bit(bitmap)];在更大的bucket里面寻找，先将这个更大的bucket的头部作为目前的最优选择best_fit

没有更大的block链表

if (bitmap == 0)判断large_free_buckets[index or larger]中是否有blocks，来满足truesize的需求

index = ZEND_MM_LARGE_BUCKET_INDEX(true_size);index=truesize的最高位数的1的位数，比如index = LARGE_INDEX(80 = 1010000） = 6

if (p-child[1]) { rst = p-child[1];}为避免左孩子中找不到合适的block，我们也记住当前的右孩子，一旦左孩子中找不到，我们可以使用右孩子中最小的block来满足truesize

p = heap-large_free_buckets[index];取该链表头部指针

while ((p = p-child[p-child[0] != NULL]))继续在孩子中寻找更小的block直到当前节点没有左孩子为止