重大事件:PHP JIT 已进入 PHP RFC,并将在PHP 8.0中实现,而PHP 7.4中也将包含JIT作为实验性功能

重大事件:PHP JIT 已进入 PHP RFC,并将在 PHP 8.0中实现,而PHP 7.4中也将包含JIT作为实验性功能.

查看 https://wiki.php.net/rfc/jit

以下为翻译:

PHP RFC：JIT

• 版本：0.9

• 日期：2019-01-28

• 作者：Dmitry Stogov  dmitry @  php.net ，Zeev Suraski  zeev@php.net

• 现状：正在讨论中

• 首次发布于： https ： //wiki.php.net/rfc/jit

介绍

众所周知，PHP 7的性能跳跃最初是由尝试为PHP实现JIT而启动的。我们在2011年开始在Zend（主要是由Dmitry）开展这些工作，从那时起尝试了3种不同的实现。我们从未提出过发布其中任何一个的建议，主要有三个原因：它们导致典型的Web应用程序没有实质性的性能提升; 它们的开发和维护非常复杂; 我们仍然有其他方向可以探索以提高性能，而无需使用JIT。

今日JIT的案例

尽管支持JIT的PHP的大部分基础都没有改变 – 我们相信今天有一个很好的案例可用于支持JIT的PHP。

首先，我们相信我们已经达到了使用其他优化策略提高PHP性能的能力。换句话说 – 除非我们使用JIT，否则我们无法进一步提高PHP的性能。

其次 – 使用JIT可能会为在其他非Web，CPU密集型场景中更频繁使用PHP打开大门 – 其中性能优势实际上非常可观 – 而且今天可能还没有考虑PHP。

最后 – 使JIT可用可以为我们（额外的努力）提供在PHP中开发内置函数的能力，而不是（或除了）C – 而不会遭受与此类策略相关的巨大性能损失。今天的非JITted发动机。反过来，这可以为更快的创新打开大门 – 而且还可以实现更安全的实施，这将不太容易受到内存管理，溢出和与基于C的开发相关的类似问题的影响。

提案

function iterate($x,$y)
    {
        $cr = $y-0.5;
        $ci = $x;
        $zr = 0.0;
        $zi = 0.0;
        $i = 0;
        while (true) {
            $i++;
            $temp = $zr * $zi;
            $zr2 = $zr * $zr;
            $zi2 = $zi * $zi;
            $zr = $zr2 - $zi2 + $cr;
            $zi = $temp + $temp + $ci;
            if ($zi2 + $zr2 > BAILOUT)
                return $i;
            if ($i > MAX_ITERATIONS)
                return 0;
        }
 
    }

JIT$Mandelbrot::iterate: ; (/home/dmitry/php/bench/b.php)
  sub $0x10, %esp
  cmp $0x1, 0x1c(%esi)
  jb .L14
  jmp .L1
.ENTRY1:
  sub $0x10, %esp
.L1:
  cmp $0x2, 0x1c(%esi)
  jb .L15
  mov $0xec3800f0, %edi
  jmp .L2
.ENTRY2:
  sub $0x10, %esp
.L2:
  cmp $0x5, 0x48(%esi)
  jnz .L16
  vmovsd 0x40(%esi), %xmm1
  vsubsd 0xec380068, %xmm1, %xmm1
.L3:
  mov 0x30(%esi), %eax
  mov 0x34(%esi), %edx
  mov %eax, 0x60(%esi)
  mov %edx, 0x64(%esi)
  mov 0x38(%esi), %edx
  mov %edx, 0x68(%esi)
  test $0x1, %dh
  jz .L4
  add $0x1, (%eax)
.L4:
  vxorps %xmm2, %xmm2, %xmm2
  vxorps %xmm3, %xmm3, %xmm3
  xor %edx, %edx
.L5:
  cmp $0x0, EG(vm_interrupt)
  jnz .L18
  add $0x1, %edx
  vmulsd %xmm3, %xmm2, %xmm4
  vmulsd %xmm2, %xmm2, %xmm5
  vmulsd %xmm3, %xmm3, %xmm6
  vsubsd %xmm6, %xmm5, %xmm7
  vaddsd %xmm7, %xmm1, %xmm2
  vaddsd %xmm4, %xmm4, %xmm4
  cmp $0x5, 0x68(%esi)
  jnz .L19
  vaddsd 0x60(%esi), %xmm4, %xmm3
.L6:
  vaddsd %xmm5, %xmm6, %xmm6
  vucomisd 0xec3800a8, %xmm6
  jp .L13
  jbe .L13
  mov 0x8(%esi), %ecx
  test %ecx, %ecx
  jz .L7
  mov %edx, (%ecx)
  mov $0x4, 0x8(%ecx)
.L7:
  test $0x1, 0x39(%esi)
  jnz .L21
.L8:
  test $0x1, 0x49(%esi)
  jnz .L23
.L9:
  test $0x1, 0x69(%esi)
  jnz .L25
.L10:
  movzx 0x1a(%esi), %ecx
  test $0x496, %ecx
  jnz JIT$$leave_function
  mov 0x20(%esi), %eax
  mov %eax, EG(current_execute_data)
  test $0x40, %ecx
  jz .L12
  mov 0x10(%esi), %eax
  sub $0x1, (%eax)
  jnz .L11
  mov %eax, %ecx
  call zend_objects_store_del
  jmp .L12
.L11:
  mov 0x4(%eax), %ecx
  and $0xfffffc10, %ecx
  cmp $0x10, %ecx
  jnz .L12
  mov %eax, %ecx
  call gc_possible_root
.L12:
  mov %esi, EG(vm_stack_top)
  mov 0x20(%esi), %esi
  cmp $0x0, EG(exception)
  mov (%esi), %edi
  jnz JIT$$leave_throw
  add $0x1c, %edi
  add $0x10, %esp
  jmp (%edi)
.L13:
  cmp $0x3e8, %edx
  jle .L5
  mov 0x8(%esi), %ecx
  test %ecx, %ecx
  jz .L7
  mov $0x0, (%ecx)
  mov $0x4, 0x8(%ecx)
  jmp .L7
.L14:
  mov %edi, (%esi)
  mov %esi, %ecx
  call zend_missing_arg_error
  jmp JIT$$exception_handler
.L15:
  mov %edi, (%esi)
  mov %esi, %ecx
  call zend_missing_arg_error
  jmp JIT$$exception_handler
.L16:
  cmp $0x4, 0x48(%esi)
  jnz .L17
  vcvtsi2sd 0x40(%esi), %xmm1, %xmm1
  vsubsd 0xec380068, %xmm1, %xmm1
  jmp .L3
.L17:
  mov %edi, (%esi)
  lea 0x50(%esi), %ecx
  lea 0x40(%esi), %edx
  sub $0xc, %esp
  push $0xec380068
  call sub_function
  add $0xc, %esp
  cmp $0x0, EG(exception)
  jnz JIT$$exception_handler
  vmovsd 0x50(%esi), %xmm1
  jmp .L3
.L18:
  mov $0xec38017c, %edi
  jmp JIT$$interrupt_handler
.L19:
  cmp $0x4, 0x68(%esi)
  jnz .L20
  vcvtsi2sd 0x60(%esi), %xmm3, %xmm3
  vaddsd %xmm4, %xmm3, %xmm3
  jmp .L6
.L20:
  mov $0xec380240, (%esi)
  lea 0x80(%esi), %ecx
  vmovsd %xmm4, 0xe0(%esi)
  mov $0x5, 0xe8(%esi)
  lea 0xe0(%esi), %edx
  sub $0xc, %esp
  lea 0x60(%esi), %eax
  push %eax
  call add_function
  add $0xc, %esp
  cmp $0x0, EG(exception)
  jnz JIT$$exception_handler
  vmovsd 0x80(%esi), %xmm3
  jmp .L6
.L21:
  mov 0x30(%esi), %ecx
  sub $0x1, (%ecx)
  jnz .L22
  mov $0x1, 0x38(%esi)
  mov $0xec3802b0, (%esi)
  call rc_dtor_func
  jmp .L8
.L22:
  mov 0x4(%ecx), %eax
  and $0xfffffc10, %eax
  cmp $0x10, %eax
  jnz .L8
  call gc_possible_root
  jmp .L8
.L23:
  mov 0x40(%esi), %ecx
  sub $0x1, (%ecx)
  jnz .L24
  mov $0x1, 0x48(%esi)
  mov $0xec3802b0, (%esi)
  call rc_dtor_func
  jmp .L9
.L24:
  mov 0x4(%ecx), %eax
  and $0xfffffc10, %eax
  cmp $0x10, %eax
  jnz .L9
  call gc_possible_root
  jmp .L9
.L25:
  mov 0x60(%esi), %ecx
  sub $0x1, (%ecx)
  jnz .L26
  mov $0x1, 0x68(%esi)
  mov $0xec3802b0, (%esi)
  call rc_dtor_func
  jmp .L10
.L26:
  mov 0x4(%ecx), %eax
  and $0xfffffc10, %eax
  cmp $0x10, %eax
  jnz .L10
  call gc_possible_root
  jmp .L10

RFC / jit.txt ·最后修改时间：2019/01/31 09:31 by  梅德