論文の概要: Identifying Linux Kernel Instability Due to Poor RCU Synchronization
- arxiv url: http://arxiv.org/abs/2511.00237v1
- Date: Fri, 31 Oct 2025 20:14:00 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-05 16:37:26.685837
- Title: Identifying Linux Kernel Instability Due to Poor RCU Synchronization
- Title(参考訳): 貧弱なRCU同期によるLinuxカーネル不安定性の同定
- Authors: Oisin O Sullivan, Colin Flanagan, Eoin O Connell,
- Abstract要約: Read-Copy-Update (RCU)はLinuxカーネルで共有データ構造への同時アクセスを管理するために広く使われている。
本稿では,ハッシュテーブル更新時の明示的なsyncronize_rcu()呼び出しの省略から生じるドライバレベルの同期問題について検討する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Read-Copy-Update (RCU) is widely used in the Linux kernel to manage concurrent access to shared data structures.However, improper synchronization when removing RCU protected hash table entries can lead to stale pointers, inconsistent lookups, and critical use after free (UAF) vulnerabilities. This paper investigates a driver-level synchronization issue arising from the omission of explicit synchronize_rcu() calls during hash table updates, using a discovered weakness in the Intel ICE network drivers Virtual Function (VF) management. Previous kernel vulnerabilities, such as a bug in the Reliable Datagram Sockets (RDS) subsystem, show how improper RCU synchronization can directly cause kernel crashes. Experimental results demonstrate that removing VF entries without proper synchronization leaves transient stale entries, delays memory reclamation, and results in significant memory fragmentation under rapid insert/delete workloads. RCU hash tables are widely deployed in Linux kernel subsystems such as networking, virtualization, and file systems; improper synchronization can cause memory fragmentation, kernel instability, and out-of-memory (OOM) conditions. Mitigations are proposed, recommending explicit insertion of synchronize_rcu() calls to ensure timely and safe memory reclamation. These findings reinforce established best practices for RCU synchronization, highlighting their importance for maintaining kernel stability and memory safety. Keywords: RCU, kernel synchronization, hash tables, ICE driver, memory fragmentation, use-after-free
- Abstract(参考訳): Read-Copy-Update (RCU)は、共有データ構造への同時アクセスを管理するためにLinuxカーネルで広く使用されているが、RCUが保護するハッシュテーブルのエントリを削除する際に不適切な同期は、古いポインタ、一貫性のないルックアップ、フリー(UAF)脆弱性後のクリティカルな使用につながる可能性がある。
本稿では,Intel ICE ネットワークドライバ VF (Virtual Function) 管理において,ハッシュテーブル更新時の明示的なsyncronize_rcu() コールの欠落に起因するドライバレベルの同期問題について検討する。
Reliable Datagram Sockets(RDS)サブシステムのバグのような以前のカーネル脆弱性は、不適切なRCU同期がカーネルのクラッシュを直接引き起こす可能性があることを示している。
実験の結果、適切な同期のないVFエントリの削除、メモリの再利用の遅延、高速な挿入/削除処理によるメモリ断片化が示されている。
RCUハッシュテーブルは、ネットワーク、仮想化、ファイルシステムなどのLinuxカーネルサブシステムに広くデプロイされている。
タイムリーで安全なメモリ再利用を保証するために、syncronize_rcu()コールを明示的に挿入することを推奨する緩和策が提案されている。
これらの知見は、RCU同期のためのベストプラクティスを確立し、カーネルの安定性とメモリ安全性を維持することの重要性を強調している。
キーワード:RCU、カーネル同期、ハッシュテーブル、ICEドライバ、メモリ断片化、使用後フリー
関連論文リスト
- Security Audit of intel ICE Driver for e810 Network Interface Card [0.0]
本研究では,E810イーサネットコントローラを用いたIntel ICEドライバのセキュリティ解析を行った。
静的解析、ファズテスト、タイミングに基づくサイドチャネル評価を採用して、エクスプロイトに対する評価を行う。
論文 参考訳(メタデータ) (2025-10-31T20:20:10Z) - CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation [51.18863297461463]
CRUST-Benchは100のCリポジトリのデータセットで、それぞれが安全なRustとテストケースで手書きのインターフェースとペアリングされている。
我々は、このタスクで最先端の大規模言語モデル(LLM)を評価し、安全で慣用的なRust生成が依然として難しい問題であることを確認した。
最高のパフォーマンスモデルであるOpenAI o1は、ワンショット設定で15タスクしか解決できない。
論文 参考訳(メタデータ) (2025-04-21T17:33:33Z) - BLACKOUT: Data-Oblivious Computation with Blinded Capabilities [9.217491992865087]
メモリセーフなハードウェアをデータ公開プログラミング能力で拡張することで、メモリセーフ性とサイドチャネル耐性に対処する。
本稿では,CHERI-Tooobaプロセッサを用いたFPGAソフトコア上でのブラインド機能を実現するBLACKOUTを提案する。
論文 参考訳(メタデータ) (2025-04-20T15:25:59Z) - Write+Sync: Software Cache Write Covert Channels Exploiting Memory-disk Synchronization [6.6639205139634115]
SynC+SYNCは、メモリディスク同期プリミティブを利用する攻撃のグループである。
本稿では,SynC+SYNCの原理を2つの書き込み被覆チャネルプロトコルの実装を通じて述べる。
その結果、平均レートは2.036 Kb/s(ピークレートは14.762 Kb/s)、エラーレートは0%であることがわかった。
論文 参考訳(メタデータ) (2023-12-08T15:11:26Z) - Recurrent Dynamic Embedding for Video Object Segmentation [54.52527157232795]
一定サイズのメモリバンクを構築するためにRDE(Recurrent Dynamic Embedding)を提案する。
本稿では, SAM を長時間の動画でより堅牢にするため, トレーニング段階での無バイアス誘導損失を提案する。
また、メモリバンクの異なる品質のマスクの埋め込みをネットワークが修復できるように、新たな自己補正戦略を設計する。
論文 参考訳(メタデータ) (2022-05-08T02:24:43Z) - Dual Cluster Contrastive learning for Person Re-Identification [78.42770787790532]
私たちはDual Cluster Contrastive Learning(DCC)という統合クラスタコントラストフレームワークを定式化します。
DCCは、個々のメモリバンクとセントロイドクラスタメモリバンクの2種類のメモリバンクを維持している。
教師なしまたは監督されていない人物のReIDに容易に適用できる。
論文 参考訳(メタデータ) (2021-12-09T02:43:25Z) - Federated Doubly Stochastic Kernel Learning for Vertically Partitioned
Data [93.76907759950608]
本稿では,垂直分割データに対する2倍のカーネル学習アルゴリズムを提案する。
本稿では,FDSKLがカーネルを扱う場合,最先端のフェデレーション学習手法よりもはるかに高速であることを示す。
論文 参考訳(メタデータ) (2020-08-14T05:46:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。