エントロピーを増大させないオペレーティングシステムの提案

关于不增加熵的操作系统的提案

• 批准号: 18700036
• 负责人: 石川 広男
• 金额: $ 1.41万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18700036/
• 关键词: オペレーティングシステム; エントロピー; マイクロカーネル

コンピュータが生活基盤として多用されるようになると、その信頼性(Dependability)が非常に重要になる。なぜなら、ある一つのソフトウェア故障が、われわれの生活に重大な支障をきたすからである。本研究は、コンパイラや検証器、また開発手法や検証技法で取り除くことのできないソフトウェアバグを対象とし、オペレーティングシステム技術の研究開発を行った。このようなソフトウェアバグは障害として表出する条件が不確定である。われわれはシステム内で条件が整っていく様子をエントロピーの増大とみなし、エントロピーの増大を防ぐ手法を検討した。第一の手法として、マイクロカーネルアーキテクチャを採用した。これは先行研究によって明らかにされていることだが、マイクロカーネルアーキテクチャはデバイスドライバやファイルシステムなどのサブシステムをユーザ空間で動作させるため、サブシステムの障害によってカーネルが停止することはない。通常、マイクロカーネルアーキテクチャにおいては、各サブシステムを独立のプロセスとして堅牢性を高めることができる。われわれはこの特徴を生かし、ファイルシステムやデバイスドライバなどを独立したプログラムとして開発した。第二の手法として、サブシステムの構築方法を検討した。従来のプログラミング手法はエラーメッセージの処理は前提としていても、障害復旧を前提としていない。つまり、カーネルによって強制的に停止されてしまう。われわれは各サブシステムに障害復旧を前提とするプログラミングを推奨するフレームワークを開発した。

コ ン ピ ュ ー タ が life base plate と し て multi-purpose さ れ る よ う に な る と, そ の 頼 sex (Dependability) が letter very important に に な る. な ぜ な ら, あ る a つ の ソ フ ト ウ ェ ア fault が, わ れ わ れ に の life with significant な barrier を き た す か ら で あ る. は, this study コ ン パ イ ラ や 検 card, ま た open 発 gimmick や 検 card technique で take り except く こ と の で き な い ソ フ ト ウ ェ ア バ グ を like と seaborne し, オ ペ レ ー テ ィ ン グ シ ス テ ム の research open 発 を line っ た. The <s:1> ようなソフトウェアバグ て obstacle と て て indicates that the する condition が is uncertain である. わ れ わ れ は シ ス テ ム が で conditions within the whole っ て い く others child を エ ン ト ロ ピ ー の raised large と み な し, エ ン ト ロ ピ ー の raised large を ぐ prevention technique を beg し 検 た. The first technique involves the use of と て て, キテ ロカ ロカ, ロカ ネ, ア, キテ, チャを and チャを. こ れ は leading research に よ っ て Ming ら か に さ れ て い る こ と だ が, マ イ ク ロ カ ー ネ ル ア ー キ テ ク チ ャ は デ バ イ ス ド ラ イ バ や フ ァ イ ル シ ス テ ム な ど の サ ブ シ ス テ ム を ユ ー ザ space で action さ せ る た め, サ ブ シ ス テ ム の handicap of に よ っ て カ ー ネ ル が stop す る こ と は な い. Usually, マ イ ク ロ カ ー ネ ル ア ー キ テ ク チ ャ に お い て は, various サ ブ シ ス テ ム を independent の プ ロ セ ス と し て fast を high め る こ と が で き る. わ れ わ れ は こ の, 徴 を raw か し, フ ァ イ ル シ ス テ ム や デ バ イ ス ド ラ イ バ な ど を independent し た プ ロ グ ラ ム と し て open 発 し た. The second technique is と て, サブシステム, and the construction method is を検 to discuss た. 従 to の プ ロ グ ラ ミ ン グ gimmick は エ ラ ー メ ッ セ ー ジ の 処 Richard は premise と し て い て も, handicap of instauration を premise と し て い な い. Youdaoplaceholder0 ま ま, カ ネ ネ によって によって によって によって によって forced に stop されて まう まう. わ れ わ れ は each サ ブ シ ス テ ム に handicap of instauration を premise と す る プ ロ グ ラ ミ ン グ を push prize す る フ レ ー ム ワ ー ク を open 発 し た.

项目成果

Micro-reboot support for multi-server operating systems

对多服务器操作系统的微重启支持

• 发表时间: 2007
• 作者: Tetsuya SUZUKI;Takehiro TOKUDA;Hiroo Ishikawa
• 通讯作者: Hiroo Ishikawa