Сегодня использование скалярных и строгих типов в PHP7 не повышает производительность.
PHP7 не имеет JIT-компилятора.
Если когда-нибудь в будущем PHP получит JIT-компилятор, несложно представить оптимизации, которые можно было бы выполнить с дополнительной информацией о типах.
Когда дело доходит до оптимизации без JIT, скалярные типы помогают лишь частично.
Возьмем следующий код:
<?php
function (int $a, int $b) : int {
return $a + $b;
}
?>
Это код, сгенерированный Zend для этого:
function name: {closure}
L2-4 {closure}() /usr/src/scalar.php - 0x7fd6b30ef100 + 7 ops
L2 #0 RECV 1 $a
L2 #1 RECV 2 $b
L3 #2 ADD $a $b ~0
L3 #3 VERIFY_RETURN_TYPE ~0
L3 #4 RETURN ~0
L4 #5 VERIFY_RETURN_TYPE
L4 #6 RETURN null
ZEND_RECV
— это код операции, который выполняет проверку типа и приведение полученных параметров. Следующий опкод — ZEND_ADD
:
ZEND_VM_HANDLER(1, ZEND_ADD, CONST|TMPVAR|CV, CONST|TMPVAR|CV)
{
USE_OPLINE
zend_free_op free_op1, free_op2;
zval *op1, *op2, *result;
op1 = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
op2 = GET_OP2_ZVAL_PTR_UNDEF(BP_VAR_R);
if (EXPECTED(Z_TYPE_INFO_P(op1) == IS_LONG)) {
if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_LONG)) {
result = EX_VAR(opline->result.var);
fast_long_add_function(result, op1, op2);
ZEND_VM_NEXT_OPCODE();
} else if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_DOUBLE)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, ((double)Z_LVAL_P(op1)) + Z_DVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
}
} else if (EXPECTED(Z_TYPE_INFO_P(op1) == IS_DOUBLE)) {
if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_DOUBLE)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, Z_DVAL_P(op1) + Z_DVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
} else if (EXPECTED(Z_TYPE_INFO_P(op2) == IS_LONG)) {
result = EX_VAR(opline->result.var);
ZVAL_DOUBLE(result, Z_DVAL_P(op1) + ((double)Z_LVAL_P(op2)));
ZEND_VM_NEXT_OPCODE();
}
}
SAVE_OPLINE();
if (OP1_TYPE == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(op1) == IS_UNDEF)) {
op1 = GET_OP1_UNDEF_CV(op1, BP_VAR_R);
}
if (OP2_TYPE == IS_CV && UNEXPECTED(Z_TYPE_INFO_P(op2) == IS_UNDEF)) {
op2 = GET_OP2_UNDEF_CV(op2, BP_VAR_R);
}
add_function(EX_VAR(opline->result.var), op1, op2);
FREE_OP1();
FREE_OP2();
ZEND_VM_NEXT_OPCODE_CHECK_EXCEPTION();
}
Не понимая, что делает любой из этих кодов, вы можете видеть, что он довольно сложен.
Таким образом, цель будет полностью опускать ZEND_RECV
и заменять ZEND_ADD
на ZEND_ADD_INT_INT
, что не требует выполнения какой-либо проверки (помимо защиты) или ветвления, поскольку типы параметров известны.
Чтобы опустить их и получить ZEND_ADD_INT_INT
, вам нужно иметь возможность надежно определять типы $a
и $b
во время компиляции. Иногда сделать вывод о времени компиляции несложно, например, $a
и $b
— это целые числа или константы.
Буквально вчера в PHP 7.1 появилось что-то действительно похожее: теперь есть обработчики, зависящие от типа, для некоторых высокочастотных кодов операций, таких как ZEND_ADD
. Opcache может определять тип некоторых переменных, в некоторых случаях он даже может определять типы переменных в массиве и изменять сгенерированные коды операций для использования обычного ZEND_ADD
для использования обработчика определенного типа:
ZEND_VM_TYPE_SPEC_HANDLER(ZEND_ADD, (res_info == MAY_BE_LONG && op1_info == MAY_BE_LONG && op2_info == MAY_BE_LONG), ZEND_ADD_LONG_NO_OVERFLOW, CONST|TMPVARCV, CONST|TMPVARCV, SPEC(NO_CONST_CONST,COMMUTATIVE))
{
USE_OPLINE
zval *op1, *op2, *result;
op1 = GET_OP1_ZVAL_PTR_UNDEF(BP_VAR_R);
op2 = GET_OP2_ZVAL_PTR_UNDEF(BP_VAR_R);
result = EX_VAR(opline->result.var);
ZVAL_LONG(result, Z_LVAL_P(op1) + Z_LVAL_P(op2));
ZEND_VM_NEXT_OPCODE();
}
Опять же, не понимая, что все это делает, вы можете сказать, что это намного выполнить проще.
Эти оптимизации очень крутые, однако самые эффективные и самые интересные оптимизации будут, когда в PHP есть JIT.
person
Joe Watkins
schedule
05.10.2015