StardustOS: Library operating system for building light-weight Unikernels

2025/12/05 7:56

StardustOS: Library operating system for building light-weight Unikernels

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

Stardust は軽量な unikernel です—アプリケーションと最小限のカーネルを一つの変更不可な仮想マシンイメージに統合したオペレーティング・システムで、ハイパーバイザーが物理リソースを管理します。コアコードベースは小さく C で書かれており(Rust 再実装として Stardust‑oxide が存在)、POSIX 対応ライブラリ、多重コアサポート、およびネットワークドライバを提供します。このプロジェクトは主にスコットランド・セント・アンドレーズ大学で教育と研究のために使用されており、Duster デバッガや 2018–2020 年間の複数の論文では、サーバーレス(Lambda)関数や低遅延サービスにおける unikernel の利用について議論されています。最近のコミット(2025年4月)はメインリポジトリが活発に保守されていることを示し、Stardust‑oxide は 2024 年1月現在も開発中であるため、継続的な関心があることが伺えます。ユーザーにとっては、小型で自己完結型のサービスをデプロイでき、攻撃面が小さくなるというメリットがあります。開発者には、安全かつクラウド対応の VM イメージが提供され、学術研究者には unikernel のパフォーマンスやセキュリティを検証するプラットフォームとして利用できます。

本文

Stardust

Stardust は、クラウドアプリケーションを保護された単一アドレス空間で実行するユニカーネル型オペレーティングシステムです。

  • 物理リソース管理は基盤となるハイパーバイザー(信頼できるプラットフォーム)に委譲します。
  • コードベースが小さく保守性も高い。静的リンクを用いて最小限のカーネルと単一アプリケーション、その必要ライブラリ/ランタイムを結合します。
  • 生成される実行可能バイナリは、変更不可能な単機能VMイメージとしてパッケージ化されます。
  • 複数コア・プリエンプティブスレッド・基本的なブロック/ネットワークドライバをサポートし、POSIX 互換のライブラリを提供します。

Stardust はスタン・アンドリューズ大学で教育と研究に利用されています。


プロジェクト

プロジェクト言語説明
StardustCユニカーネル実装
Stardust‑oxideRustRust で再実装されたユニカーネル
DusterGoXen 上で動作するパラバーチャル化済み C ベースのユニカーネル用小型デバッガ

講演

  • Jaradat, W., Dearle A. & Lewis J.Unikernel Support for Lambda Functions. 第5回 UK System Research Challenges Workshop (2020)。採択講演。
  • Ahmad, K., Dearle A., Lewis J. & Jaradat W.Debugging Unikernel Operating Systems (Slides). 第5回 UK System Research Challenges Workshop (2020)。採択講演。
  • Jaradat, W.On Engineering Unikernels. Systems Seminars Series, University of St Andrews (2018)。講演。
  • Jaradat, W., Dearle A. & Lewis J.Unikernel support for the deployment of light‑weight, self‑contained, and latency‑avoiding services. 第3回 UK System Research Challenges Workshop (2018)。講演。
  • Jaradat, W.Towards Unikernel Support for Distributed Microservices. Adobe Tech Summit, San Francisco (2019)。講演。
  • Jaradat, W., Dearle A. & Lewis J.The Case for Unikernels. 第4回 UK System Research Challenges Workshop (2019)。ライトニングトーク。

資料

  • Jaradat, W., Dearle A. & Lewis J.Unikernel support for the deployment of light‑weight, self‑contained, and latency‑avoiding services. 第3回 UK System Research Challenges Workshop (2018)。
  • McKeogh, F.Stardust Oxide, 博士論文, University of St Andrews (UK)。

リポジトリ

リポジトリ言語説明
stardust
Cユニカーネル実装
stardust-oxide
RustRust での再実装
minimal
C教育用最小カーネル
packages
CStardust 用に移植されたソフトウェアライブラリ
duster
GoXen PV ユニカーネル用デバッガ
rust
Rustrust-lang/rust のフォーク(公開)
xen
CXen 関連リポジトリ

(コミット活動は最新更新日現在のものです。)

同じ日のほかのニュース

一覧に戻る →

2025/12/05 10:05

BMW PHEV: Safety fuse replacement is extremely expensive

## Japanese Translation: --- ## 要約 BMW の高電圧バッテリー安全ヒューズ(1件あたり約 €5 000)は、iBMUCP モジュール全体(約 €1 100+税)を交換する必要があります。iBMUCP は溶接で閉じられ、暗号的にロックされており、サービス前後に車両全体のフラッシュが必須です。ISTA で承認された手順を試みると、盗難防止ロックを作動させてモジュールを消去し、新しいバッテリーパック(約 €6 000+VAT)が必要になるリスクがあります。 BMW は公式 ISTA 診断へのアクセスをブロックし、オーストリアでのワークショップ認定要求を却下しているため、独立した修理はさらに困難です。対照的に、テスラのプロファイザー/ BMS リセットは €11–€50 だけです。 21F2A8 や 21F35B といったエラーコードは高電圧安全問題を示しています。OEM サービスは €4 000+税と見積もられ、iBMUCP の交換作業には通常 24–50 時間がかかり、ツール費用は €25 000 を超えます(ICOM、IMIB、AOS)。 著者のチームは iBMUCP 内にある Infineon TC375 MCU 上の JTAG/DAP 保護を突破する計画です。成功すれば回復が簡素化され、作業時間とツール費用が削減され、不必要なバッテリー交換が減り、自動車修理における CO₂ 排出量も低減します。 この作業を提供しているサービスセンターは、ザグレブ、ベルリン、スロベニア、およびセルビア(EV CLINIC)に所在しています。

2025/12/05 9:03

Trick users and bypass warnings – Modern SVG Clickjacking attacks

## Japanese Translation: ## Summary 本論文は、すべてのSVG `<fe*>` フィルタプリミティブをチェーン化することでチューリング完全なツールセットを構築できることを示し、高度なクリックジャッキングやクロスオリジンデータ外部流出攻撃を可能にします。 - 著者はまず、`feColorMatrix` と `feDisplacementMap` を用いて CSS/SVG で Apple の Liquid Glass 効果を再現し、クロスオリジン iframe 上でも動作することを証明しました。 - プリミティブ(切り取り・タイル化・算術合成・カラー行列変換・ガウシアンぼかし)を組み合わせて、外国オリジンから画像データを読み取るピクセル読取回路を構築しました。 - `feBlend` と `feComposite` を用いて NOT, AND, OR, XOR, NAND, NOR, XNOR の論理ゲートを実装し、SVG フィルタ内で任意のブール演算が可能になりました。 - これらのゲートを利用して、ダイアログ表示状態・読み込み状態・チェックボックス状態・赤文字検出に応じて画像を条件付きで表示するマルチステップクリックジャッキングシナリオ(「Securify」)を構築しました。 - この手法は Google Docs に適用され、攻撃者が「Generate Document」→ CAPTCHA 入力 → 提案選択 → ボタン押下 → 読み込み画面という一連の操作を SVG フィルタ内で自動化します。 - SVG フィルタ内(`feDisplacementMap` と Reed–Solomon エラー訂正表を使用)に QR コードジェネレータを構築し、生成されたコードは外部流出データをエンコードしており、ユーザーにスキャンさせて攻撃者のサーバへ送信されます。 クリックハイジャックや SVG フィルタタイミング攻撃に関する既存研究では、マルチステップロジックとクロスオリジンデータ読取を組み合わせたものはなく、本論文は新規かつ自動化された攻撃ベクターを提示しています。 調査結果は、攻撃者が他のウェブサービスに対して同様のシーケンスを自動化し、マルウェアやフィッシングキャンペーンに埋め込む可能性があることを示唆しています。ユーザーは意図しないクリックとデータ漏洩のリスクにさらされ、サードパーティ iframe を組み込む企業は侵害リスクが高まります。本研究は、ウェブエコシステム全体で SVG フィルタ使用時のオリジン境界保護を強化する必要性を訴えています。

2025/12/05 10:15

NeurIPS 2025 Best Paper Awards

## Japanese Translation: > **概要:** > 本会議の論文賞授与式では、プログラムチェアとデータベース&ベンチマークトラックチェアが指名した委員会により選ばれた優秀な7件の論文が表彰されました。最終承認は総合チェア、新世代チェア、およびアクセシビリティチェアから行われました。賞には、Datasets & Benchmarkトラックから1件を含む4件のベストペーパーと3件のレナーアップが含まれます。 > > *ベストペーパー*: > 1. **「Artificial Hivemind: The Open‑Ended Homogeneity of Language Models」** – Infinity‑Chat(26 Kクエリ、31 K人間アノテーション)とオープンエンドプロンプトの分類法を紹介し、モデル内部での反復とモデル間での均質性を明らかにします。 > 2. **「Gated Attention for Large Language Models」** – SDPA後にヘッド特異的シグモイドゲートを追加すると性能・安定性が向上し、密結合およびMoEトランスフォーマーの注意サンク問題を緩和することを示します。コードはGitHub/HuggingFaceで公開されています。 > 3. **「1000 Layer Networks for Self‑Supervised RL」** – 1024層という深さが目標条件付きタスクで性能を向上させ、他のベースラインを上回ることを実証します。 > 4. **「Why Diffusion Models Don’t Memorize」** – 2つの時間スケール(初期一般化と後期記憶)を特定し、暗黙的な動的正則化が過学習を防ぐことを示します。 > > *レナーアップ*: > - 「Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?」 – RLVRはサンプリング効率を改善するものの、推論能力を拡張しない;蒸留により新たなパターンが導入される可能性があります。 > - 「Optimal Mistake Bounds for Transductive Online Learning」 – Ω(√d) の下限と O(√d) の上限を証明し、以前の結果を指数関数的に改善し、転移学習と標準オンライン学習との間に二次的ギャップがあることを示します。 > - 「Superposition Yields Robust Neural Scaling」 – 表現の重ね合わせがニューラルスケーリング法則を駆動することを示し、強い重ね合わせは多様な周波数分布にわたってモデル次元に逆比例して損失を縮小します。 > > これらの賞は拡散理論、自律学習RL、LLMの注意メカニズム、LLMにおける推論、オンライン学習理論、ニューラルスケーリング法則、および言語モデル多様性のベンチマーク手法を網羅しています。これらは会議が実証的ブレイクスルーと理論的洞察の両方にコミットしていることを示しています。 > > この改訂版概要は、Key Points List のすべての主要ポイントを忠実に列挙し、裏付けのない推測を避け、読み手に優しい明確なオーバービューを提供します。