Composerの依存解決 #phpstudy

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. おしまい！ お付き合いいただき ありがとうございました!!