Composerの依存解決 #phpstudy

第175回 PHP勉強会＠東京での発表資料です
https://phpstudy.connpass.com/event/350509/

Transcript

1. Composerの依存解決 第175回 PHP勉強会＠東京 Hideki Kinjyo GitHub: o0h / X: @o0h_ [発表用]
2. 自己紹介 • 金城秀樹 / きんじょうひでき • GitHub: @o0h / 𝕏 : @o0h_ • 好きなFWはCakePHP • アイコンは美味しい鮭親子丼の写真です • 最近はPodcastをやっています • ハッシュタグ: #readlinefm 
3. 今日のお話 Comoposerの話をします 
4. 昨年、こんな話をしました 
5. 昨年、こんな話をしました その際には 深く扱わなかった部分を 浅く話します 
6. テーマ  Composerの依存解決って、どうやってるの？ • 色々なパッケージが、色々なパッケージを欲しがって • さらに、対応しているバージョンにも取り決めがあって • どのパッケージに何が必要なの？は調べるまでわからないし • 調べるって言ってもネットワーク越しにしか情報がないし
7. テーマ  Composerの依存解決って、どうやってるの？ • 色々なパッケージが、色々なパッケージを欲しがって • さらに、対応しているバージョンにも取り決めがあって • どのパッケージに何が必要なの？は調べるまでわからないし • 調べるって言ってもネットワーク越しにしか情報がないし なんか大変そうじゃんね？？
8. モチベーション 私にとって • 昨年の #phpcon では扱わなかった範囲 • 自分の理解が追いついていなかったから・・・！ • 最近またコードを読んだので、リベンジ☆ 
9. モチベーション 聴く人にとって • 「へぇ〜」 • ぜひ、ハッシュタグ付きで 「#へぇ〜」とポストしてくださいね！ 
10. おしながき 1. 「ここの中身を説明するよ」の共有 2. パッケージのリストを取得しよう 3. バージョンを解釈しよう 4. 整合性を取ろう 
11. 1. 「ここの中身を説明するよ」の共有 2. パッケージのリストを取得しよう 3. バージョンを解釈しよう 4. 整合性を取ろう
12. パッケージをインストールしよう • PHPUnitを入れてみましょう 
13. あるじゃろ • アレがあります 
14. あるよね • やります 
15. あるってば • できあがり(*^^*) 
16. つまり？  私 PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください PHPUnitください sebastian/ global-state sebastian/ object-enumerator sebastian/ object-reflector sebastian/ recursion-context sebastian/type sebastian/version staabm/side- effects-detector
17. ここの中身を説明したい • 1つ(とは限らないけども)のパッケージを要求しただけで、 • それを動かすための様々なパッケージwith詳細なバージョンが • 入ってくることを • 楽しむ心をもって、聞いて下さい 
18. 1. 「ここの中身を説明するよ」の共有 2. パッケージのリストを取得しよう 3. バージョンを解釈しよう 4. 整合性を取ろう
19. Composerの仕事の進め方 • Composerは、まず「必要なものを揃える」ことを完了させる • その後に、パッケージの本体(コード)を取得する 
20. 「phpunit/phpnitください」で最初にやること • 「レポジトリ」のメタ情報をとる • 「パッケージ」のメタ情報を取る => 「PHPUnitのメタ情報」を取るところから始める 
21. 「phpunit/phpnitください」で最初にやること • 「レポジトリ」のメタ情報をとる • 「パッケージ」のメタ情報を取る => 「PHPUnitのメタ情報」を取るところから始める  管理されてる パッケージ情報の 使い方とか
22. 「phpunit/phpnitください」で最初にやること • 「レポジトリ」のメタ情報をとる • 「パッケージ」のメタ情報を取る => 「PHPUnitのメタ情報」を取るところから始める  個別パッケージの 定義情報とか
23. 「phpunit/phpnitください」で最初にやること • 「レポジトリ」のメタ情報をとる • 「パッケージ」のメタ情報を取る • 今日はこちらの話です！ => 「PHPUnitのメタ情報」を取るところから始める 
24. PHPUnitのメタ情報 • https://repo.packagist.org/p2/phpunit/phpunit.json • 「提供できるバージョン」や、その定義が書かれている • 依存パッケージ • 取得元 • etc. etc. etc…. 
25. PHPUnitのメタ情報 • memo: 実際に見てみましょう 
26. 余談: Composer v1 support is coming to an end • 「古いComposer使えなくなるよ」の意味の1つは、 このエンドポイントが使えなくなること • どうぞ！ 『Composer 2.0って何？どう変わるの？読んでみました！』 https://speakerdeck.com/o0h/lets-read-composer2 
27. 「phpunit/phpnitください」で最初にやること • パッケージのメタ情報を取ってきて • 必要(可能性)なバージョンごとにパースして • それぞれの依存情報を読み込む 
28. 「phpunit/phpnitください」の先へ • 読み込んだ依存情報から、更にその依存情報を読み込む(！) • おもしろポイント: この時点では、まだシッカリとした「絞り込み」をしない。 可能性を広げるフェーズ 
29. 実際のログ 
30. 実際のログ  phase1: phpunit
31. 実際のログ  phase2: phpunitの子依存
32. 実際のログ  phase3: 更に孫依存
33. 一旦パッケージ全員集合させる • 「絞り込まない」状態の情報を全部突っ込む • すなわち、同一パッケージ・複数バージョンが並んでいる状態 
34. 「Pool」オブジェクトによる管理 • phpunit/phpunit:^11.2 • "available"なリストが大集合 
35. 「Pool」オブジェクトによる管理 • 依存先も同様に列挙 
36. 1. 「ここの中身を説明するよ」の共有 2. パッケージのリストを取得しよう 3. バージョンを解釈しよう 4. 整合性を取ろう
37. 集めるだけ集めた！ ここからは情報を減らすフェーズです
38. さっき集めたこいつら 
39. すなわちコレら 
40. パッケージ情報の集まりとは・・ 「ルール」の集合とみなすことができる 
41. ルール？ • phpunit/phpunit requires php (>= 8.2.0.0-dev) • sebastian/exporter requires sebastian/recursion-context ([>= 6.0.0.0-dev < 7.0.0.0-dev]) • phpunit/phpunit requires ext-json (*) など 
42. Composer vs Rules 集めたパッケージ情報の 「全体のルール」を集める 
43. ごにょごにょしてdumpしたやつ(一部) 
44. ルールをどう表現するか？ こんな風に分解して列挙 • A requires B みたいな依存 • Aのv1.1.2が入ったら、v1.2.0は入らない => 1つ1つを「満たす」「満たせない」というboolに変換する 
45. 完全に理解しましょう(説明しません) 連言標準形 - Wikipedia https://ja.wikipedia.org/wiki/連言標準形 
46. 1. 「ここの中身を説明するよ」の共有 2. パッケージのリストを取得しよう 3. バージョンを解釈しよう 4. 整合性を取ろう
47. Q. 膨大なルールをどう捌いているか？ • 例えば、phpunit/phpunitをインストールするだけでも • 素の状態だと1400+個のルールが入ってくる 
48. Q. 膨大なルールをどう捌いているか？ • 例えば、phpunit/phpunitをインストールするだけでも • 素の状態だと1400+個のルールが入ってくる 
49. Q. 膨大なルールをどう捌いているか？ • 例えば、phpunit/phpunitをインストールするだけでも • 素の状態だと1400+個のルールが入ってくる • これをどう捌くか？ 
50. A. かっこいい方法 • 「SAT Solver」というアプローチを取っている • https://naderman.de/slippy/src/?file=2012-06-07-Composers-SAT- Solver.html#1 • ちらっと見てみましょう 
51. powered by いまアツい知識獲得方法 
52. powered by いまアツい知識獲得方法 
53. 解決された様子 • 必要なパッケージごとに 「どのソースを取ってくるか」が 解決される • 例) 「不要になったバージョン」 を視覚化するとこんな感じに 
54. 解決された様子 • ふぁいなるあんさー！ 
55. まとめ
56. まとめ すごい良い感じにやっててすごい 
57. おしまい！ お付き合いいただき ありがとうございました!!