php8引入jit后

很多人可能对JIT有很深的误解，觉得引入JIT之后性能就能提高10倍跟V8平起平坐了，事实上不是这样的。JIT技术的水很深，动态语言的JIT尤其困难，V8的诞生几乎可以说是一个技术奇迹。以PHP社区的技术水平，我谨慎地不看好他们解决这个问题的能力，毕竟Facebook的HHVM也没有完全解决，最后是靠Hacklang补全PHP的语法功能之后才基本圆满解决的。

动态语言的JIT本质要解决的问题之中，生成汇编只是一小部分，对于弱类型和动态类型语言来说，优化内存布局也是重点。例如，对于JavaScript和Python来说，以前对象内部是一个HashMap，这种数据结构的访问效率比较低，导致访问对象的每个属性都很慢，在JIT之后会将它优化成类似C++的平铺式的布局，将属性的值按顺序放在特定的位置上，这就带来一些新的要求：

1. 没有类型标注的情况下，JIT只能猜测类型而无法肯定，那么使用优化的类型布局之前需要进行额外的检测，判断是否的确为预想的类型

2. 属性的类型也需要进一步推测，使用时也需要检验

3. JavaScript、Python乃至PHP都支持在对象创建之后为它添加新的属性。之前符合推测的类型后来添加或者删除了属性，要怎么处理？

除此之外，调用函数时候如何优化调用开销也是一个重点，本质上跟优化对象的内存布局是类似的，可以将传入参数看成是构建一个有多个属性的对象，每个属性的类型不同。局部变量也需要有选择性地优化到寄存器、栈和堆当中。
PHP在这里的优势是支持类型标注，缺点是所有Hacklang里面修改掉的部分：

5. 不支持泛型，尤其是array类型不支持泛型。将一个变量类型标注为array几乎没有任何帮助，PHP中的array可以是顺序表也可以是hashmap，还可以混着，value的类型也不确定，这些都对类型优化有很高要求。Hacklang就推荐废掉array改用vector等几个确定类型且支持泛型的数据结构。

6. reference这个功能，这个功能非常容易成为内存布局优化的障碍，也会阻碍JIT生成高效代码，尤其是数组中可以存储reference这件事，JIT编译器完全无法从字面上判断某条对array元素赋值的语句是否会影响环境中的其它变量的值。这也是为什么Hacklang直接删掉了这个功能。

7. 其他参考Hacklang的变更
   之前版本（PHP7）抠解释器实现带来的性能优化也会是一个阻碍，JIT的时候这些都得放弃掉，因为内存布局不一样了，这样可能导致最初的时候许多应用JIT反而变慢。
   所以，PHP8如果解决不了这些问题，最大的可能是许多microbenchmark速度大幅上升，但整体应用性能持平，自娱自乐

多频传媒