アカウント名:
パスワード:
カーネルのソースコード読んだことない人にはヘッダーの依存関係の整理とかいってもピンとこないんだろうな、とここまでの議論を読んでて思った。歴史的な事情で、同じファイルが3回も4回も読まれたり(読まれるだけで #ifdef で中身は破棄される)とか、相互依存になっているので片方読むともう片方も要不要にかかわらず自動で読まれるとか、役所の盥回しみたいにあちこちに飛ばされてなかなか本体にたどりつけなかったりとか、色々と悲しい状態になってる。みんな(誰かに)直して欲しいと思っていたところ。
コード本体の全面書き直しみたいな話ではないので機能とか性能が変わるわけじゃないよ。
こういうのこそ機械学習による最適化が効きそうなもんなんだけど無理かな。
機械学習は何らかの見本を元にそれっぽく良い感じのものを吐き出してくれるだけなので完璧な理論的整合性が求められるソースコードには使えないと思うせいぜいサジェスチョンが関の山
少なくとも現状のソースコードがあるので、コンパイル後が現状と一致するかどうかという確認は簡単にできる。人間が修正したってどうせバグがゼロになることはないので、検証と修正が簡単な機械学習の方が早くコンパクトになると思う。そもそも「完璧な理論的整合性」なんて取れてないからこそ、大本のコメントのような現状があるのだし。
ただ、別コメにもあるように可読性は両立できないだろうね。
や、比較対象は人間の修正じゃなくて修正専用プログラムです。Ingo Molnar氏はすでにper_task()というプログラムを使って数千のコミットの山を築いているので、機械学習がそれを上回れないと採用する意味がないです。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ソースを見ろ -- ある4桁UID
ヘッダー依存関係 (スコア:5, 参考になる)
カーネルのソースコード読んだことない人にはヘッダーの依存関係の整理とかいってもピンとこないんだろうな、とここまでの議論を読んでて思った。
歴史的な事情で、同じファイルが3回も4回も読まれたり(読まれるだけで #ifdef で中身は破棄される)とか、相互依存になっているので片方読むともう片方も要不要にかかわらず自動で読まれるとか、役所の盥回しみたいにあちこちに飛ばされてなかなか本体にたどりつけなかったりとか、色々と悲しい状態になってる。
みんな(誰かに)直して欲しいと思っていたところ。
コード本体の全面書き直しみたいな話ではないので機能とか性能が変わるわけじゃないよ。
Re: (スコア:0)
こういうのこそ機械学習による最適化が効きそうなもんなんだけど無理かな。
Re: (スコア:0)
機械学習は何らかの見本を元にそれっぽく良い感じのものを吐き出してくれるだけなので完璧な理論的整合性が求められるソースコードには使えないと思う
せいぜいサジェスチョンが関の山
Re: (スコア:0)
少なくとも現状のソースコードがあるので、コンパイル後が現状と一致するかどうかという確認は簡単にできる。
人間が修正したってどうせバグがゼロになることはないので、検証と修正が簡単な機械学習の方が早くコンパクトになると思う。
そもそも「完璧な理論的整合性」なんて取れてないからこそ、大本のコメントのような現状があるのだし。
ただ、別コメにもあるように可読性は両立できないだろうね。
Re:ヘッダー依存関係 (スコア:1)
や、比較対象は人間の修正じゃなくて修正専用プログラムです。
Ingo Molnar氏はすでにper_task()というプログラムを使って数千のコミットの山を築いているので、機械学習がそれを上回れないと採用する意味がないです。