文献

J-GLOBAL ID：202202263733170209   整理番号：22A1062462

検証プログラムは,ポスト検証マージングによるカーネル拡張を最適化する【JST・京大機械翻訳】

Verified programs can party optimizing kernel extensions via post-verification merging

著者 (6件)： Kuo Hsuan-Chi (University of Illinois at Urbana-Champaign) ,  Chen Kai-Hsun (University of Illinois at Urbana-Champaign) ,  Lu Yicheng (University of Illinois at Urbana-Champaign) ,  Williams Dan (Virginia Tech) ,  Mohan Sibin (Oregon State University) ,  Xu Tianyin (University of Illinois at Urbana-Champaign)
資料名： ACM Proceedings  (ACM Proceedings)
号： EuroSys ’22  ページ： 283-299  発行年： 2022年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 運転システム(OS)拡張はこれまでより一般的である。例えば,Linux BPFは,ユーザプログラムをカーネルにダウンロードできる「スーパーパワー」として市場化され,カーネルフックポイントで安全で実行されることを検証した。従って,BPF拡張は高性能を持ち,追跡とフィルタリングのための性能クリティカルパスにしばしば配置される。しかし,BPF拡張プログラムは共有カーネル環境において実行され,既に個別に検証されているが,それらはしばしばチェーンにおいて独立に実行される。チェーンパターンは,セキュリティ緩和(例えば,Spectre),ループ,およびメモリアクセスによってペナルティされた間接ジャンプのために,大きな性能オーバヘッドを有することを観測した。本論文では,懸念の分離について論じた。検証要求--BPF拡張プログラムからのBPF拡張の実行を,各BPF拡張プログラムが個別に検証され,共有カーネルに負荷された後に,集合的に最適化できることを提案した。間接ジャンプを直接ジャンプ,非回転ループに変換し,メモリアクセスを節約し,セキュリティや柔軟性を損失せずに,BPFプログラムの連鎖を動的かつ自動的に併合するフレームワークであるKFを用いた。KFは,1)複数の主により設置されたBPFプログラムを併合し,2)モジュール型と分離型に維持し,3)異なる時点に設置し,4)BPFテイルコールを介してより小さな検証可能なプログラムに分割する。KFは,BPFチェーン実行の85%の性能改善と,既存のBPF使用事例(システムのSeccomp BPFフィルタ)に対するアプリケーション性能改善の7%を示した。それはより長い鎖に対してより重要な利点を達成した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *最適化 ,  *マージング ,  チェーン ,  フィルタリング ,  ループ ,  応用プログラム ,  フック ,  接続 ,  ペナルティ ,  セキュリティ ,  クリニカルパス ,  Linux ,  フレームワーク【ソフトウェア開発】 ,  サイバー攻撃
準シソーラス用語： メモリアクセス ,  オーバヘッド , 【Automatic Indexing@JST】

著者キーワード (7件)： BPF ,  eBPF ,  間接ジャンプ ,  カーネル拡張 ,  レプトリン ,  仕様書 ,  一過性攻撃

分類 (1件)： オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (5件)： 検証 ,  マージング ,  カーネル ,  拡張 ,  最適化