blob: 0b579eaf9e9dd3466b0c083199f1ea08dd8cd9f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
|
@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
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;
big-textbox{PHP スクリプト};
gap 30pt;
big-textbox{opcode (VM で実行)};
]);
>
+frame{JIT コンパイルとは}<
+listing{
* Just In Time (ちょうど間に合って)
* 広義: 実行時にコンパイルする
* 狭義: 実行時に機械語へコンパイルする
* PHP 8.0 で導入
}
>
+frame{PHP \+ JIT コンパイル}<
+fig-center(vconcat [
gap 75pt;
big-textbox{PHP スクリプト};
gap 30pt;
big-textbox{opcode (VM で実行)};
gap 30pt;
big-textbox{機械語 (CPU で実行)};
]);
>
+frame{JIT コンパイルの難点}<
+listing{
* コンパイルに時間を割けない
** コンパイルに1分かかるので実行は待ってというわけにはいかない
** コンパイルすればするほど速くなるわけではない
* すべての情報が事前に確定しない
** 動的言語。変数が未定義かも、型が想定と違うかも
** \code(`$a`); + \code(`$b`); が常に int と int の足し算とは限らない
}
>
+frame{Tracing JIT}<
+p{
何度も繰り返し実行される部分、何度も通る分岐などを特定し、
そこだけピンポイントで JIT コンパイルする
}
+p{}
+p{
INI で \code(`opcache.jit=tracing`); (デフォルト) にするとこのモードになる
}
>
+frame{Tracing JIT}<
+listing{
* コンパイルに時間を割けない
** 繰り返し実行される箇所だけコンパイルする
** これまで何度も実行されたのだから、これからも何度も実行されるはず
* すべての情報が事前に確定しない
** 実際の実行パターンを元に、そのケースに最適化させた機械語を生成する
** \code(`$a`); + \code(`$b`); が int と int だったときに限定した機械語を生成し、
想定と違っていれば従来の opcode を VM で動かす
}
>
+frame{PHP 8.4 での変更}<
+p{
PHP 8.4 では、JIT コンパイルの仕組みに大きな変更が入る
}
>
+frame{PHP 8.4 での変更}<
+p{
IR (Intermediate Representation、中間表現) の導入
}
+fig-center(vconcat [
gap 40pt;
mid-textbox{PHP スクリプト};
gap 30pt;
mid-textbox{opcode (VM で実行)};
gap 30pt;
mid-textbox{IR (中間表現)};
gap 30pt;
mid-textbox{機械語 (CPU で実行)};
]);
>
+frame{IR 導入のモチベーション}<
+listing{
* opcode から直接の変換だと制限が大きい
** 最適化しづらい
*** opcode の表現に制約を受ける
** CPU アーキテクチャごとに別々の実装を抱える
* PHP と密結合
** 誰もメンテナンスできない
}
>
+frame{IR の特徴}<
+listing{
* より強力な最適化
** SSA \+ CFG から Sea-of-Nodes へ
* PHP に依存しない
}
>
+frame{実際どうなった？}<
+p{
TODO: ベンチマークのスクリーンショットを引用
}
>
+frame{実際どうなった？}<
+listing{
* 生成された機械語の速度: 0-5 % 向上
* Tracing JIT のコンパイルにかかる時間: ほぼ同等
* Function JIT のコンパイルにかかる時間: 4倍ほど遅い
}
>
+frame{実際どうなった？}<
+p{
8.3.4 と master を比較
}
+listing{
* \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};
gap 30pt;
mid-textbox{opcode と機械語の間に中間表現 (IR) が導入され、};
gap 10pt;
mid-textbox{より最適化がかけられるように};
]);
>
>
|
