オペレーティングシステムカーネルにおけるエラー伝播の調査

• Item type: SIG Technical Reports(1)
• 公開日: 2011-04-06
• タイトル: オペレーティングシステムカーネルにおけるエラー伝播の調査
• タイトル / 言語: en
• タイトル: Error Propagation on a Commodity Operating System Kernel
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 障害検知
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶應大学
• 著者所属: 慶應大学／JST CREST
• 著者所属: 慶應大学
• 著者所属: 慶應大学／JST CREST
• 著者所属(英): en
• 著者所属(英): Keio University
• 著者所属(英): en
• 著者所属(英): Keio University / JST CREST
• 著者所属(英): en
• 著者所属(英): Keio University
• 著者所属(英): en
• 著者所属(英): Keio University / JST CREST
• 著者名: 吉村, 剛; 山田, 浩史; 吉田, 哲也; 河野, 健二
• 著者名(英): Takeshi, Yoshimura; Hiroshi, Yamada; Tetsuya, Yoshida; Kenji, Kono
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: コンピュータには高い信頼性が求められている．信頼性を脅かす要因としてオペレーティングシステムのカーネルフェイラがある．カーネルフェイラが発生すると，カーネル上で動作している全てのアプリケーションの動作異常につながり，サービス提供者やユーザに大きな損害を与えてしまう．カーネルフェイラの原因はソフトウェアやハードウェアにおけるバグであり，こうしたバグを開発段階で除去することは難しい．そのため，カーネルフェイラが運用時に発生したらできるだけ早くフェイラから復旧する方法が求められている．カーネルフェイラから素早く復旧する手法を検討するために，本研究はバグの発生からフェイラに至る過程で発生するエラー伝播を調査する．実用 OS のバグの調査結果に基づいて作成されたフォールトインジェクタを利用して，Linux カーネルに対してフォールトインジェクションを行い，その結果発生するエラー伝播を KDB によって追跡した．調査した結果，フォールトインジェクション 500 回に対してエラーを 150 回，エラー伝播を 18 回確認した．エラー伝播はプロセス間では発生しにくく，バグの挿入された関数内で収束する確率が非常に高いことを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Kernel failures have a considerable impact on the overall availability of software systems. Even if the applications running on the operating system are highly available, a bug inside the kernel may result in a failure of the entire software stack. However, modern operating systems are far from bug-free. Guided by this fact, we need to recover from kernel failures as quickly as possible when they occur in a service operation. To explore the quick recovery mechanism, in this work, we investigate error propagation of kernel bugs in a commodity operating system kernel. In our investigation, we use a fault injector that is implemented based on a survey of commercial operating system bugs. We inject faults into Linux 2.6.18.8 with the injector, and trace error propagation with KDB. Our experimental result shows that 150 of 500 faults make the kernel error, which means that almost all the error is not propagated. Our result also shows that 18 of 150 errors are propagated, and the errors are not propagated from the faulted process to the other.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10444176
• 書誌情報: 研究報告システムソフトウェアと オペレーティング・システム（OS）; 巻 2011-OS-117, 号 6, p. 1-8, 発行日 2011-04-06
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会