blob: c22ae8ae59fe1ff334fb23d82a1e10fef8cc538b (
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
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
|
@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) を挟むようになった};
]);
>
>
|
