zend_mm_remove_from_free_list

subst_block：走到这个分支中，两种可能性：1）mm_block是large_free_buckets[]中的树中blk，是它所在层的唯一blk，没有prev和next，但是至少有一个孩子，此时prev指向它的后裔（即最小的比它大的block）2）mm_block是large_free_buckets[]中的树中blk，不是它所在层的唯一blk，不一定有孩子，此时prev指向它的后裔（即和它同大小的同层blk）

因为mm_block没有链接其它元素，那么它肯定属于large_free_buckets[]里面的某个树表，它有可能是一个叶子blk，也有可能是树中某一层唯一的树中blk，无论哪种情况，它一定有parent和child指针，但都可能为NULL

否

不正常

else if (UNEXPECTED(mm_block-parent == ZEND_MM_REST_BLOCK))mm_block是属于rest_buckets吗？

prev链接着其它blk

因为mm_block链接着其它元素，说明mm_block的情况有三种可能性：1）它属于free_bucket[]的某个链表里面2）它是large_free_buckets[]某个树表里面某一层，在同一层有与它同大小的blk，它肯定有parent和child指针，但都可能为NULL3）它属于rest_buckets[]

if (EXPECTED(prev == mm_block))校验mm_block的prev是否链接着其它blk还是链接着它自己？

完成任务，现在的mm_block已经完全与它原来所在的heap中某个数据结构脱离了关系，我们可以直接使用了注意：我们没有费力去清除mm_block本身的各个指针，因为它在被返回给用户使用前，会被从mm_free_block结构转为mm_block结构，其指针部分的内存将被debug_info等结构覆盖，如果debug_info覆盖后仍剩余，则直接给用户使用了。

走到这个分支，两种可能性：1）mm_block右孩子为空，prev指向左孩子，左孩子不为空2）mm_block右孩子不为空，prev指向右孩子，自然不为空这两种情况，mm_block都是一个树中block

prev-next_free_block = next;next-prev_free_block = prev;将mm_block在链表中的前后blk链接起来这一步使得mm_block脱离了它原来所在的链表（无论是free_buckets还是rest_buckets还是large_free_buckets）

有

if (UNEXPECTED(prev-next_free_block != mm_block) || UNEXPECTED(next-prev_free_block != mm_block))校验mm_block在某个链表中链接情况是否正常

prev链接着其它自己

zend_mm_panic(\"zend_mm_heap corrupted\");

没有

if (EXPECTED(prev == NULL))这个孩子为空吗？

while (*(cp = &(prev-child[prev-child[1] != NULL])) != NULL) {prev = *cp; rp = cp;}依照一定原则，循环地去找mm_block的孩子里面最下层的一个叶子block原则是：如果当前block的右孩子不为空，就走右孩子，如果为空就走左孩子直到当前block的两个孩子都为空，就停止，停止时，prev指向最后这个两个孩子都为空的叶子block，rp指向它的parent

为空

k

*rp = NULL;将prev与它parent脱离

因为mm_block是一个small free block，属于free_buckets某个链表中。而在free_buckets的任意链表中，只有当mm_block是该链表唯一block时，它的prev和next才会相同，且都指向free_buckets[index]

heap-rest_count--;因为已经将mm_block的前后链接无需再多操作，减去rest_buckets里面的计数即可

size_t index = ZEND_MM_BUCKET_INDEX(ZEND_MM_FREE_BLOCK_SIZE(mm_block));if (EXPECTED(heap-free_buckets[index*2] == heap-free_buckets[index*2+1])) {heap-free_bitmap &= ~(ZEND_MM_LONG_CONST(1) free_bitmap，记录这个index不再有free block可用

是

zend_mm_free_block *prev = mm_block-prev_free_block;zend_mm_free_block *next = mm_block-next_free_block;能进入到这个函数中的mm_block，一定属于heap的free_bucket[]或者large_free_buckets[]中，也只有这两个链表里面的block在被使用前需要从链表中脱离无论是在这两个链表中的哪一个里面，mm_block都应该存有prev、next两个指针但不一定会有parent和child

不为空

走到这里，说明mm_block是free_buckets里面某个链表中的非唯一blk，既然在前面我们已将它与所在链表脱离，这里无需其他操作了

if (EXPECTED(prev == next))mm_block的prev和next是否指向同一个地方?

rp = &mm_block-child[mm_block-child[1] != NULL];prev = *rp;让prev指向mm_block的一个孩子，如果右孩子不为空就指右孩子，如果右孩子为空就指左孩子

无论上述两种可能性的哪一种，我们在这里都需要做一件事：将mm_block替换成它在树表中的后裔，来保证树的正确性。具体的方法就是将mm_block的parent、child全都赋给prev指向的blk（mm_block的后裔），and vice versa，这些操作无所谓mm_block和prev目前是否有任何孩子：ZEND_MM_CHECK_TREE(mm_block);*mm_block-parent = prev;prev-parent = mm_block-parent;if ((prev-child[0] = mm_block-child[0])) {ZEND_MM_CHECK_TREE(prev-child[0]);prev-child[0]-parent = &prev-child[0];}将mm_block左孩子赋给prev，如果左孩子不为NULL，将左孩子parent设为previf ((prev-child[1] = mm_block-child[1])) {ZEND_MM_CHECK_TREE(prev-child[1]);prev-child[1]-parent = &prev-child[1];}将mm_block右孩子赋给prev，如果右孩子不为NULL，将右孩子parent设为prev

if (UNEXPECTED(next != mm_block))校验mm_block的next是否也链接着自己

else if (UNEXPECTED(mm_block-parent != NULL))走到这里，说明mm_block肯定是在large_free_buckets里面的blk，那么它有parent吗？

走到这个分支，只有一个可能性：mm_block右孩子为空，prev指向左孩子，又为空，那么mm_block是一个叶子block

if (EXPECTED(ZEND_MM_SMALL_SIZE(ZEND_MM_FREE_BLOCK_SIZE(mm_block))))mm_block是一个small free block吗？

zend_mm_panic(\"zend_mm_heap corrupted\");走到这个分支中，无论属于上面说的两种情况的哪一个，mm_block的prev和next都应该指着自己，如果不是，就说明zend_mm_heap corrupted

走到这里，说明mm_block是large_free_buckets[]里面某个树表的某一层的非唯一blk，它原本和同样大小的其它blk链接在一起，但因为它没有parent，所以它一定不是这一层得这个链表的表头blk。因为我们在上面已经将它与它原来所在的链表脱离，所以我们在这里无需任何操作了

走到这里，说明mm_block是large_free_buckets[]里面某个树表的某一层的非唯一blk，它原本和同样大小的其它blk链接在一起，但因为它有parent，所以它是这一层得这个链表的表头blk，虽然我们在上面已经将它与它原来所在的链表脱离，我们依然要将这个mm_block替换成它自己在树表中的后裔（即和它同大小的同层blk）