アカウント名:
パスワード:
カーネルのソースコード読んだことない人にはヘッダーの依存関係の整理とかいってもピンとこないんだろうな、とここまでの議論を読んでて思った。歴史的な事情で、同じファイルが3回も4回も読まれたり(読まれるだけで #ifdef で中身は破棄される)とか、相互依存になっているので片方読むともう片方も要不要にかかわらず自動で読まれるとか、役所の盥回しみたいにあちこちに飛ばされてなかなか本体にたどりつけなかったりとか、色々と悲しい状態になってる。みんな(誰かに)直して欲しいと思っていたところ。
コード本体の全面書き直しみたいな話ではないので機能とか性能が変わるわけじゃないよ。
これで読みやすくなれば読む人増えるよ、ちょっとはいまだと迷子になる
ヘッダーがとっ散らかってると、関数の動きがアレっと思って調べる時やパッチする時の影響範囲や依存関係調べるだけで大仕事になるし、本当に良かった。
新規のコードじゃないのだ地味とか言われそうだけどとても大切で貢献度高いと思う。頑張って欲しい。下手に参加すると船頭多くして船山に登るになるから見守るしかないけど。
BootlinがElixir Cross Referencerを作るくらいにはややこしいですねhttps://elixir.bootlin.com/linux/latest/source [bootlin.com]
こういうのこそ機械学習による最適化が効きそうなもんなんだけど無理かな。
人間による可読性を維持するのが難しかろう。
機械学習は何らかの見本を元にそれっぽく良い感じのものを吐き出してくれるだけなので完璧な理論的整合性が求められるソースコードには使えないと思うせいぜいサジェスチョンが関の山
少なくとも現状のソースコードがあるので、コンパイル後が現状と一致するかどうかという確認は簡単にできる。人間が修正したってどうせバグがゼロになることはないので、検証と修正が簡単な機械学習の方が早くコンパクトになると思う。そもそも「完璧な理論的整合性」なんて取れてないからこそ、大本のコメントのような現状があるのだし。
ただ、別コメにもあるように可読性は両立できないだろうね。
や、比較対象は人間の修正じゃなくて修正専用プログラムです。Ingo Molnar氏はすでにper_task()というプログラムを使って数千のコミットの山を築いているので、機械学習がそれを上回れないと採用する意味がないです。
>検証と修正が簡単な機械学習
お、おう
そんなん普通にツールないの?`#ifdef`とかで条件変わること考えるとちょっと難しいけど、軽くPerlで処理して…の延長レベルに思えるけど。「実は依存してなかった」とかをきちんと判別するなら人力必須だろうが。
ミネソタ大に逆ギレしてる開発者グループにまともなツールがあると思う?
あの件が逆切れってどういう感覚してるんだろ
Perl
wwwww
> そんなん普通にツールないの?
専用のツールを作るところからが、このプロジェクトだよ。
とっ散らかった参照関係直すのはゴミコードきれいに直すよりツライ…
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
目玉の数さえ十分あれば、どんなバグも深刻ではない -- Eric Raymond
ヘッダー依存関係 (スコア:5, 参考になる)
カーネルのソースコード読んだことない人にはヘッダーの依存関係の整理とかいってもピンとこないんだろうな、とここまでの議論を読んでて思った。
歴史的な事情で、同じファイルが3回も4回も読まれたり(読まれるだけで #ifdef で中身は破棄される)とか、相互依存になっているので片方読むともう片方も要不要にかかわらず自動で読まれるとか、役所の盥回しみたいにあちこちに飛ばされてなかなか本体にたどりつけなかったりとか、色々と悲しい状態になってる。
みんな(誰かに)直して欲しいと思っていたところ。
コード本体の全面書き直しみたいな話ではないので機能とか性能が変わるわけじゃないよ。
Re: (スコア:0)
これで読みやすくなれば読む人増えるよ、ちょっとは
いまだと迷子になる
Re: (スコア:0)
ヘッダーがとっ散らかってると、関数の動きがアレっと思って調べる時やパッチする時の影響範囲や依存関係調べるだけで大仕事になるし、本当に良かった。
新規のコードじゃないのだ地味とか言われそうだけどとても大切で貢献度高いと思う。
頑張って欲しい。
下手に参加すると船頭多くして船山に登るになるから見守るしかないけど。
Re: (スコア:0)
BootlinがElixir Cross Referencerを作るくらいにはややこしいですね
https://elixir.bootlin.com/linux/latest/source [bootlin.com]
Re: (スコア:0)
こういうのこそ機械学習による最適化が効きそうなもんなんだけど無理かな。
Re: (スコア:0)
人間による可読性を維持するのが難しかろう。
Re: (スコア:0)
機械学習は何らかの見本を元にそれっぽく良い感じのものを吐き出してくれるだけなので完璧な理論的整合性が求められるソースコードには使えないと思う
せいぜいサジェスチョンが関の山
Re: (スコア:0)
少なくとも現状のソースコードがあるので、コンパイル後が現状と一致するかどうかという確認は簡単にできる。
人間が修正したってどうせバグがゼロになることはないので、検証と修正が簡単な機械学習の方が早くコンパクトになると思う。
そもそも「完璧な理論的整合性」なんて取れてないからこそ、大本のコメントのような現状があるのだし。
ただ、別コメにもあるように可読性は両立できないだろうね。
Re:ヘッダー依存関係 (スコア:1)
や、比較対象は人間の修正じゃなくて修正専用プログラムです。
Ingo Molnar氏はすでにper_task()というプログラムを使って数千のコミットの山を築いているので、機械学習がそれを上回れないと採用する意味がないです。
Re: (スコア:0)
>検証と修正が簡単な機械学習
お、おう
Re: (スコア:0)
そんなん普通にツールないの?
`#ifdef`とかで条件変わること考えるとちょっと難しいけど、軽くPerlで処理して…の延長レベルに思えるけど。
「実は依存してなかった」とかをきちんと判別するなら人力必須だろうが。
Re: (スコア:0)
ミネソタ大に逆ギレしてる開発者グループにまともなツールがあると思う?
Re: (スコア:0)
あの件が逆切れってどういう感覚してるんだろ
Re: (スコア:0)
Perl
wwwww
Re: (スコア:0)
> そんなん普通にツールないの?
専用のツールを作るところからが、このプロジェクトだよ。
Re: (スコア:0)
とっ散らかった参照関係直すのはゴミコードきれいに直すよりツライ…