PHPStan をできる限り高速化してみる

Slide 1

Slide 1 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi PHPStan をできる限り高速化してみる株式会社コロプラ技術基盤本部工藤剛 2025.03.23 - PHPerKaigi 2025 / Lightning Talk Session

Slide 2

Slide 2 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi TL;DR

Slide 3

Slide 3 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi PHPStan 2.x に移行しろ新しくて強い CPU を使え JIT を有効化しろ

Slide 4

Slide 4 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi 閑話休題

Slide 5

Slide 5 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi 名前: 工藤剛 (a.k.a. zeriyoshi / ぜり) 所属: 株式会社コロプラ部署: 技術基盤本部サーバー基盤グループ 2017 年新卒入社会社では主に PHP や Linux 周りのミドルウェア領域を担当、必要な PHP Extension の開発・保守や各種ミドルウェアバージョンアップ、 CI / CD 環境整備など自己紹介

Slide 6

Slide 6 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi それはさておき

Slide 7

Slide 7 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi デカいプロジェクトの PHPStan での解析が遅すぎる

Slide 8

Slide 8 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi とあるデカプロジェクトの例 ● マシンスペック ○ Google Cloud Compute Engine, n1-highmem-16 ■ CPU: 16 vCPU (Intel Skylake 系) ■ RAM: 104 GiB ● 使用メモリ: ピーク時 93GiB ● 実行時間: 約 40 分ローカルマシンで動かすとか夢のまた夢

Slide 9

Slide 9 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi 高速化1 - キャッシュを活用する PHPStan のキャッシュ機能を活用するようにしてみる 👍Pros: ● 40 分 -> 23 分くらいに高速化できた ● キャッシュ状況によっては 5 分程度で終わるようになった 👎Cons: ● branch 作成後初回や merge / rebase 時にはほぼ意味を成さない ● キャッシュが肥大化しまくりディスク容量枯渇が頻発 ● 稀にキャッシュが壊れ Job が一切動作しなくなる時短効果よりも保守の辛さのほうが勝る...

Slide 10

Slide 10 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi tmpfs を用いて Disk I/O を高速化してみる 👍Pros: ● なし 👎Cons: ● ただでさえメモリ使用量が厳しかったので、並列実行数を減らすしかない ○ Disk I/O の改善効果より並列数が減ることによる速度低下のほうが問題になった ● tmpfs 上の git リポジトリの管理が大変 ○ 全部載せたらおもすぎるので必要なものだけ copy したり... やる価値はない！高速化2 - Disk I/O を高速化

Slide 11

Slide 11 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi アーキテクチャの見直しによって大幅にメモリ使用量を削減することができたが、従来のルールとの互換性が崩れるため長らく試験的機能に分類されていた tadsan の記事がくわしい: https://qiita.com/tadsan/items/75df674c17636f096ea2 👍Pros: ● 全ての問題が解決する ○ メモリ使用量、速度共に大幅に改善、フルで行ってもだいたい 10 分くらいで完了する 👎Cons: ● 社内での内製ルールが軒並みぶっ壊れた高速化3 - Bleeding Edge を有効化

Slide 12

Slide 12 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi ところで

Slide 13

Slide 13 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi 🎉 祝！ PHPStan 2.x 🎉

Slide 14

Slide 14 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi 新機能や改善など嬉しいことがいっぱいあるが、要するに長らく Bleeding Edge だった機能がデフォルト有効になった、つまり... ● 今までの内製ルールは大幅に手を加えなければならなくなった ○ 動くよう手を加えれば、すなわち Bleeding Edge でも動くようになる ● 将来的なメンテナンスを考えると 2.x に対応しないという選択肢はない ○ Bleeding Edge 対応が「やれたらいいな」から「やらねばならぬ」に変わった ● ステークホルダーへの説明がしやすくなった ○ 「試験機能 (Bleeding Edge) 有効にしたら速くなるんですよ〜」から「バージョンアップ対応が必要で、対応すると速くなるんですよ〜」では相手の受ける印象がだいぶ変わってくる PHPStan 2.x

Slide 15

Slide 15 text

Slide 16

Slide 16 text

Slide 17

Slide 17 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi とあるプロジェクト: PHPStan 1.x -> 2.x PHPStan 1.9.1 PHPStan 2.0.4 実行時間キャッシュなし 40 分 13 分キャッシュあり 23 ~ 6 分数秒メモリ使用量キャッシュなし 93 GB 10 GB キャッシュあり 50 GB (うろ覚え) 8 GB

Slide 18

Slide 18 text

Slide 19

Slide 19 text

©COLOPL, Inc. PHPerKaigi 2025 - #phperkaigi ● なんでメモリ使用量が少なくなってこんなに速くなったのかのまとめが公式ブログに書いてあります ○ https://phpstan.org/blog/phpstan-1-6-0-with-conditional-return-types ■ tadsan によるありがたい翻訳 https://www.phper.ninja/entry/2022/04/28/015632 ● Disk IO バウンドやメモリバウンドだった傾向が薄れ、明確に CPU バウンドになりました ○ PHP 8.x の OPcache JIT の効果が向上しました ○ 例えば Intel Skylake な Compute Engine や Intel Coﬀee Lake で Ubuntu 24.04 な物理マシン上で実行するよりも Apple M3 Pro で OrbStack (ファイルマウント) なローカルマシンで実行するほうが速い ■ Compute Engine n1-highmem-16: 約 13 分 ■ Compute Engine c2-highcpu-16: 約 10 分 (highmem いらなくなったので変えた) ■ 物理マシン OS: Ubuntu 24.04LTS CPU: Core i7 8700, RAM 64GiB: 約 11 分 ■ OrbStack OS: macOS Sonoma, M3 Pro 11C, RAM: 36GiB: 約 8 分余談