php垃圾回收机制

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的引用计数和一般的是不是不太一样呢？