文献

J-GLOBAL ID：202002217168057573   整理番号：20A1791873

Linuxカーネルにおけるスリープ-イン-アトム-コンテキストバグの効果的検出【JST・京大機械翻訳】

Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel

著者 (3件)： Bai Jia-Ju (Tsinghua University, Beijing, China) ,  Lawall Julia (Sorbonne University/Inria/LIP6, Paris, France) ,  Hu Shi-Min (Tsinghua University, Beijing, China)
資料名： ACM Transactions on Computer Systems  (ACM Transactions on Computer Systems)
巻： 36  号： 4  ページ： 1-30  発行年： 2020年 
JST資料番号： B0908C  ISSN： 0734-2071  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 原子コンテキストは,カーネルコードがCPUコアを独占するLinuxカーネルの実行状態である。この状態では,Linuxカーネルは,そうでなければ,システムハングまたは衝突が発生するかもしれないので,睡眠できない操作を実行するだけである。この種類の同時性バグを,スリープイン原子文脈(SAC)バグとして参照する。実際に,SACバグは,それらがすべての実行において問題を引き起こさないので,見つけるのが難しい。本論文では,LinuxカーネルにおけるSACバグを効果的に検出するために,DSACと名付けた実用的な静的アプローチを提案した。DSACは3つの重要な技術を使用する。(1)原子文脈で実行されるコードを同定するための要約ベース分析,(2)関数ポインタにより参照された関数セットを同定するための接続ベースエイリア解析,(3)反復レポートと偽バグをフィルタリングする経路チェック法。Linux4.17上のDSACを評価し,1,159SACバグを発見した。すべてのバグを手動でチェックし,1,068のバグが実であることを発見した。実際のバグの300をランダムに選択し,それらをカーネル開発者に送付した。これらのバグの220が確認され,115のバグを固定しているパッチの51が適用された。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： オペレーティングシステム ,  フィルタリング ,  同時性 ,  *ソフトウェア障害 ,  ポインタ ,  CPUコア ,  静的コード解析
準シソーラス用語： 静的解析 ,  *Linuxカーネル , 【Automatic Indexing@JST】

著者キーワード (4件)： 静的解析 ,  原子コンテキスト ,  バグ検出 ,  オペレーティングシステム

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

タイトルに関連する用語 (5件)： Linuxカーネル ,  スリープ ,  アトム ,  コンテキスト ,  バグ