@require: option
@require: class-slydifi/theme/akasaka
@require: figbox/figbox

let ex-big-textbox ?:size-opt it =
  let size = Option.from 48pt size-opt in
    FigBox.textbox?:(set-font-size size) it

let big-textbox ?:size-opt it =
  let size = Option.from 32pt size-opt in
    FigBox.textbox?:(set-font-size size) it

let mid-textbox ?:size-opt it =
  let size = Option.from 24pt size-opt in
    FigBox.textbox?:(set-font-size size) it

let with-frame figbox = figbox
  |> FigBox.hvmargin 16pt
  |> FigBox.frame 2pt Color.black

open FigBox
in

document '<
  +set-config(|
    SlydifiThemeAkasaka.default-config with
    color-emph = Color.black;
  |);

  +make-title(|
    title = {
      |来る新 JIT エンジンについて
      |知った気になる
      |};
    author = {|nsfisis (いまむら)|};
    date = {|PHPカンファレンス小田原 2024|};
  |);

  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

  +frame{自己紹介}<
    +fig-center(vconcat [
      gap 75pt;
      hconcat [
        big-textbox{nsfisis (いまむら)};
        gap 20pt;
        include-image 50pt `assets/me.jpeg`;
      ];
      gap 20pt;
      big-textbox{\@ デジタルサーカス株式会社};
    ]);
  >

  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

  +frame{普通の PHP プログラム}<
    +fig-center(vconcat [
      gap 75pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
    ]);
  >

  +frame{普通の PHP プログラム}<
    +fig-center(vconcat [
      gap 75pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
      gap 50pt;
      textbox{もっと速くしたい};
    ]);
  >

  +frame{普通の PHP プログラム}<
    +fig-center(vconcat [
      gap 75pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
      gap 50pt;
      textbox{もっと速くしたい};
      gap 20pt;
      textbox{機械語にして CPU で動かす};
    ]);
  >

  +frame{JIT コンパイルとは}<
    +listing{
      * Just In Time: ちょうど間に合って
      * 実行時に機械語へコンパイルする
      * PHP 8.0 で導入
      * 他言語での事例
        ** LuaJIT
        ** V8 TurboFan、Sparkplug、Maglev
        ** CRuby MJIT、YJIT、RJIT
        ** HotSpotVM
        ** GraalVM
        ** など
    }
  >

  +frame{PHP \+ JIT コンパイル}<
    +fig-center(vconcat [
      gap 75pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
      gap 30pt;
      mid-textbox{機械語 (CPU で実行)} |> with-frame;
    ]);
  >

  +frame{JIT コンパイルの難点}<
    +listing{
      * コンパイルに時間を割けない
        ** コンパイルに1分かかるので実行は待ってというわけにはいかない
        ** コンパイルすればするほど速くなるわけではない
      * すべての情報が事前に確定しない
        ** 動的言語。変数が未定義かも、型が想定と違うかも
        ** \code(`$a`); + \code(`$b`); が常に \code(`int`); と \code(`int`); の足し算とは限らない
    }
  >

  +frame{Tracing JIT}<
    +p{
      何度も繰り返し実行される部分、何度も通る分岐などを特定し、
      そこだけピンポイントで JIT コンパイルする
    }
    +p{}
    +p{
      INI で \code(`opcache.jit=tracing`); (デフォルト) にするとこのモードになる
    }
  >

  +frame{Tracing JIT}<
    +listing{
      * コンパイルに時間を割けない
        ** 繰り返し実行される箇所だけコンパイルする
        ** これまで何度も実行されたのだから、これからも何度も実行されるはず
        ** 関数 \code(`f()`); が 1000 回、関数 \code(`g()`); が 1回実行されたなら、\code(`f()`); だけコンパイルする
      * すべての情報が事前に確定しない
        ** 実際の実行パターンを元に、そのケースに最適化させた機械語を生成する
        ** \code(`$a`); + \code(`$b`); が \code(`int`); と \code(`int`); だったときに限定した機械語を生成し、
           想定と違っていれば従来の opcode を VM で動かす
        ** \code(`int`); と \code(`int`); の組み合わせで 1000回、\code(`null`); と \code(`null`); の組み合わせで 1回実行されたなら、\code(`int`); と \code(`int`); に合わせてコンパイルする
    }
  >

  +frame{PHP 8.4 での変更}<
    +p{}
    +p{
      PHP 8.4 では、JIT コンパイルの仕組みに大きな変更が入る
    }
  >

  +frame{PHP 8.4 での変更}<
    +p{}
    +p{
      PHP 8.4 では、JIT コンパイルの仕組みに大きな変更が入る
    }
    +p{
      IR (Intermediate Representation、中間表現) の導入
    }
  >

  +frame{普通の PHP プログラム}<
    +fig-center(vconcat [
      gap 75pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
    ]);
  >

  +frame{PHP 8.4 での変更}<
    +fig-center(vconcat [
      gap 40pt;
      mid-textbox{PHP スクリプト} |> with-frame;
      gap 30pt;
      mid-textbox{opcode (VM で実行)} |> with-frame;
      gap 30pt;
      mid-textbox{IR (中間表現)} |> with-frame;
      gap 30pt;
      mid-textbox{機械語 (CPU で実行)} |> with-frame;
    ]);
  >

  +frame{IR 導入のモチベーション}<
    +listing{
      * opcode から直接の変換だと制限が大きい
        ** 最適化しづらい
          *** opcode の表現に制約を受ける
          *** 抽象度が足りない
          *** ソースコードをパースせずに実行するようなもの
        ** CPU アーキテクチャごとに別々の実装を抱える
      * PHP と密結合
        ** JIT と PHP 両方の知識が必要
        ** 誰もメンテナンスできない
    }
  >

  +frame{IR の特徴}<
    +listing{
      * より強力な最適化
        ** 最適化しやすい表現に
        ** SSA \+ CFG から Sea-of-Nodes へ
      * PHP に依存しない
    }
  >

  +frame{実際どうなった？}<
    +listing{
      * 性能
        * 生成された機械語の速度: 0-5 \% 向上
        * Tracing JIT のコンパイルにかかる時間: ほぼ同等
      * メンテナンス性
        * \code(`ext/opcache/jit`); の変更量
          ** 5.9万行追加、4.9万行削除
        * アーキテクチャごとのコード生成部
          ** x86: 1.1万行追加、1.6万行削除
          ** arm64: 0.65万行追加、1.1万行削除
    }
  >

  +frame{知った気になるまとめ}<
  >

  +frame{知った気になるまとめ}<
    +fig-center(vconcat [
      gap 60pt;
      big-textbox{8.4 で変わる JIT};
    ]);
  >

  +frame{知った気になるまとめ}<
    +fig-center(vconcat [
      gap 60pt;
      big-textbox{8.4 で変わる JIT};
    ]);
    +fig-center(vconcat [
      gap 40pt;
      mid-textbox{opcode から直接機械語を生成するのではなく、};
      gap 10pt;
      mid-textbox{中間表現 (IR) を挟むようになった};
    ]);
  >

>