文献

J-GLOBAL ID：201502219746536749   整理番号：15A1172966

カーネル拡張インタフェイスのための鉱山配列依存規則と違反を検出するための方法【Powered by NICT】

A Method to Mine Sequence Dependent Rules and Detect Violations for Kernel Extension Interfaces

著者 (3件)： Liu Huqiu (Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing) ,  Bai Jiaju (Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing) ,  Wang Yuping (Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing)
資料名： Jisuanji Xuebao  (Jisuanji Xuebao)
巻： 38  号： 5  ページ： 1007-1019  発行年： 2015年 
JST資料番号： C2531A  ISSN： 0254-4164  CODEN： JIXUDT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： カーネル拡張機能は,界面の形で運転者に提供し,デバイスと資源を管理した。はこれらの界面における多くの配列依存規則であり,スピンロックはロックされる前に初期化する必要があり,非同期のような装置を調べるための割り当て記憶デバイスを除去するときに放出されるべきである。しかし,ドライバ開発者,無知または無認識界面のこれらの規則を使用することのために,多くの違反は,起きる可能性があり,これは,運転者の信頼性に有害であった。配列依存規則をマイニングとカーネル拡張界面(SD Miner)のための違反を検出する方法を提示した。SD Minerは,運転者の構造を,鉱山及び抽出物配列依存規則に統計的方法を利用し,抽出されたルールを有する運転者のソースコードに違反を検出する。SD Minerは,Linuxの二つのバージョン2.6)38と3.10.10をチェックし,2.6 38で検出された64バグは3.10.10から抽出された依存規則3.10.10.220配列に固定されており,756違反も検出された。鉱山規則に約5分を要するだけで,Linux3.10.10の違反を検出した。選択された50匹の虫は開発者に報告されており,20バグ(25回答)が確認されている。全ての実験評価結果は,SD Minerはカーネル拡張界面に対する配列依存規則をマイニングできることを示し,それはまた運転者のソースコードからの実際の違反を検出することができた。に加えて,SD Minerの助けを借りて,プログラマは,運転者の信頼性を改善し,運転者に特別な記法を添加せずにできる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： Linux ,  界面 ,  インタフェイス ,  ソフトウェア障害 ,  運転者 ,  統計的方法 ,  *鉱山 ,  記憶装置 ,  プログラマ ,  信頼性 ,  *穀粒
準シソーラス用語： ソースコード ,  抽出物 , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： カーネル ,  拡張 ,  インタフェイス ,  鉱山 ,  規則