文献

J-GLOBAL ID：201702214581259199   整理番号：17A0914997

相互排除(mutex)核データ構造のためのTMR技術【Powered by NICT】

TMR technique for mutex kernel data structures

著者 (3件)： David Velasco Alejandro (Politecnico di Torino, Italy, Dipartimento di Automatica e Informatica) ,  Montrucchio Bartolomeo (Politecnico di Torino, Italy, Dipartimento di Automatica e Informatica) ,  Rebaudengo Maurizio (Politecnico di Torino, Italy, Dipartimento di Automatica e Informatica)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LATS  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全性が重要な計算機ベースシステムにおける正確なシステム挙動を保証する過渡故障のために困難な課題である。これはUnixベースオペレーティングシステムに属するデータ構造を含むメモリ素子における故障の影響を考慮して実証した。資源とプロセス同期管理に関連した要素は特に重要な,硬化の必要性もカーネルデータ構造。この脆弱性を克服するために,Linuxカーネルのソースコードにおける三重化技術を実装することにより,提案システムのロバスト性を増加を目指している解。実験故障注入解析はその有効性を評価するために相互排除セマフォについて行った。提案した方法は,限られた性能オーバヘッドでシステムにおける単一故障により発生した有害効果を検出し,補正することに成功した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ロバスト性 ,  計算機械 ,  *相互排除 ,  *核データ ,  故障 ,  *データ構造 ,  安全性 ,  記憶素子
準シソーラス用語： 故障注入 ,  ソースコード ,  Linuxカーネル ,  脆弱性 ,  過渡故障 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (4件)： 相互排除 ,  核 ,  データ構造 ,  TMR