Rustの型システムでLinuxカーネルのバグを防ぐ
過去のデバイスドライバのバグを分類し、それをRustでどの程度防げるかを分析するという面倒な仕事からは、引き続き目を背け、Rustの型システムを活用してコンパイル時にAPI誤用によるバグを防ぐ設計例として、筆者が開発に関わっているタイマー抽象化APIを紹介します。 タイマーAPI基礎知識特定の時点を時間を表すCの型としてktime_tがあり、これは64ビット符号付き整数（s64）で表現され、単位はナノ秒です。ktime_t型は期間を表す型としても使われます。 Linuxカーネルには、下記のように複数のクロックソースが用意されていて、デバイスドライバは用途や特性に応じてクロックソースを使い分けます。例えば、realtimeクロックは補正によって時間が過去に戻る場合があるので、経過時間の測定用途には不向きです。また、独自のクロックソースを実装しているデバイスドライバもあります。 クロックソース
Linux 6.15リリース：486クラスCPUサポート終了でRust統合加速、bcachefsとexFAT大幅改善 - イノベトピア
Linux 6.15リリース：486クラスCPUサポート終了でRust統合加速、bcachefsとexFAT大幅改善 Last Updated on 2025-05-29 08:19 by TaTsu Linus Torvaldsが2025年5月25日（日曜日）にLinux kernel 6.15をリリースした。 今回のリリースでは14,612の変更セットが含まれ、前回の6.14の11,003変更セットから大幅に増加し、2024年初頭にリリースされた6.7以来最も活発なリリースとなった。 最も重要な変更は、Intel 486およびPentium以前のx86 CPUサポートの完全削除である。 これによりカーネルは実質的にi586（Pentium）以上のみをサポートし、x86-32環境では最大8CPU制限および32ビットPAEサポート削除により4GB RAM制限が課される。 主要な改善点として
「Linuxカーネル6.15」がリリース--NVIDIA GPU用のRust製ドライバーなど追加
Linus Torvalds氏は米国時間5月25日、「Linuxカーネル6.15」（Linux 6.15）の安定版リリースを正式に発表した。同氏によると、「土壇場でのバグ報告により、1つの新機能が直前で無効化された」ため、リリースが数時間遅れたという。 このバージョンで特に注目すべきは、「Rust」ベースのドライバーが初めてメインラインカーネルに搭載された点だ。これは、LinuxコミュニティーのRustファンから長い間待ち望まれていたことだ。 これは「NOVA」と名付けられた「Direct Rendering Manager（DRM）」ドライバーで、NVIDIAの次世代オープンソースグラフィックスハードウェアを強化するものになる。「Turing」アーキテクチャーをベースにした「RTX 2000」シリーズとそれ以降のGPUを対象としている。NOVAは、サードパーティー製でオープンソースの「n
Rust for Linuxで新たな動き — リーナス・トーバルズの「右腕」がRust支持を表明
2月20日、海外のテクノロジーメディアPhoronixが「Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust」と題した記事を公開した。以下に、その内容をかいつまんで紹介する。 2月20日、海外のテクノロジーメディアPhoronixが「Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust」と題した記事を公開した。以下に、その内容をかいつまんで紹介する。 記事によると、LinuxカーネルにRustを導入するかどうかをめぐる議論は続いている。リーナス・トーバルズ氏の右腕ともいえるGreg Kroah-Hartman（Greg KH
Linus Torvalds氏がメンテナの反対を押し切ってRustコードをLinuxカーネルへ統合へ？ | ソフトアンテナ
LinuxカーネルへのRustコードの統合をめぐる騒動が続いています。 Linuxカーネルの一部であるDMAマッピングヘルパーを管理するChristoph Hellwig氏は、Rustをはじめとした他のプログラミング言語の導入に反対していますが、Linuxの創設者であるLinus Torvalds氏は、他のメンテナーの反対を押し切ってでも、Rustコードをカーネルに統合する意向を示していることがわかりました。 同氏は、Linus Torvalds氏がカーネル内のRustコードに対するメンテナの拒否権を無効化するとプライベートで発言したとRust for Linuxメーリングリストで説明しています。 while Linus in private said that he absolutely is going to merge Rust code over a maintainers obj
Rustで実装するLinuxカーネル（アセンブリ言語編）
「安全よりもスリルを！」 メモリ安全性のために、LinuxカーネルモジュールはRustで実装すべし、と世間に大声で訴えているけれど、本当はちょっと物足りない…危険に惹かれてしまう、そういう秘めた自分の気持ち、大切にしたいですよね！ 今回は、いかなる安全性も保証しないアセンブリ言語とRustを組み合わせて、Linuxカーネルの機能を実装してみました。 アセンブリ言語？「アセンブリ言語、何それ？」と思ったデジタルネイティブ世代の読者も大勢いることでしょう。CやRustのような高級プログラミング言語では、人間が理解しやすい型や構文などを使った記述形式をコンパイラを使って、CPUが実行できる形式へと翻訳します。一方、アセンブリ言語では、CPUが実行できる形式に限りなく近い記述形式を使います。自分の気持ちをインスタやLINEのメッセージで伝えるのは難しいですよね？アセンブリ言語はCPUへ直接気持ちを
【海外記事紹介】Rust製のターミナルアプリ「Warp」が熱い — AIが入力支援、コマンドやワークフローをチームで共有
11月24日、海外のテクノロジーメディアThe NewStackに、「Warp Is a Power User’s Dream Terminal for Linux」と題した記事が公開された。この記事では、Rustで構築された高速で強力なLinux向けターミナルアプリ「Warp」の特徴と、その操作性、豊富な機能について詳細に解説されている。 以下にその内容を紹介する。 Warpの概要 Warpは、多彩な機能を持つターミナルアプリである。その特徴は、AIの活用やワークフローの共有など、従来のターミナルアプリには見られない革新的な機能だ。以下に主要な特徴を挙げる。 AIが作業をサポートする「Agent Mode」 この機能はAIを活用し、自然言語での指示を理解してユーザーを支援する。たとえば以下のような操作が可能だ。 「Ubuntuを更新したい」と入力すると、手順が表示され、必要なコマンドが自
Rust for Linuxのメンテナーが辞任 — 「技術的でない無意味な議論」に対するフラストレーションが原因
9月3日、海外のテクノロジーメディア「The Register」が、Rust for Linuxプロジェクトのメンテナーであるウェドソン・フィーリョ氏が辞任したことを報じた。 彼は、4年間にわたりプロジェクトを率いてきたが、「技術的でない無意味な議論」に対するフラストレーションが原因で辞任を決意した と、Linuxカーネル開発メーリングリストにて表明した。「私はこのプロジェクトから退く」とフィーリョ氏は宣言し、彼が抱えていたエネルギーと情熱が失われたことを理由に挙げた。「これ以上このような事態に対応するのは無理なので、まだ余力がある人々に任せる方が良い」と述べている。 フィーリョ氏は、RustをLinuxカーネルに統合するプロジェクトを通じて、C言語ベースのLinuxカーネルにメモリ安全性をもたらすことを目指していた。 メモリ安全性のバグは、CやC++で書かれた大規模プロジェクトにおいて深
Rust-for-Linuxが燃え尽き症候群の温床に？「カーネル開発はあまりに政治的」という批判が海外で話題
その中でも特に注目を集めたのは、Linuxコミュニティの複雑さと政治的な障害が、開発者たちを「燃え尽き症候群」に追い込んでいるという指摘だ。 Devault氏は、Linuxコミュニティを「無法地帯」と表現した。全てのサブシステムが独立した領域として存在し、それぞれが1,700人以上のLinuxメンテナーの気まぐれに左右される状況を強調している。彼は、RustをLinuxカーネルに効果的に導入するためには、技術的な作業よりも遥かに多くの政治的調整が必要であり、それがプロジェクトの進行を著しく妨げていると指摘した。 「Rust-for-Linux開発では、1分のコーディング作業に対して99分の政治的作業が必要」とDevault氏は述べ、これが開発者たちに多大なストレスを与え、燃え尽き症候群の温床となっていると警鐘を鳴らしている。彼はまた、フリーソフトウェアの本質である「ドオクラシー（やった者勝
ログイン - ZDNET Japan
■ZDNET Japan Headlineの購読 ZDNET Japanの最新コンテンツをお届けします（平日毎日配信）。また、企業からのお役立ち情報も不定期でお届けしています。[サンプルはこちら] ■ホワイトペーパーライブラリーの利用 製品情報や技術紹介、導入事例など、企業のITご担当者が製品やサービスを購入する際の参考になる資料（PDFなど）をダウンロードしていただけます。 ■企業情報センターの利用 あなたが企業のマーケティング担当者なら、プレスリリース、イベント情報、会社情報、ホワイトペーパーなどを朝日インタラクティブが運営する各サイトに掲載することが出来ます。なおご利用にはAsahi Interactive IDのほか、企業ID登録する手続きが必要です。 ■イベントへの参加 朝日インタラクティブが主催および共催する、業界のキーマンが集うカンファレンスやセミナーにご参加いただけます。
トーバルズ氏、「Linux」カーネル開発状況、「Rust」導入、AIを語る
香港発--Linus Torvalds氏と、その友人でVerizonのオープンソースプログラムオフィスの責任者を務めるDirk Hohndel氏が、The Linux Foundationのカンファレンス「KubeCon + CloudNativeCon + Open Source Summit China」で再び対談し、「Linux」開発とそれに関連する問題について語り合い、聴衆を沸かせた。 両氏はいつものように、Linuxカーネルの現状と今後について語った。具体的には、リリースプロセス、セキュリティ、「Rust」のLinux統合、ソフトウェア開発におけるAIの役割など、Linux開発のさまざまな側面に言及した。 将来のリリースについて考えていたHohndel氏は、Torvalds氏にLinuxカーネルの計画について聞いた。具体的には、現在のカーネルリリースのペースだと、「Linuxカー
Rust製のオープンソースエディタ「Zed」のLinux安定版が公開
オープンソースで開発されているRust製のエディタ「Zed」のLinux対応安定版が公開されました。 主要なLinuxディストリビューションで動作すると説明されています。 Linux when? Linux now. For the last 6 months, our team and our open source community have been working hard to bring Zed to Linux. As of today, we've released our first, official, stable build of Zed on Linux!https://t.co/WbptRrpkQw pic.twitter.com/ijLK9ndGy3 — Zed (@zeddotdev) July 10, 2024 Zedエディタは高速性が特徴、GitHub
LinuxカーネルでのRustサポートが大きく前進 ー 複数バージョンのRustツールチェインに対応可能に
7月1日、LinuxカーネルでのRustサポートを大きく前進させる[パッチが公開された](https://lore.kernel.org/rust-for-linux/20240701183625.665574-1-ojeda@kernel.org/)。 この変更は、Linuxカーネルが複数のRustコンパイラバージョンをサポートすることを可能にする。LinuxカーネルのRust言語サポートは、適切な最小バージョンを持つことを目指し、ほぼすべてのカーネルサイクルでバージョンアップされてきた。 Rust for LinuxのリードデベロッパーであるMiguel Ojeda氏は、複数の「rustc」コンパイラバージョンをターゲットとするRustカーネルコードを開放する一連のパッチを送信した。オヘダはメーリングリストで次のように説明している。 複数のRustツールチェーンバージョンをサポートし、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
様々な軋轢を抱えつつもLinuxカーネルへのRust導入は進む — Rust製のドライバが今後メインラインカーネルに統合される見込み
After Recent Kernel Drama, Rust for Linux Policy Put in Place
「Rustカーネルポリシー」が公開、Rust for Linuxの混乱、開発者間の軋轢の解消に向け一歩前進
Rust for Linux maintainer steps down in frustration
Rust Safety Standard Proposed For The Linux Kernel - Phoronix
RISC-V Now Supports Rust In The Linux Kernel - Phoronix
RISC-V Now Supports Rust In the Linux Kernel - Slashdot