第PHP8新特性之JIT案例講解PHP8alpha1已經(jīng)在昨天發(fā)布，相信關(guān)于JIT是大家最關(guān)心的，它到底怎么用，有什么要注意的，以及性能提升到底咋樣？

首先，我們來看一張圖:

左圖是PHP8之前的Opcache流程示意圖，右圖是PHP8中的Opcache示意圖，可以看出幾個關(guān)鍵點:

PHP8的JIT是在Opcache之中提供的

目前PHP8只支持x86架構(gòu)的CPU

JIT是在原來Opcache優(yōu)化的優(yōu)化基礎(chǔ)之上進(jìn)行優(yōu)化的，不是替代

事實上JIT共用了很多原來Opcache做優(yōu)化的基礎(chǔ)數(shù)據(jù)結(jié)構(gòu)，比如dataflowgraph,callgraph,SSA等，關(guān)于這部分，后續(xù)如果有時間，可以單獨在寫一個文章來介紹，今天就只是著重在使用層面。

下載安裝好以后，除掉原有的opcache配置以外，對于JIT我們需要添加如下配置到php.ini：

opcache.jit=1205

opcache.jit_buffer_size=64M

opcache.jit這個配置看起來稍微有點復(fù)雜，我來解釋下,這個配置由4個獨立的數(shù)字組成，從左到右分別是(請注意，這個是基于目前alpha1的版本設(shè)置，一些配置可能會隨著后續(xù)版本做微調(diào)):

是否在生成機(jī)器碼點時候使用AVX指令,需要CPU支持:0:不使用

1:使用

寄存器分配策略：0:不使用寄存器分配

1:局部(block)域分配

2:全局(function)域分配

JIT觸發(fā)策略:0:PHP腳本載入的時候就JIT

1:當(dāng)函數(shù)第一次被執(zhí)行時JIT

2:在一次運行后，JIT調(diào)用次數(shù)最多的百分之(f_threshold*100)的函數(shù)

3:當(dāng)函數(shù)/方法執(zhí)行超過N(N和opcache.jit_hot_func相關(guān))次以后JIT

4:當(dāng)函數(shù)方法的注釋中含有@jit的時候?qū)λM(jìn)行JIT

5:當(dāng)一個Trace執(zhí)行超過N次(和opcache.jit_hot_loop,jit_hot_return等有關(guān))以后JIT

JIT優(yōu)化策略，數(shù)值越大優(yōu)化力度越大:0:不JIT

1:做opline之間的跳轉(zhuǎn)部分的JIT

2:內(nèi)斂opcodehandler調(diào)用

3:基于類型推斷做函數(shù)級別的JIT

4:基于類型推斷，過程調(diào)用圖做函數(shù)級別JIT

5:基于類型推斷，過程調(diào)用圖做腳本級別的JIT

基于此，我們可以大概得到如下幾個結(jié)論：

盡量使用12x5型的配置，此時應(yīng)該是效果最優(yōu)的

對于x，如果是腳本級別的，推薦使用0，如果是Web服務(wù)型的，可以根據(jù)測試結(jié)果選擇3或5

@jit的形式，在有了attributes以后，可能變?yōu)?/p>

現(xiàn)在，我們來測試下啟用和不啟用JIT的時候，Zend/bench.php的差異，首先是不啟用(php-dopcache.jit_buffer_size=0Zend/bench.php):

simple0.008

simplecall0.004

simpleucall0.004

simpleudcall0.004

mandel0.035

mandel20.055

ackermann(7)0.020

ary(50000)0.004

ary2(50000)0.003

ary3(2000)0.048

fibo(30)0.084

hash1(50000)0.013

hash2(500)0.010

heapsort(20000)0.027

matrix(20)0.026

nestedloop(12)0.023

sieve(30)0.013

strcat(200000)0.006

------------------------

Total0.387

根據(jù)上面的介紹，我們選擇opcache.jit=1205,因為bench.php是腳本(php-dopcache.jit_buffer_size=64M-dopcache.jit=1205Zend/bench.php)：

simple0.002

simplecall0.001

simpleucall0.001

simpleudcall0.001

mandel0.010

mandel20.011

ackermann(7)0.010

ary(50000)0.003

ary2(50000)0.002

ary3(2000)0.018

fibo(30)0.031

hash1(50000)0.011

hash2(500)0.008

heapsort(20000)0.014

matrix(20)0.015

nestedloop(12)0.011

sieve(30)0.005

strcat(200000)0.004

------------------------

Total0.157

可見，對于Zend/bench.php,相比不開啟JIT，開啟了以后，耗時降低將近60%，性能提升將近2倍。

對于大家研究學(xué)習(xí)來說，可以通過opcache.jit_debug來觀測JIT后生成的匯編結(jié)果，比如對于:

functionsimple(){

$a=0;

for($i=0;$i1000000;$i++)

$a++;

}

我們通過php-dopcache.jit=1205-dopcache.jit_debug=0x01可以看到:

JIT$simple:;(/tmp/1.php)

sub$0x10,%rsp

xor%rdx,%rdx

jmp.L2

add$0x1,%rdx

cmp$0x0,EG(vm_interrupt)

jnz.L4

cmp$0xf4240,%rdx

jl.L1

mov0x10(%r14),%rcx

test%rcx,%rcx

jz.L3

mov$0x1,0x8(%rcx)

mov0x30(%r14),%rax

mov%rax,EG(current_execute_data)

mov0x28(%r14),%edi

test$0x9e0000,%edi

jnzJIT$$leave_function

mov%r14,EG(vm_stack_top)

mov0x30(%r14),%r14

cmp$0x0,EG(exception)

mov(%r14),%r15

jnzJIT$$leave_throw

add$0x20,%r15

add$0x10,%rsp

jmp(%r15)

mov$0x45543818,%r15

jmpJIT$$interrupt_handler

而如果我們采用opcache.jit=1201，我們可以得到如下結(jié)果:

JIT$simple:;(/tmp/1.php)

sub$0x10,%rsp

callZEND_QM_ASSIGN_NOREF_SPEC_CONST_HANDLER

add$0x40,%r15

jmp.L2

callZEND_PRE_INC_LONG_NO_OVERFLOW_SPEC_CV_RETVAL_UNUSED_HANDLER

cmp$0x0,EG(exception)

jnzJIT$$exception_handler

cmp$0x0,EG(vm_interrupt)

jnzJIT$$interrupt_handler

callZEND_IS_SMALLER_LONG_SPEC_TMPVARCV_CONST_JMPNZ_HANDLER

cmp$0x0,EG(exception)

jnzJIT$$exception_handler

cmp$0x452a0858,%r15d

jnz.L1

add$0x10,