Download as PDF, PPTX
![PHP の⽂字列はエンコード情報を持たないバイト列
添え字アクセスと ord() で 1 バイト分のデータを取り出す実
装が作れる
final class StringByteReader implements ByteReaderInterface
{
use ByteReaderDisableWriteAccessTrait;
public function offsetGet($offset): int
{
return ord($this->source[$offset]);
}](https://image.slidesharecdn.com/tagayasphpprofiler-201130042935/85/PHP-61-320.jpg)
![このインターフェースを通じて 32 ビットや 64 ビットの整数値
を取り出すクラスも作る
final class LittleEndianReader implements IntegerByteSequenceReader
{
public function read8(ByteReaderInterface $data, int $offset): int
{
return $data[$offset];
}
public function read16(ByteReaderInterface $data, int $offset): int
{
return ($data[$offset + 1] << 8) | $data[$offset];
}
public function read32(ByteReaderInterface $data, int $offset): int
{
return ($data[$offset + 3] << 24)
| ($data[$offset + 2] << 16)
| ($data[$offset + 1] << 8)
| $data[$offset];
}](https://image.slidesharecdn.com/tagayasphpprofiler-201130042935/85/PHP-62-320.jpg)
![プロパティアクセスの対応(1)
最内ループのプロパティアクセスで外側へ出せるものを移動
修正前
foreach ($this->bodies as $index => $referenceBody) {
$nbBodies = count($this->bodies);
for ($i = $index + 1; $i < $nbBodies; ++$i) {
$body = $this->bodies[$i];
$dx = $referenceBody->x - $body->x;
$dy = $referenceBody->y - $body->y;](https://image.slidesharecdn.com/tagayasphpprofiler-201130042935/85/PHP-89-320.jpg)
![プロパティアクセスの対応(1)
最内ループのプロパティアクセスで外側へ出せるものを移動
修正後
foreach ($this->bodies as $index => $referenceBody) {
$nbBodies = count($this->bodies);
$rbx = $referenceBody->x;
$rby = $referenceBody->y;
for ($i = $index + 1; $i < $nbBodies; ++$i) {
$body = $this->bodies[$i];
$dx = $rbx - $body->x;
$dy = $rby - $body->y;](https://image.slidesharecdn.com/tagayasphpprofiler-201130042935/85/PHP-90-320.jpg)
PHP で実行中のスクリプトの動作を下から覗き見る
- 1. PHP で実⾏中のスクリプトの動 作を下から覗き⾒る 五⼗嵐 進⼠/ @sji_ch
- 2. 私は誰ですか 五⼗嵐 進⼠ スマートホンゲームのサーバサイドプログラマー ⼤体は PHPのコードを読み書きして過ごしてる
- 3. 昨年娘ができた PHP カンファレンス仙台とかやりました PHP 歴は累計7 年くらい 元は趣味で C ⾔語を少し
- 5. Agenda php-pro ler の紹介 下からのぞき⾒るとは php-proler の実装 活⽤例 将来の展望
- 6.
- 7. php-pro ler とは 実⾏中のPHP スクリプトからコールトレースを抜き取るツール
- 8. 元々 ruby で同様のことをやるrbspy という rust 製のプログラム がある https://github.com/rbspy/rbspy
- 9. rbspy をパクった phpspyという C ⾔語製のプログラムがある https://github.com/adsr/phpspy
- 10. この phpspy を更にパクったPHP 製のツールが php-pro ler https://github.com/sj-i/php-pro ler
- 11.
- 12.
- 13.
- 14.
- 15. PHP は PHPより低いレイヤーの仕組みで動いてる php-pro ler は PHP より低いレイヤーの仕組み越しに PHP スク リプトの挙動へアクセスするツール
- 16.
- 17.
- 18.
- 19.
- 20.
- 21. メモリ それぞれ背番号を持ち 1 バイト分の情報を保持する領域の並び 16GBなら背番号 0 から 170 億番くらいまでの範囲 背番号を番地またはアドレスと呼ぶ 各番地の情報を取り出せる プログラム = CPU への命令はメモリへ読み込むことで CPU から 実⾏可能
- 22. OS のプロセス OS の機能により、コンピュータ上では複数のプログラムが同時 に動作（マルチタスク/ マルチプロセス） OS 上で動作中のプログラムのことをプロセスと呼ぶ
- 23.
- 24.
- 25. PHP スクリプトの動作 PHP は⾼級⾔語 CPUによって直接解釈される命令列（機械語）ではない
- 26. 機械語 機械語は CPU にプログラムを実⾏させるための命令列 同じ信号のパターンが別のCPU では違った意味を持つ 別の種類の CPU で同じプログラムを動かそうとした時、移植が 困難 ⼈間より機械の都合にあわせた⾔語
- 27.
- 28.
- 29.
- 30. PHP 処理系 PHP の処理系はある種の仮想マシン PHPスクリプトはまずメモリ上でこの仮想マシンのための機械 語命令列にコンパイル 仮想マシンのための機械語命令=オペコード 仮想マシンがこのオペコード列を実⾏
- 31.
- 32.
- 33.
- 34. なぜプロセス外から⾒たいか xdebug や xhprofはフック型プロファイラ フック型では計測対象の実⾏性能に影響を与えてしまう
- 35.
- 36. 基本的アイディア PHP スクリプトは仮想マシンの状態を変化させながら動作 仮想マシンの状態は処理系が動作するプロセス⽤のメモリ領域に 保存 以下 2つの材料が揃えば覗き⾒できる 別プロセスの指定番地のメモリ内容を覗き⾒る⽅法 別プロセスのメモリ内のどの番地に何のデータがあるかを知 る⽅法
- 37.
- 38.
- 39.
- 40. FFI で PHPからシステムコールを呼ぶ
- 41. FFI 去年リリースされた PHP 7.4の機能 Foreign Function Interface の略 PHP から他の⾔語で作られた関数を呼び出すための機能
- 42. FFI 導⼊以前 7.3 までのPHP は PHP 単体でできないことが多かった PHP Manual に載っている標準関数の範囲外は C の拡張機能を作 る or 導⼊する必要があった 実は標準関数⾃体も処理系に標準添付されている拡張という形で 実現されている PHP の拡張を作るには特殊な作法と⼀定以上の C ⾔語の知識が 必要
- 43. FFI 導⼊以降 FFI 以外の拡張を使わずC ⾔語資産を PHP から直接呼び出せる システムコールやメモリ操作の関数、処理系の内部関数もそのま ま呼べる 当然そのリスクも⼀緒に持ち込まれる C ⾔語 や PHP 処理系内部の深い知識、拡張を書く際の特有の作 法はいらなくなる しかもそういうコードを composer からインストールできる
- 44. FFI の使い⽅ $ffi =FFI::cdef( 'int printf(const char * restrict format, ... );', // 'libc.so' /* libc は処理系とともに読み込まれているので不要 */ ); $ffi->printf('hello clang world');
- 45. process_vm_readv Linux のシステムコール プロセスのアドレス空間間でデータを転送する 対象プロセス IDと対象プロセス内でのメモリアドレス、データ サイズ、⾃プロセスのバッファを指定して呼ぶ 別プロセスのデータを⾃プロセスの指定バッファ内へコピー可能
- 46. process_vm_readv の使⽤条件 呼び出し元は以下を満たす必要がある CAP_SYS_PTRACE という特別な権限を持ったプロセス 対象プロセスと同ユーザ/ グループのプロセス gdb でプロセスにアタッチする時と⼤体同じ権限があればいける 脳死で sudo しててもダイジョブ
- 47.
- 48. procfs Process Filesystem の略 /proc/下の擬似的なファイルとして、linux のプロセスに関する 様々な情報を取得できる ps コマンドなども procfs の内容を解釈して出⼒するような実装 https://gitlab.com/procps-ng/procps
- 49.
- 50. /proc/<pid>/maps の例 address permsoffset dev inode pathname 5636ed586000-5636ed692000 r--p 00000000 08:01 3672367 /usr/local/bin/php 5636ed786000-5636edb19000 r-xp 00200000 08:01 3672367 /usr/local/bin/php 5636edb86000-5636ee36c000 r--p 00600000 08:01 3672367 /usr/local/bin/php 5636ee6df000-5636ee786000 r--p 00f59000 08:01 3672367 /usr/local/bin/php 5636ee786000-5636ee78d000 rw-p 01000000 08:01 3672367 /usr/local/bin/php ... 7f872b6df000-7f872b6e0000 r--p 00000000 08:01 2238306 /lib/x86_64-linux-gnu/ld-2.28.so 7f872b6e0000-7f872b6fe000 r-xp 00001000 08:01 2238306 /lib/x86_64-linux-gnu/ld-2.28.so 7f872b6fe000-7f872b706000 r--p 0001f000 08:01 2238306 /lib/x86_64-linux-gnu/ld-2.28.so 7f872b706000-7f872b707000 r--p 00026000 08:01 2238306 /lib/x86_64-linux-gnu/ld-2.28.so 7f872b707000-7f872b708000 rw-p 00027000 08:01 2238306 /lib/x86_64-linux-gnu/ld-2.28.so
- 51.
- 52.
- 53. ELF とは プログラムコードを格納するファイル形式 Executable andLinkable Format の略 プログラムで使うための機械語コードやデータとシンボル情報な どの付加情報をまとめたもの
- 54.
- 55.
- 56.
- 57.
- 58. PHP 処理系のシンボル情報 mod_php でもcli や fpm でも、拡張機能を共有オブジェクト / DLL で必要に応じてロードできる 拡張から PHP のコア機能にアクセスするためのシンボル情報は 処理系に付いてくる 処理系の ELF ファイルを解釈してシンボル情報を読み込めば、 これらの関数やデータがどの位置にあるかが分かる 拡張から可能なのに近いレベルで情報が取れる
- 59. PHP で ELFを読む php-pro ler では ELF パーサを⾃前で書いてみた PHP で書いたの俺以外に世界で 5 ⼈くらいしかいない説がある 案外普通に書けた
- 60. PHP でバイナリデータを読む ArrayAccess で添え字でバイト列から1 バイト分の整数値を読み 込めるようにする interface ByteReaderInterface extends ArrayAccess
- 61. PHP の⽂字列はエンコード情報を持たないバイト列 添え字アクセスと ord()で 1 バイト分のデータを取り出す実 装が作れる final class StringByteReader implements ByteReaderInterface { use ByteReaderDisableWriteAccessTrait; public function offsetGet($offset): int { return ord($this->source[$offset]); }
- 62. このインターフェースを通じて 32 ビットや64 ビットの整数値 を取り出すクラスも作る final class LittleEndianReader implements IntegerByteSequenceReader { public function read8(ByteReaderInterface $data, int $offset): int { return $data[$offset]; } public function read16(ByteReaderInterface $data, int $offset): int { return ($data[$offset + 1] << 8) | $data[$offset]; } public function read32(ByteReaderInterface $data, int $offset): int { return ($data[$offset + 3] << 24) | ($data[$offset + 2] << 16) | ($data[$offset + 1] << 8) | $data[$offset]; }
- 63. PHP でのバイナリ読みで困ったところ PHP では符号なし64 ビット整数が普通には扱えない int は 64 ビット版 PHP でも符号あり整数値 評価値が上限値である PHP_INT_MAX を超える式の値は、整数 同⼠の演算であっても oat へ暗黙キャスト 真⾯⽬に扱うと多倍超演算⽤の拡張である gmp を使うとか
- 64. 今回は int で押し通してる 今回は敢えてPHP の int をそのまま使っている
- 65. int で⾜りないのはどんな時か ディスク上やメモリ上の ELFファイルを読み込む上でどこに符 号なしの 64bit 整数値が使われるか 今回の⽤途では ELF 内でアドレスやサイズを保持する型を使 う時
- 66. Linux プロセスのメモリレイアウトを確認してみる x86-64 のみ考慮 ユーザ空間のメモリアドレス上限は符号あり整数値の範囲内にお さまる 符号なし64bit 整数値を扱う必要が出るのはカーネル空間のメモ リアドレスを取り扱いたくなった時 https://www.kernel.org/doc/Documentation/x86/x86_64/mm.txt
- 67. PHP: Hypertext Preprocessor カーネル空間のメモリアドレスをPHP で扱おうとするのが間違 っている PHP が何の略だと思っているのか
- 68.
- 69. ZendEngine とは PHP の処理系のコアはZendEngine と呼ばれている PHP 4 の頃に Zeev さんと Andi さんが処理系のコアを刷新 ⼆⼈の名前から Ze と nd をとって Zend Zend Technologies という会社が作られたりした これを⺟体に ZendFramework というフレームワークが作ら れたりもした
- 70. ZendEngine のコンパイラと仮想マシン ZendEngine は、雑に⼤きく分けると以下2 つから成り⽴つ PHP スクリプトを仮想マシンのコードへ変換するコンパイラ それを実⾏する仮想マシン 仮想マシン部分は Executor とも呼ばれている
- 71.
- 72. zend_execute_data EG には zend_execute_data型の current_execute_data というメ ンバがある 現在実⾏中の仮想マシン命令についての情報が含まれている 元はどの関数のコードから⽣成されたものか どの PHP スクリプトファイルの何⾏⽬から⽣成されたもの か prev_execute_data というメンバがある 同じ構造で関数の呼び出し元の情報が⼊ってる
- 73. ZendEngine の構造体を PHPで読む Executor Globals や zend_execute_data は C ⾔語の構造体 C ⾔語構造体を PHP 側で 1 バイトずつ解釈するコードを書くの は少し⾯倒 FFI の機能で型キャストがある process_vm_readv で得たデータへのポインタをキャストすれば FFI 経由でアクセス可能 PHP 処理系のソースから必要な構造体定義を抜き出して使う
- 74. ZendEngine の構造体を PHPで読む際の注意点(1) FFI は C ⾔語のマクロに対応してないので、展開しておく必要が ある
- 75. ZendEngine の構造体を PHPで読む際の注意点(2) 処理系のバージョンが違えば内部構造も変わるので、各 PHP バ ージョン⽤の定義が必要
- 76. ZendEngine の構造体を PHPで読む際の注意点(3) データ内でポインタのアドレスはコピー元プロセスでのアドレス を指している そのままだと FFI が無効なポインタをたどろうとして SEGV 構造体定義側でポインタを整数値型に変更 ポインタをたどる時は繰り返し process_vm_readv して⼿動でた どる
- 77. ZendEngine 内部の参考資料 PHP とSAPI と ZendEngine3 と PHP の関数実⾏とその計測 PHP による hello world ⼊⾨ https://www.slideshare.net/do_aki/php-sapi-zendengine3 https://qiita.com/sj-i/items/836fa5a5e246961c40b6 http://tech.respect-pal.jp/php-helloworld/
- 78.
- 79.
- 80. The Computer LanguageBenchmarks 複数⾔語でおおむね等価な処理を書いて、実⾏性能をベンチマー ク https://benchmarksgame- team.pages.debian.net/benchmarksgame/index.html
- 81. nbody benchmark まあまあレガシーな雰囲気のコード Node での実⾏結果8 秒に対して、PHP(7.4) での実⾏結果が 235 秒 ⼿元のマシンでは Node で 3.6 秒、PHP(7.4) 118 秒 https://benchmarksgame- team.pages.debian.net/benchmarksgame/program/nbody-php- 3.html
- 82.
- 83. 遅くなってしまった ⼿元のマシンで⼤体 174 秒ほど、遅くなってしまった PHP8にして JIT コンパイラを使えば 85 秒 でも修正前なら JIT で 48 秒
- 84. プロファイルをとる php-pro ler でスクリプトの計測をとる 出⼒を少し調整、どの関数のどの⾏かだけでなく、どの仮想マシ ン命令を実⾏中かも出す phpスクリプトなのでちょっとした修正が簡単 https://github.com/sj-i/php-pro ler/tree/experiment-opcode- tracer
- 85. ワンライナーで集計 結果をファイルに吐き、重複⾏をカウントし、カウントの順でソ ート time php ./n-body-test.php50000000 sudo ./php-profiler inspector:trace -p 250359 >result cat result | sort | uniq -c | sort -nr
- 86. プロファイル結果 NBodySystem::advance() 内 130〜 144 ⾏⽬あたりが重そう オペコードでは 60 番と 12 番、28 番と 82 番が頻出 https://gist.github.com/sj- i/d0cbc6c0baa414ffcd00be6840a9166f
- 87. 頻出オペコード 60 番 ZEND_DO_FCALLは関数呼び出しの命令 ここからの関数呼び出し（NBodySystem::advance）が重い 12 番 ZEND_POW は累乗演算⼦の命令、妙に重い 28 番 ZEND_ASSIGN_OBJ_OP と 82 番 ZEND_FETCH_OBJ_R はオ ブジェクトのプロパティへのアクセス⽤命令
- 88. ZEND_POW の対応 累乗演算⼦で 2乗している部分を普通の乗算に書き換え 修正前 修正後 $distance² = $dx**2 + $dy**2 + $dz**2; $distance² = $dx*$dx + $dy*$dy + $dz*$dz;
- 89. プロパティアクセスの対応(1) 最内ループのプロパティアクセスで外側へ出せるものを移動 修正前 foreach ($this->bodies as$index => $referenceBody) { $nbBodies = count($this->bodies); for ($i = $index + 1; $i < $nbBodies; ++$i) { $body = $this->bodies[$i]; $dx = $referenceBody->x - $body->x; $dy = $referenceBody->y - $body->y;
- 90. プロパティアクセスの対応(1) 最内ループのプロパティアクセスで外側へ出せるものを移動 修正後 foreach ($this->bodies as$index => $referenceBody) { $nbBodies = count($this->bodies); $rbx = $referenceBody->x; $rby = $referenceBody->y; for ($i = $index + 1; $i < $nbBodies; ++$i) { $body = $this->bodies[$i]; $dx = $rbx - $body->x; $dy = $rby - $body->y;
- 91. プロパティアクセスの対応(2) PHP の型宣⾔は実⾏時に型検査のコストがかかるので外す 修正前 public float$x; public float $y; public float $z; public float $vx; public float $vy; public float $vz; public float $mass;
- 92. プロパティアクセスの対応(2) PHP の型宣⾔は実⾏時に型検査のコストがかかるので外す 修正後 public $x; public$y; public $z; public $vx; public $vy; public $vz; public $mass;
- 93. 最適化の効果 書き換え後のコードで JIT 有効で実⾏すると29 秒に 85 秒 → 29 秒、約 3 倍⾼速化 3.6 秒の Node(V8) とはまだ 8 倍くらいの差 プロパティアクセスが遅めなの⾃体は JIT でも変わらず、PHP 8 の今後に期待
- 94.
- 95. C ⾔語側までトレースを取る ptrace システムコールで対象プロセスの実⾏を⼀瞬⽌めれば CPU的な状態も取得できる C プログラムのデバッグ⽤情報を格納する DWARF 形式を使う 両⽅使えば更に細かい C ⾔語側のトレースまで取れる筈 PHP コードのどの関数のどの⾏のどのオペコードを実装して いるどの処理系内の C ⾔語関数が遅いのか 「なぜか echo に 7 秒かかる」等の性能調査や処理系⾃体の性能 改善に使えそう
- 96.
- 97.
- 98. ZTS 対応のため ELFの TLS からデータを引っ張り出す闇の技 ext-parallel 経由でのマルチスレッド利⽤ preloading とマルチスレッド amphp での⾮同期処理 静的型検査と Promise JIT でのトレース取得性能
- 99. ⼀部は PHP カンファレンス2020 オンラインで話す予定
- 100.