PHP内核探索:内存的申请与销毁

ZendMM会在内存池中分配相应的内存
服务器君一共花费了325.449 ms进行了6次数据库查询,努力地为您提供了这个页面。
试试阅读模式?希望听取您的建议

PHP底层对内存的管理, 围绕着小块内存列表(free_buckets)、 大块内存列表(large_free_buckets)和 剩余内存列表(rest_buckets)三个列表来分层进行的。 ZendMM向系统进行的内存申请,并不是有需要时向系统即时申请, 而是由ZendMM的最底层(heap层)先向系统申请一大块的内存,通过对上面三种列表的填充, 建立一个类似于内存池的管理机制。 在程序运行需要使用内存的时候,ZendMM会在内存池中分配相应的内存供使用。 这样做的好处是避免了PHP向系统频繁的内存申请操作,如下面的代码:

<?php
$nowamagic = "o_o\n";
echo $nowamagic;
?>

这是一个简单的php程序,但通过对emalloc的调用计数,发现对内存的请求有数百次之多, 当然这非常容易解释,因为PHP脚本的执行,需要大量的环境变量以及内部变量的定义, 这些定义本身都是需要在内存中进行存储的。

在编写PHP的扩展时,推荐使用emalloc来代替malloc,其实也就是使用PHP的ZendMM来代替 手动直接调用系统级的内存管理。(除非,你自己知道自已在做什么。)

那么在上面这个小程序的执行过程中,ZendMM是如何使用自身的heap层存储空间的呢? 经过对源码的追踪我们可以找到:

ZEND_ASSIGN_SPEC_CV_CONST_HANDLER (......)
-> ALLOC_ZVAL(......)
-> ZEND_FAST_ALLOC(......) 
-> emalloc (......)
-> _emalloc(......)
-> _zend_mm_alloc_int(.....)

void *_emalloc 实现了对内存的申请操作,在_emalloc的处理过程中, 对是否使用ZendMM进行了判断,如果heap层没有使用ZendMM来管理, 就直接使用_zend_mm_heap结构中定义的_malloc函数进行内存的分配; (我们通过上节可以知道,这里的_malloc可以是malloc,win32,mmap_anon,mmap_zero中的一种)。

就目前所知,不使用ZendMM进行内存管理,唯一的用途是打开enable-debug开关后, 可以更方便的追踪内存的使用情况。所以,在这里我们关注ZendMM使用_zend_mm_alloc_int函数进行内存分配:

PHP内存管理器

结合上图,再加上内存分配之前的验证,ZendMM对内存分配的处理主要有以下步骤:

  1. 内存检查。 对要申请的内存大小进行检查,如果太大(超出memory_limit则报 Out of Memory);
  2. 如果命中缓存,使用fastcache得到内存块(详见第五节),然后直接进行第5步;
  3. 在ZendMM管理的heap层存储中搜索合适大小的内存块, 在这一步骤ZendMM通过与ZEND_MM_MAX_SMALL_SIZE进行大小比较, 把内存请求分为两种类型: large和small。small类型的的请求会先使用zend_mm_low_bit函数 在mm_heap中的free_buckets中查找,未找到则使用与large类型相同的方式: 使用zend_mm_search_large_block函数在“大块”内存(_zend_mm_heap->large_free_buckets)中进行查找。 如果还没有可以满足大小需求的内存,最后在rest_buckets中进行查找。 也就是说,内存的分配是在三种列表中小到大进行的。 找到可以使用的block后,进行第5步;
  4. 如果经过第3步的查找还没有找到可以使用的资源(请求的内存过大),需要使用ZEND_MM_STORAGE_ALLOC函数向系统再申请一块内存(大小至少为ZEND_MM_SEG_SIZE),然后直接将对齐后的地址分配给本次请求。跳到第6步;
  5. 使用zend_mm_remove_from_free_list函数将已经使用block节点在zend_mm_free_block中移除;
  6. 内存分配完毕,对zend_mm_heap结构中的各种标识型变量进行维护,包括large_free_buckets, peak,size等;
  7. 返回分配的内存地址;

从上面的分配可以看出,PHP对内存的分配,是结合PHP的用途来设计的,PHP一般用于web应用程序的数据支持, 单个脚本的运行周期一般比较短(最多达到秒级),内存大块整块的申请,自主进行小块的分配, 没有进行比较复杂的不相临地址的空闲内存合并,而是集中再次向系统请求。 这样做的好处就是运行速度会更快,缺点是随着程序的运行时间的变长, 内存的使用情况会“越来越多”(PHP5.2及更早版本)。 所以PHP5.3之前的版本并不适合做为守护进程长期运行。 (当然,可以有其他方法解决,而且在PHP5.3中引入了新的GC机制,详见下一小节)

内存的销毁

ZendMM在内存销毁的处理上采用与内存申请相同的策略,当程序unset一个变量或者是其他的释放行为时, ZendMM并不会直接立刻将内存交回给系统,而是只在自身维护的内存池中将其重新标识为可用, 按照内存的大小整理到上面所说的三种列表(small,large,free)之中,以备下次内存申请时使用。

内存销毁的最终实现函数是_efree。在_efree中,内存的销毁首先要进行是否放回cache的判断。 如果内存的大小满足ZEND_MM_SMALL_SIZE并且cache还没有超过系统设置的ZEND_MM_CACHE_SIZE, 那么,当前内存块zend_mm_block就会被放回mm_heap->cache中。 如果内存块没有被放回cache,则使用下面的代码进行处理:

zend_mm_block *mm_block; //要销毁的内存块
zend_mm_block *next_block;
...
next_block = ZEND_MM_BLOCK_AT(mm_block, size);
if (ZEND_MM_IS_FREE_BLOCK(next_block)) {
    zend_mm_remove_from_free_list(heap, (zend_mm_free_block *) next_block);
    size += ZEND_MM_FREE_BLOCK_SIZE(next_block);
}    
if (ZEND_MM_PREV_BLOCK_IS_FREE(mm_block)) {
    mm_block = ZEND_MM_PREV_BLOCK(mm_block);
    zend_mm_remove_from_free_list(heap, (zend_mm_free_block *) mm_block);
    size += ZEND_MM_FREE_BLOCK_SIZE(mm_block);
}    
if (ZEND_MM_IS_FIRST_BLOCK(mm_block) &&
    ZEND_MM_IS_GUARD_BLOCK(ZEND_MM_BLOCK_AT(mm_block, size))) {
    zend_mm_del_segment(heap, (zend_mm_segment *) ((char *)mm_block - ZEND_MM_ALIGNED_SEGMENT_SIZE));
} else {
    ZEND_MM_BLOCK(mm_block, ZEND_MM_FREE_BLOCK, size);
    zend_mm_add_to_free_list(heap, (zend_mm_free_block *) mm_block);
}

这段代码逻辑比较清晰,主要是根据当前要销毁的内存块mm_block在zend_mm_heap 双向链表中所处的位置进行不同的操作。如果下一个节点还是free的内存,则将下一个节点合并; 如果上一相邻节点内存块为free,则合并到上一个节点; 如果只是普通节点,刚使用 zend_mm_add_to_free_list或者zend_mm_del_segment 进行回收。

就这样,ZendMM将内存块以整理收回到zend_mm_heap的方式,回收到内存池中。 程序使用的所有内存,将在进程结束时统一交还给系统。在内存的销毁过程中,还涉及到引用计数和垃圾回收(GC),将在下一小节进行讨论。

延伸阅读

此文章所在专题列表如下:

  1. PHP内核探索:从SAPI接口开始
  2. PHP内核探索:一次请求的开始与结束
  3. PHP内核探索:一次请求生命周期
  4. PHP内核探索:单进程SAPI生命周期
  5. PHP内核探索:多进程/线程的SAPI生命周期
  6. PHP内核探索:Zend引擎
  7. PHP内核探索:再次探讨SAPI
  8. PHP内核探索:Apache模块介绍
  9. PHP内核探索:通过mod_php5支持PHP
  10. PHP内核探索:Apache运行与钩子函数
  11. PHP内核探索:嵌入式PHP
  12. PHP内核探索:PHP的FastCGI
  13. PHP内核探索:如何执行PHP脚本
  14. PHP内核探索:PHP脚本的执行细节
  15. PHP内核探索:操作码OpCode
  16. PHP内核探索:PHP里的opcode
  17. PHP内核探索:解释器的执行过程
  18. PHP内核探索:变量概述
  19. PHP内核探索:变量存储与类型
  20. PHP内核探索:PHP中的哈希表
  21. PHP内核探索:理解Zend里的哈希表
  22. PHP内核探索:PHP哈希算法设计
  23. PHP内核探索:翻译一篇HashTables文章
  24. PHP内核探索:哈希碰撞攻击是什么?
  25. PHP内核探索:常量的实现
  26. PHP内核探索:变量的存储
  27. PHP内核探索:变量的类型
  28. PHP内核探索:变量的值操作
  29. PHP内核探索:变量的创建
  30. PHP内核探索:预定义变量
  31. PHP内核探索:变量的检索
  32. PHP内核探索:变量的类型转换
  33. PHP内核探索:弱类型变量的实现
  34. PHP内核探索:静态变量的实现
  35. PHP内核探索:变量类型提示
  36. PHP内核探索:变量的生命周期
  37. PHP内核探索:变量赋值与销毁
  38. PHP内核探索:变量作用域
  39. PHP内核探索:诡异的变量名
  40. PHP内核探索:变量的value和type存储
  41. PHP内核探索:全局变量Global
  42. PHP内核探索:变量类型的转换
  43. PHP内核探索:内存管理开篇
  44. PHP内核探索:Zend内存管理器
  45. PHP内核探索:PHP的内存管理
  46. PHP内核探索:内存的申请与销毁
  47. PHP内核探索:引用计数与写时复制
  48. PHP内核探索:PHP5.3的垃圾回收机制
  49. PHP内核探索:内存管理中的cache
  50. PHP内核探索:写时复制COW机制
  51. PHP内核探索:数组与链表
  52. PHP内核探索:使用哈希表API
  53. PHP内核探索:数组操作
  54. PHP内核探索:数组源码分析
  55. PHP内核探索:函数的分类
  56. PHP内核探索:函数的内部结构
  57. PHP内核探索:函数结构转换
  58. PHP内核探索:定义函数的过程
  59. PHP内核探索:函数的参数
  60. PHP内核探索:zend_parse_parameters函数
  61. PHP内核探索:函数返回值
  62. PHP内核探索:形参return value
  63. PHP内核探索:函数调用与执行
  64. PHP内核探索:引用与函数执行
  65. PHP内核探索:匿名函数及闭包
  66. PHP内核探索:面向对象开篇
  67. PHP内核探索:类的结构和实现
  68. PHP内核探索:类的成员变量
  69. PHP内核探索:类的成员方法
  70. PHP内核探索:类的原型zend_class_entry
  71. PHP内核探索:类的定义
  72. PHP内核探索:访问控制
  73. PHP内核探索:继承,多态与抽象类
  74. PHP内核探索:魔术函数与延迟绑定
  75. PHP内核探索:保留类与特殊类
  76. PHP内核探索:对象
  77. PHP内核探索:创建对象实例
  78. PHP内核探索:对象属性读写
  79. PHP内核探索:命名空间
  80. PHP内核探索:定义接口
  81. PHP内核探索:继承与实现接口
  82. PHP内核探索:资源resource类型
  83. PHP内核探索:Zend虚拟机
  84. PHP内核探索:虚拟机的词法解析
  85. PHP内核探索:虚拟机的语法分析
  86. PHP内核探索:中间代码opcode的执行
  87. PHP内核探索:代码的加密与解密
  88. PHP内核探索:zend_execute的具体执行过程
  89. PHP内核探索:变量的引用与计数规则
  90. PHP内核探索:新垃圾回收机制说明

本文地址:http://www.nowamagic.net/librarys/veda/detail/1441,欢迎访问原出处。

不打个分吗?

转载随意,但请带上本文地址:

http://www.nowamagic.net/librarys/veda/detail/1441

如果你认为这篇文章值得更多人阅读,欢迎使用下面的分享功能。
小提示:您可以按快捷键 Ctrl + D,或点此 加入收藏

阅读一百本计算机著作吧,少年

很多人觉得自己技术进步很慢,学习效率低,我觉得一个重要原因是看的书少了。多少是多呢?起码得看3、4、5、6米吧。给个具体的数量,那就100本书吧。很多人知识结构不好而且不系统,因为在特定领域有一个足够量的知识量+足够良好的知识结构,系统化以后就足以应对大量未曾遇到过的问题。

奉劝自学者:构建特定领域的知识结构体系的路径中再也没有比学习该专业的专业课程更好的了。如果我的知识结构体系足以囊括面试官的大部分甚至吞并他的知识结构体系的话,读到他言语中的一个词我们就已经知道他要表达什么,我们可以让他坐“上位”毕竟他是面试官,但是在知识结构体系以及心理上我们就居高临下。

所以,阅读一百本计算机著作吧,少年!

《C陷阱与缺陷》 Andrew Koenig (作者), 高巍 (译者)

《C和C++经典著作•C陷阱与缺陷》适合有一定经验的C程序员阅读学习,即便你是C编程高手,《C和C++经典著作•C陷阱与缺陷》也应该成为你的案头必备书籍。作者以自己1985年在Bell实验室时发表的一篇论文为基础,结合自己的工作经验扩展成为这本对C程序员具有珍贵价值的经典著作。写作《C和C++经典著作•C陷阱与缺陷》的出发点不是要批判C语言,而是要帮助C程序员绕过编程过程中的陷阱和障碍。《C和C++经典著作•C陷阱与缺陷》分为8章,分别从词法分析、语法语义、连接、库函数、预处理器、可移植性缺陷等几个方面分析了C编程中可能遇到的问题。最后,作者用一章的篇幅给出了若干具有实用价值的建议。

更多计算机宝库...