Tenderにおけるプレート機能を利用した資源の永続化機構の設計(資源管理とデバッギングツール)

概要

論文の詳細を見る
オペレーティングシステム(OS)には、プロセス管理、メモリ管理などの様々な機能がある。また、これらの機能を提供するために、揮発性メモリ上に様々な管理情報を保持している。しかし、揮発性メモリ上のデータは、計算機の電源が切断すると消失する。このため、処理途中に計算機が緊急停止した場合、再び計算機の電源を投入した時に、計算機の停止以前に行っていた処理を継続できないという問題がある。この問題に対する対処として、OSの管理情報を永続化する方法がある。我々が開発しているTenderオペレーティングシステムでは、OSが制御し管理する対象の単位を「資源」として、分離し独立化している。つまり、資源を永続化することにより、OSの管理情報を永続化することにより、OSの管理情報を永続化できる。我々は、仮想記憶空間上のデータを永続化するプレート機能を提案し、Tenderに実現した。本論文では、プレート機能を利用してTenderにおける資源を永続化する機構を提案し、その設計について述べる。
2003-05-08