パスワードを忘れた? アカウント作成

Linuxカーネルの"依存関係地獄"解消目指す「Fast Kernel Headers」」記事へのコメント

  • by Anonymous Coward on 2022年01月13日 18時27分 (#4184161)

    カーネルのソースコード読んだことない人にはヘッダーの依存関係の整理とかいってもピンとこないんだろうな、とここまでの議論を読んでて思った。
    歴史的な事情で、同じファイルが3回も4回も読まれたり(読まれるだけで #ifdef で中身は破棄される)とか、相互依存になっているので片方読むともう片方も要不要にかかわらず自動で読まれるとか、役所の盥回しみたいにあちこちに飛ばされてなかなか本体にたどりつけなかったりとか、色々と悲しい状態になってる。
    みんな(誰かに)直して欲しいと思っていたところ。

    コード本体の全面書き直しみたいな話ではないので機能とか性能が変わるわけじゃないよ。

    ここに返信
    • by Anonymous Coward

      これで読みやすくなれば読む人増えるよ、ちょっとは
      いまだと迷子になる

    • by Anonymous Coward

      ヘッダーがとっ散らかってると、関数の動きがアレっと思って調べる時やパッチする時の影響範囲や依存関係調べるだけで大仕事になるし、本当に良かった。

      新規のコードじゃないのだ地味とか言われそうだけどとても大切で貢献度高いと思う。
      頑張って欲しい。
      下手に参加すると船頭多くして船山に登るになるから見守るしかないけど。

    • by Anonymous Coward

      BootlinがElixir Cross Referencerを作るくらいにはややこしいですね
      https://elixir.bootlin.com/linux/latest/source [bootlin.com]

    • by Anonymous Coward

      こういうのこそ機械学習による最適化が効きそうなもんなんだけど無理かな。

      • by Anonymous Coward

        人間による可読性を維持するのが難しかろう。

      • by Anonymous Coward

        機械学習は何らかの見本を元にそれっぽく良い感じのものを吐き出してくれるだけなので完璧な理論的整合性が求められるソースコードには使えないと思う
        せいぜいサジェスチョンが関の山

        • by Anonymous Coward

          少なくとも現状のソースコードがあるので、コンパイル後が現状と一致するかどうかという確認は簡単にできる。
          人間が修正したってどうせバグがゼロになることはないので、検証と修正が簡単な機械学習の方が早くコンパクトになると思う。
          そもそも「完璧な理論的整合性」なんて取れてないからこそ、大本のコメントのような現状があるのだし。

          ただ、別コメにもあるように可読性は両立できないだろうね。

          • by Anonymous Coward on 2022年01月13日 22時43分 (#4184303)

            や、比較対象は人間の修正じゃなくて修正専用プログラムです。
            Ingo Molnar氏はすでにper_task()というプログラムを使って数千のコミットの山を築いているので、機械学習がそれを上回れないと採用する意味がないです。

          • by Anonymous Coward

            >検証と修正が簡単な機械学習

            お、おう

    • by Anonymous Coward

      そんなん普通にツールないの?
      `#ifdef`とかで条件変わること考えるとちょっと難しいけど、軽くPerlで処理して…の延長レベルに思えるけど。
      「実は依存してなかった」とかをきちんと判別するなら人力必須だろうが。

      • by Anonymous Coward

        ミネソタ大に逆ギレしてる開発者グループにまともなツールがあると思う?

        • by Anonymous Coward

          あの件が逆切れってどういう感覚してるんだろ

      • by Anonymous Coward

        Perl

        wwwww

      • by Anonymous Coward

        > そんなん普通にツールないの?

        専用のツールを作るところからが、このプロジェクトだよ。

    • by Anonymous Coward

      とっ散らかった参照関係直すのはゴミコードきれいに直すよりツライ…

吾輩はリファレンスである。名前はまだ無い -- perlの中の人

処理中...