php的垃圾回收机制是采用引用计数的方式,跟JavaScript的标记清除不一样,跟普通的引用计数也有点不同。
![]()
JavaScript的标记清除比较好理解,当变量进入环境,标记为“进入环境”,离开环境的时候标记为“离开环境”。离开环境的变量一般就可以清除了,如果处在环境中的变量还有引用这个离开环境的变量,那么就不能清除。
php的引用计数是这样的。
每个php变量存在一个叫"zval"的变量容器中。一个zval变量容器,除了包含变量的类型和值,还包括两个字节的额外信息。
第一个是"is_ref",
第二个额外字节是"refcount"。这两句话是直接抄自php manual的。还是直接上代码好。
<?php
$c = array( 'one' );
$c[] =& $c;
$d =& $c;
xdebug_debug_zval( 'c' );
echo $d[0] ."<br />";
unset($c);
xdebug_debug_zval( 'c' );
xdebug_debug_zval( 'd' );
下面是执行结果.
上述代码中zval变量容器有两个,其中一个是保存了数组的地址,还有三个指向这个地址的变量c和d,以及这个地址本身的后半段的值,另一个是保存了string类型的值“one”,只有一个指向这个值,那就是前面那个地址的前半段的值。正因为如此,所以当d引用c时,第二个容器的引用计数并没有增加,并且在把变量c与第一个变量容器的关系切断后,即unset($c);还是能通过d[0]访问one值,因为这个值的内存空间并没有被释放。但是程序执行完后,这个one值的内存空间就会被释放了,因为正常情况下离开执行环境(作用域)或者调用unset,refcount都会减一,1-1=0,就被回收了。但是第一个zval就悲剧了,因为它始终有一个自己指向自己的引用,即使脚本执行完了,refcount始终为1。也就是说php的引用计数无法解决递归引用的问题,不过从php5.3开始,这个问题已经被解决了,但是没看懂。
至于一般的引用计数,大概是这样的吧。
实例A和B,分别有一个变量引用对方,此时引用计数都为2,程序完了后,都变为了1,内存不能被释放。这要是php的话,两个实例都只是普通的两个zval变量容器,算上两实例内部的两个zval变量容器,就是4个独立的zval。前两个引用计数分别为2,后面两个分别为1,程序执行完了之后,1-1=0,清除了两个实例内部的变量,两个变量上的值也没了,这个值是对实例A和B的引用,清除后,2变成了1,实例A和B再去除引用,最后这两块内存就被释放了。
不知道上述想法是不是对的,不过一般的引用计数出现循环引用是因为
当一个对象被回收后,被该对象所引用的其它对象的引用计数都应该相应减少,而上述对象AB没有被回收,一直在等待对方,陷入死循环。如果仅仅是A引用B,而B不引用A,那么A的refcount为1,B为2,一开始就会是A可以被回收,然后A对B的引用也被释放,2-1=1,最后B也可以被回收了。
所以php的引用计数和一般的是不是不太一样呢?