PHP7内核学习理解之Reference

2020-09-1320:22:48后端程序开发Comments2,253 views字数 1678阅读模式

引用(REFERENCE)在PHP5的时候是一个标志位, 而在PHP7以后我们把它变成了一种新的类型:IS_REFERNCE. 然而引用是一种很常见的应用, 所以这个变化带来了很多的变化, 也给我们在做PHP7开发的时候, 因为有的时候疏忽忘了处理这个类型, 而带来不少的bug.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

最简单的情况, 就是在处理各种类型的时候, 从此以后我们要多考虑这种新的类型, 比如在PHP7中, 这样的代码形式就变得很常见了:文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

try_again:
swtich (Z_TYPE_P(zv)) {
     case IS_TRING:
     break;
     case IS_ARRAY:
     break;
    ...
     case IS_REFERENCE:
     zv = Z_REFVAL_P(zv); //解引用
     goto try_again;
     break;
}
复制代码

如果大家自己写的扩展, 如果忘了考虑这种新的类型, 那么就会导致问题.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

为什么?

那么既然这种新类型会带来这么多问题, 那么当时为什么要用把引用变成一种类型呢? 为什么不还是使用一个标志位呢?
一句话来说, 就是我们不得不这么做. -_#
前面说到, Hashtable直接存储的是zval, 这样在符号表中, 俩个zval如何共用一个数值呢? 对于字符串等复杂类型来说还好, 我们貌似可以在zend_refcounted结构中加入一个标志位来表明是引用来解决, 然而这个也会遇到Change On Write带来的复制, 但是我们知道在PHP7中, 一些类型是直接存储在zval中的, 比如IS_LONG, 但是引用类型是需要引用计数的, 那么对于一个是IS_LONG并且又是IS_REFERNCE的zval该如何表示呢?
为此, 我们创造了这个新的类型:文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

PHP7内核学习理解之Reference

如图所示, 引用是一种新的类型:zend_reference, 对于IS_REFERNCE类型的zval, zval.value.ref是一个指向zend_reference的指针, 它包含了引用计数和一个zval, 具体的zval的值是存在zval.value.ref->val中的.
所以对于IS_LONG的引用来说, 就用一个类型是IS_REFERNCE的zval, 它指向一个zend_reference, 而这个zend_reference->val中是一个类型为IS_LONG的zval.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

Change On Write

PHP采用引用计数来做简单的垃圾回收, 考虑如下的代码:文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

<?php
1\. $val = "laruence";
2\. $ref = &$val;
3\. $copy = $val;
?>
复制代码

ref和ref和val是指向同一个zval的引用, 在PHP5的时候, 我们是通过一个引用计数为2, 并且引用标志位为1来表示这种情况, 当把val复制给val复制给copy(line 3)的时候, 我们发现$val是一个计数大于1的引用, 所以要产生Change on write, 也就是分离. 所以我们需要复制这个zval.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

而在PHP7中, 情况就变得简单了很多, 首先在引用赋值给$ref(line 2)的时候, 生成一个IS_REFERNCE类型, 然后因为此时有俩个变量引用它所以zend_reference这个结构的引用计数zval.value.ref->gc.refcount为2.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

再随后的赋值给copy(line3)的时候,发现copy(line 3)的时候, 发现val是一个引用, 于是让$copy指向的是zval.value.ref->val, 也就是字符串值为laruence的zval, 然后把zval的引用计数+1, 也就是zval.value.ref->val.value.str.gc.refcount为2. 并没有产生复制.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

从而这就很好的解决了上一章所说的PHP5的那个经典的问题, 比如我们在PHP7下运行上一章的那个问题, 我们得到的结果是:文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

$ php-7.0/sapi/cli/php /tmp/1.php
Used 0.00021380008539
Used 0.00020173048281
复制代码

可见确实没有发生复制, 从而不会产生任何的性能问题.文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

作者:PHP开源社区文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html

文章源自菜鸟学院-https://www.cainiaoxueyuan.com/bc/20256.html
  • 本站内容整理自互联网,仅提供信息存储空间服务,以方便学习之用。如对文章、图片、字体等版权有疑问,请在下方留言,管理员看到后,将第一时间进行处理。
  • 转载请务必保留本文链接:https://www.cainiaoxueyuan.com/bc/20256.html

Comment

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

确定