Download as PDF, PPTX
![2019/6/29 reveal.js
localhost:8000/?print-pdf/#/ 16/78
// 実際にはもう少し複雑
foreach ($op_array as $opline) {
// 例: [ADD, [1, 2]]
[$opcode, $operands] = $opline;
$handler = $opcode_handlers[$opcode];
$handler($operands);
}](https://image.slidesharecdn.com/reveal-190629080943/85/PHP-16-320.jpg)
PHPの関数実行とその計測
- 1.
- 2. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 2/78 私は誰ですか私は誰ですか サーバサイドプログラマー 株式会社インフィニットループ たぶん月刊PHP ニュース php-master-changes
- 3. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 3/78 仙台民、学生時代は佐世保民 PHPカンファレンス仙台とかやりました PHP 歴は累計 6 年くらい 元は趣味で C 言語を少し
- 4.
- 5. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 5/78 AgendaAgenda PHPの関数実行の仕組みについて PHP の関数実行の計測について
- 6.
- 7.
- 8. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 8/78 <?php functionsum(int $a, int $b): int { return $a + $b; } echo sum(1, 2);
- 9. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 9/78 PHPの関数実行の仕組みPHP の関数実行の仕組み
- 10. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 10/78 ZendEngineの概要ZendEngine の概要 ZendEngine って知ってる？ ZendEngine が何のことか大体分かる？
- 11. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 11/78 PHP公式処理系の中心部（エンジン） PHP 4 の頃に Zeev さんと Andi さんが作った 2 字ずつとって Zend
- 12.
- 13. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 13/78 PHPコードは ZendVM のオペコードにコンパイルされる ZendVM(Executor) がオペコードを実行する
- 14.
- 15.
- 16. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 16/78 //実際にはもう少し複雑 foreach ($op_array as $opline) { // 例: [ADD, [1, 2]] [$opcode, $operands] = $opline; $handler = $opcode_handlers[$opcode]; $handler($operands); }
- 17.
- 18.
- 19. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 19/78 字句解析字句解析 ↓ <?php functionsum(int $a, int $b): int { return $a + $b; } echo sum(1, 2); T_OPEN_TAG T_FUNCTION T_STRING (T_STRING T_VARIABLE, T_STRING T_VARIABLE): T_STRING { T_RETURN T_VARIABLE + T_VARIABLE; } T_ECHO T_STRING(T_LNUMBER, T_LNUMBER);
- 20.
- 21. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 21/78 構文解析（構文規則一部）構文解析（構文規則一部） top_statement:function_declaration_statement function_declaration_statement: function returns_ref T_STRING '(' parameter_list ')' return_type '{' inner_statement_list '}' returns_ref: /* empty */ | '&' parameter_list: non_empty_parameter_list | /* empty */ non_empty_parameter_list: parameter | non_empty_parameter_list ',' parameter
- 22. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 22/78 構文解析（構文規則一部）構文解析（構文規則一部） parameter: optional_typeis_reference is_variadic T_VARIABLE | optional_type is_reference is_variadic T_VARIABLE '=' expr optional_type: /* empty */ | type_expr type_expr: type | '?' type type: T_ARRAY | T_CALLABLE | name
- 23. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 23/78 構文解析（構文規則一部）構文解析（構文規則一部） name: namespace_name |T_NAMESPACE T_NS_SEPARATOR namespace_name | T_NS_SEPARATOR namespace_name namespace_name: T_STRING | namespace_name T_NS_SEPARATOR T_STRING return_type: /* empty */ | ':' type_expr ;
- 24.
- 25.
- 26. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 26/78 構文解析（具象構文木）構文解析（具象構文木） top_statement_list top_statement function_declaration_statementstatement function return_type T_FUNCTION : T_STRING parameter_list( ) nom_empty_parameter_list parameter parameter, optional_type T_VARIABLE type_expr type name namespace_name T_STRING optional_type T_VARIABLE type_expr type name namespace_name T_STRING type name namespace_name type_expr T_STRING inner_statement_list この先省略 この先省略 top_statement
- 27. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 27/78 構文解析（AST）構文解析（AST） AST_STMT_LIST AST_FUNC_DECLAST_ECHO AST_PARAM_LIST AST_STMT_LIST AST_TYPE AST_PARAM AST_PARAM AST_TYPE a AST_TYPE b AST_RETURN AST_BINARY_OP AST_VAR AST_VAR a b AST_CALL AST_NAME AST_ARG_LIST 1 2
- 28.
- 29. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 29/78 AST_STMT_LIST AST_FUNC_DECL AST_PARAM_LISTAST_STMT_LIST AST_TYPE AST_PARAM AST_PARAM AST_TYPE a AST_TYPE b AST_RETURN AST_BINARY_OP AST_VAR AST_VAR a b
- 30. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 30/78 ASTをオペコードにコンパイルAST をオペコードにコンパイル
- 31. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 31/78 生成されるコード生成されるコード $_main: INIT_FCALL2 128 string("sum") SEND_VAL int(1) 1 SEND_VAL int(2) 2 V0 = DO_UCALL ECHO V0 RETURN int(1) sum: CV0($a) = RECV 1 CV1($b) = RECV 2 T2 = ADD CV0($a) CV1($b) VERIFY_RETURN_TYPE T2 RETURN T2 VERIFY_RETURN_TYPE RETURN null
- 32. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 32/78 関数と op_array関数 と op_array
- 33. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 33/78 <?php //function 擬似的なmain関数() { function sum(int $a, int $b): int { return $a + $b; } echo sum(1, 2); // }
- 34.
- 35. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 35/78 関数呼び出しのオペコード関数呼び出しのオペコード $_main: INIT_FCALL2 128 string("sum") SEND_VAL int(1) 1 SEND_VAL int(2) 2 V0 = DO_UCALL ECHO V0 RETURN int(1) sum: CV0($a) = RECV 1 CV1($b) = RECV 2 T2 = ADD CV0($a) CV1($b) VERIFY_RETURN_TYPE T2 RETURN T2 VERIFY_RETURN_TYPE RETURN null
- 36.
- 37.
- 38.
- 39.
- 40. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 40/78 ZendEngine の一部内部処理は関数ポインタ zend_compile zend_execute zend_ast_process zend_set_user_opcode_handler 拡張等から色々差し替え可能
- 41. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 41/78 ZendEngineでの関数実行まとめZendEngineでの関数実行まとめ PHPコードは関数の集まり、一見ないように見えても 関数はオペコードの集まり PHP コードはオペコードにコンパイルされる VM はメモリ上にその時々の状態を持つ ZendEngine の挙動は拡張等でカスタマイズできる
- 42.
- 43.
- 44.
- 45.
- 46. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 46/78 原始的計測原始的計測 <?php functionsum(int $a, int $b): int { return $a + $b; } $start = microtime(true); $result = sum(1, 2); $end = microtime(true) - $start; }
- 47.
- 48.
- 49. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 49/78 Proler とはPro ler とは 性能解析のためのツール プログラムの各処理の実行性能を収集 統計情報を出力
- 50.
- 51.
- 52.
- 53. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 53/78 フック方式の仕組みフック方式の仕組み op_arrayを実行する zend_execute_ex() は実際には関数ポインタ 拡張から以下のような処理へ差し替える 開始時刻を取得 差し替え前の zend_execute_ex() を呼び出す 終了時刻を取得 「呼び出し元関数名 + 関数名」をキーにした連想配列へ全呼 び出しを記録
- 54.
- 55. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 55/78 xhprofxhprof Facebook製の拡張 HHVM 移行で PHP7 未対応のまま捨てられた 関数フック方式 全関数呼び出しをフック black re や tideways 等に派生 xdebug のより軽いのがウリ
- 56.
- 57.
- 58. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 58/78 tidewaystideways 元はxhprof からの派生プロファイラ 区間計測機能を持つ 現在は xhprof ベースではなく、0 からリライトされたクローズドソー スの拡張に xhprof 互換機能のみ切り出した tideways_xhprof が OSS に xhprof 互換の無料で使えるプロファイラの中でもよくメンテされて る
- 59.
- 60.
- 61. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 61/78 フック型の計測オーバーヘッドフック型の計測オーバーヘッド 計測関数の呼び出しによるオーバヘッド VMのネスト呼び出しによるオーバヘッド これらがほぼ固定時間でかかる チリツモで効く
- 62.
- 63. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 63/78 PHP8の JITPHP8 の JIT 来年末に PHP8 リリース JIT が入る I/O バウンドな処理にはあまり関係ないが、PHP コード自体は速く なる VM の実行方式が変わって zend_execute_ex() フックが効かなくな るかも AST 操作等で自動で計測処理を仕込む手もあるが、オーバーヘッ ド問題大きくなる
- 64.
- 65.
- 66. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 66/78 サンプリング方式の仕組みサンプリング方式の仕組み 計測対象と平行動作するプログラムがVM の状態をサンプリング して監視 ExecutorGlobals や VM の呼び出しスタック、実行中の命令位置 など サンプリングしたタイミングでよく実行されている箇所が重い箇所
- 67.
- 68.
- 69. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 69/78 nikic/sample_profnikic/sample_prof C言語拡張 ソースコードの行レベルで計測がとれる 各関数に散財する変数代入がチリツモで遅い、とかにも気付ける 極度にCPU バウンドな処理で型検査のコストが重い可能性とかに も気付ける
- 70. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 70/78 内部はプロファイラの開始時にpthread_create() でスレッドを起動 指定したサンプリングレートで計測スレッドが VM の状態を監視
- 71. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 71/78 //起動自体は他プロファイラと似たような方法でいける sample_prof_start(50); // ここでスレッド生成 register_shutdown_function(function(){ sample_prof_end(); $data = sample_prof_get_data(); file_put_contents(uniqid() . 'prof.txt', serialize($data)); });
- 72.
- 73.
- 74. 2019/6/29 reveal.js localhost:8000/?print-pdf/#/ 74/78 PHP処理系のメモリレイアウトについての情報を自前で持つ 別プロセスからメモリを読んで VM の内部状態を監視 性能計測もできれば変数も覗き見れる 暴走無限ループ時にコードのどこを実行中かも見れる
- 75.
- 76.
- 77.
- 78.