Linuxカーネルの6.1がリリース、プログラミング言語Rustが採用された初めてのバージョンに [543236886]
■ このスレッドは過去ログ倉庫に格納されています
Linus Torvalds氏は米国時間12月11日、「Linux」カーネルのバージョン6.1の安定版が利用可能になったと発表した。Linux 6.1は、Rustのインフラを初めて採用したバージョンであり、同氏は数週間前よりも「はるかに満足している」状態だと述べている。
以下ソース
トーバルズ氏、「Linux 6.1」のリリースを発表--6.2の状況について報告も
https://japan.zdnet.com/article/35197296/ 意外に早かったというか
Linusが今回はさくさく進んでるよと言ってたな API移植されてるんか?
一からunsafeなラッパーなんて作ってられんぞ >>4
メモリ安全性と並列安全性をコンパイラが保証してくれて、かつ抽象的な書き方が多数保証されてるにも関わらず早いから
コンパイラ書いたやつは天才だよ >>10
んなわけねーだろどんだけコードあると思ってんだ >>11
ロジック的なバグはそりゃあるだろうけど、脆弱性につながるようなもんはほぼないと思わせてくれるのがrustなんだよなぁ >>4
コンパイル時に超厳格なメモリ操作のチェックが行われる
その代わり実行時にはチェックをほとんどしないのでCとほぼ同等のスピードで走る
コンパイルを通すのがめんどくさいが通れば自動的に安全が保証されるので今までCで書いていて脆弱性を量産してたプロジェクトに大人気 >>10
あくまでも一部で実装
>>11
安定性はまだまだかもしれないけど
少なくともメモリ起因の変なバグはなさそうだから今後もバンバン使ってほしいわ そもそもC++の時点で変な書き方しなければメモリリークのしようがないとは思うが >>23
その変な書き方をしなければって前提がある時点でダメ
明確にコンパイルエラーにしなきゃならない >>16
配列の添字を受信データとかにするとどうなるの?コンパイルエラー? >>3
最後の局面で停止するような紛糾が起きなかったというだけで
わりと長い期間かかったというイメージだが
もう何年もずっと言われてた案件だし >>23
変なので書くやつがいるしLinuxレベルのコード量だと変だと指摘するのが難しい
リーナスの「目がたくさんあれば~」は正しいけど今のLinuxだと地球上の全人口レベルの目が必要だろ >>23
最近のトレンドは並列処理で人間には可能性のある並列処理を全通りイメージするのは無理 >>4
C→メモリの安全性チェックしませんバッファオーバーランもメモリリークも自己責任でどうぞ
Java/C#等→メモリの安全性は言語側で面倒見ますメモリリークも基本的に起こりませんたまに(GCで)遅くなっても許してねてへぺろ
Rust→プログラム作成時にメモリ安全性はチェックします使い終わったらメモリは速攻で解放されます変数を使い回したい時は頑張って
こんな理解だわ >>23
逆だろ
変な書き方しないとC/C++ではメモリ安全にならない 馬鹿でもエラーが出ないから大丈夫って
馬鹿の書いたコード自体は大丈夫ではないと思うがw >>4
C++でテンプレートで頑張って書く部分が言語機能に含まれてるのとランタイムがCとかC++みたいに軽いから >>20
あってもバックエンドの部分やね
フロントエンドもRustで!って需要はあんま想定されてないと思う >>33
一見ちゃんと動いてそうに見えるコードが1番タチ悪いんだわ 今ってその辺のAPIサーバーとかもRustとかgolangとかなの?
そこまでやってキツくないの? そのrustを産んだMozillaのFirefoxが未だにメモリ解放が下手で遅いのはなぜなのか >>33
保証してる箇所が違うんだよ
rustはメモリや並列性の安全をほぼ保証してくれる
ロジック的なバグはそもそもcやrustの議論の対象ですらない Rustは書く時面倒な言語だけど書いた後は良い言語だよ >>37
よく学習コストが高いとか勘違いされてるけど
同じ品質ならRustの方が簡単だから 言うてIDE使えばそんなコーディング面倒でもないやろ、初期学習コストはクソ高いけど
商用に使わんようなプログラムはPythonでええわとなるがな 言語の変換とかそれこそai でちゃちゃっとしてくれ >>26
メモリに直アクセスする時はunsafeモードだろうから保証外
普通に配列なら実行時境界チェックされる
投機的実行でほぼゼロコストやろうけど
であってるのだろうか? でもlinuxでも全面rustに書き直すわけじゃないんじゃないの? そもそもC/C++でメモリー安全ならないケースってどこなの? >>47
ある程度機械的に変換はできるやろうけど、その正当性をテストするってなったらLinuxみたいなクソ巨大プロジェクトは現状ほぼ無理やと思う C++がVC++の登場で爆発的に普及したのと同様にMSがVisualRustでもリリースしない限り普及はしないだろうな >>50
開放したメモリにアクセスするとかなんぼでもあるやろ >>49
カーネルとかunsafe使いまくりであんま旨味なさそう それぞれの言語でメリットデメリットあるって話は別にいいけど
魔法の弾丸的売り文句は正直信じてない >>53
WSLとVscodeで一瞬でインストール終わるぞ よく分からんけどコア部分はそのままで一部プログラム変えたらデータIO発生して遅くなったりせんの? Rustで簡単ウィンドウズアプリケーション作れますとかゲーム作れますじゃないとだめか kernelのmm関連コードなんてまあunsafe使わんと無理やな Copilot使え
コメントで書けばChatGPTみたいに勝手に書いてくれるから、もう言語の壁なんてないぞ cargoの破壊力はいくら装甲の厚い機体とて持ちはすまい rust難しすぎて普通にアプリケーション動かすまで時間がかかったわ
pythonの5倍くらい最初はとっつきにくい >>59
まあTauriとか出てきてるけど
Rustが本格活用される用途じゃないかもな >>68
環境整えればwebassembly吐き出せるので
ブラウザ上で動くJavaScriptの代わりも >>66
レジスタアクセスする部分だけunsafeで書いて、
それ以外の上のロジック層はメモリ安全スレッド安全保証の
safeなRustで書ける。
気を付けなきゃ行けない部分が最小限になるのが利点 俺が使ってるやつは未だに5.いくつなんだが
ウブンツかデビアンの派生みたいなやつだけど
逆に何使えば最新カーネルになるんだ? チェック省いたら、悪意の書き換えとかわからないんじゃね? >>73
それはディストリビューションの作ってる側次第じゃ
各ディストリのHP見てみなよ >>10
何千万行もあるんじゃなかったか
さすがに無理じゃね >>78
新しいコードから採用してジワジワ置き換えるって
記事見たね >>73
UbuntuのLTS最新とかならaptで拾ってこれるんじゃね?のレベルかと。 実行速度が許容できるならRustで置き換えてええな >>73
派生ディストリは元のディストリを受けて開発してるんだから最新になるわけないでしょ
カーネル含めた最新ソフトウェアを整備してるのは
まずArch、Arch準拠を維持してるManjaro
次いで速いのはDebian Testing(Testingと言うが他ディストリのベースになるほど十分硬い)、Fedora
ここらはカーネルがバージョン6に乗ってる >>73
manjaroだと使いたいカーネルバージョン簡単に選べて最新もすぐ使える
arch系ね FreeBSD使ってみたいんだけど、今は人気ないってマジ?
勉強してみたいんだけど、メンテされなくなったりしたら嫌だなぁ >>84
windowsがLinuxサポートするのに
ubuntuのコンテナ使ってるしなあ >>4
C++の言語仕様が肥大化しすぎて付き合い切れなくなった >>84
商用UNIXに対する無料UNIXとして昔は重宝されてたけど
今はその座をLinuxが占めちゃったからね
ただ色んなデバイスのベースOSとして今でも結構使われてるよ
FreeBSDが近いうちに無くなるなんてことはまずない
OpenBSDもセキュリティ特化という独自の要素持ってるから細々と続く
NetBSDはそろそろ危ないかも >>88
ありがとう
デスクトップとして使うわけではないし勉強してみる 流石嫌儲だわ
ドライバがかけるようになるだけなのに知ったかぶりばっかり >>90
お前ドライバ書いたことあんの?
結構めんどくせえしカーネルモードだから
しくれば即死だし即死しづらい言語で書けるは意味はそればなりに大きいんだよ
あとどうでもいいがLinuxの場合カーネルインタフェースが
バージョン変わるたびにコロコロ変わるのが大変なんだ rustって英語で荒廃したとか錆びたとかいう意味なんだろ?
もうちょっとなんとかならんかったのか言語名は。
groovyとかみたいに、こう、明るい意味あいとダブルミーニングを持たせりゃいいものを
なぜあまり明るいイメージのない単語と言語名を同一化させてしまったの >>32
意味不明
RAIIが変な書き方というならCのがゴミだわ
C++がクソなのは最適化でコピーコンストラクタ操作消えたりTMPとかの話なのに >>91
小物はUIOも使えるからカーネルモードとは限らない
コロコロ変わるのはわかるがな
特にUSBやネットワーク(BT含む)周り 独りよがりな技術者って自分のやってきたことを否定されたくないから、わざとボヤかして曖昧ににするよな >>89
ファイル鯖にするならFreeBSDのほうが堅牢だと思う
特にZFSが使いたいならFreeBSDくらいしか手軽なのがない >>96
Linuxでも普通に使える
環境も整ってる
ライセンス気にするならOpenZFSしかないが というかよくわかってない奴にBSD勧めんなよな…
ドライバないぞ >>69
フレームワーク側が勝手に開放するとかあるんだわ
マジで許せん ■ このスレッドは過去ログ倉庫に格納されています