JPH11259285A - オペレーティングシステムのモジュール入れ替え方法及びモジュールの入れ替えを作う処理装置 - Google Patents

Abstract

(57)【要約】 【課題】論理記憶をサポートするオペレーティングシス
テム（ＯＳ）において、メモリ管理モジュールを含む、
モジュールの入れ替えを実現する。 【解決手段】フレームワークと複数のモジュールから構
成されるオペレーティングシステム（ＯＳ）において、
オンラインでモジュールを入れ替えるＯＳであってＯＳ
は論理アドレス空間を持ち、さらに、物理アドレスと論
理アドレスが等しい固定物理空間を持ち、この固定物理
空間にフレームワークと、引継ぎバッファを持ち、この
引継ぎバッファにより、入れ替えられる旧モジュールと
新モジュール間で、情報を引継ぐ。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】論理空間をサポートするオペ
レーティングシステム（ＯＳ）の、モジュールごとのオ
ンライン入れ替えに関する。特に、メモリ管理モジュー
ルに関する。

【０００２】

【従来の技術】産業分野や組み込みシステムにおいて、
ＯＳのオンラインでの部分的入れ替え機能が重要であ
る。オンライン入れ替えが可能であれば、システムのダ
ウンタイムを短縮できる。例えば、ＯＳのバージョンア
ップ，バグフィックスのために、システムを停止する必
要がなくなる。

【０００３】また、ＯＳのメモリ容量の削減も可能にな
る。例えば、トレース機能について考える。通常時はト
レース機能のないＯＳを動作させておく。トラブルが発
生した場合は、ＯＳの一部を、トレース機能サポート版
に変更し、動作をトレースする。このように、トレース
用のメモリ容量を、最小に抑えることができる。

【０００４】プログラムの変更および追加を行う運用中
プログラムの更新方式については特開平7−319683 号に
記載されている。

【０００５】ここでは、制御部が旧ロードモジュールを
実行している間に、リロケータブル形式の新ロードモジ
ュールを主記憶装置に格納し、旧ロードモジュールと新
ロードモジュールのアドレスリンケージをとる。プログ
ラム更新時は旧ロードモジュールへの他モジュールから
呼出しを抑止し、旧ロードモジュールの先頭番地を新ロ
ードモジュールへのジャンプ命令に書き換え、呼出し抑
止を解除する。プログラム更新復帰時は、旧ロードモジ
ュールへの他のロードモジュールからの呼出しを抑止
し、旧ロードモジュールの先頭番地をプログラム更新前
の内容に書き換え呼出し抑止を解除するものである。

【０００６】

【発明が解決しようとする課題】現在、組み込みシステ
ムなど小型のＯＳにおいても、論理空間をサポートする
メモリ管理をもつようになっている。論理空間を使用す
ると、外部フラグメンテーション問題を解決することが
でき、メモリの使用効率を上げることができる。また、
メモリ保護も強化できる。そこで、メモリ管理モジュー
ルという１モジュールとして実現している。

【０００７】しかし、従来例では、メモリ管理をモジュ
ールとして実現しても、該モジュールを、オンライン入
れ替えすることができないという問題点があった。理由
を以下に示す。メモリ管理モジュールは、論理アドレス
と物理アドレスの対応を記録するために、ページテーブ
ルを持つ。しかし、新モジュール１４３に新たに切り替
わる瞬間は、新モジュールの内部データは初期化状態で
ある。また、新モジュールのページテーブルも作成され
ていない。そのため、新モジュールは、論理空間上の旧
モジュールの内部データを参照することができずに、現
在のマッピング情報を全て失う。そのため、ＯＳは、正
常な動作を継続することが不可能となる。

【０００８】上記問題があるため、従来のＯＳでは、メ
モリ管理モジュールの入れ替えはサポートしていなかっ
た。しかし、メモリ管理モジュールのメモリ容量は、大
きな割合をしめる。該モジュールの、オンライン入れ替
えが実現すれば、ＯＳのダウンタイム短縮のために効果
がある。

【０００９】本発明は、上記の点に鑑みて旧モジュール
から新モジュールへデータの引継ぎを可能にし、オンラ
インで旧モジュールから新モジュールへの入れ替えを可
能にするモジュール入れ替え方法及び装置を提供するこ
とを目的とする。

【００１０】

【課題を解決するための手段】上記目的は複数のモジュ
ールと、プレームワークとモジュールごとの論理アドレ
スと物理アドレスとを保持するページテーブルと引継ぎ
バッファとを有し、論理空間と物理空間が等しい固定物
理空間から構成されるオペレーティングシステムにおけ
るモジュールの入れ替え方法であって、該オペレーティ
ングシステムは、モジュールごとの論理アドレスと物理
アドレスの対応を管理するページテーブルと、該ページ
テーブルを管理するメモリ管理モジュールを有し、入れ
替え前の旧メモリ管理モジュールの該ページテーブルか
ら、論理アドレスと物理アドレスの対応を該引継ぎバッ
ファに格納し、入れ替え後の新メモリ管理モジュール
が、論理アドレスと物理アドレスの対応を該引継ぎバッ
ファから読み込み、該新メモリ管理モジュールの該ペー
ジテーブルを作成することにより達成できる。

【００１１】

【発明の実施の形態】まず、図３に、本実施例を計算機
上で実現したときの構成例を示す。

【００１２】図３では、フレームワークとモジュールに
より構成されたＯＳが動作するシステムを示している。
１００は、計算機であり、その内部装置として、中央処
理装置（ＣＰＵ）１１０，主記憶装置１１１，入出力装
置（Ｉ／Ｏ）１１２があり、ＣＰＵバス１２０によって
接続されている。入出力装置（Ｉ／Ｏ）１１２には、デ
ィスク装置１１３，端末１１４，ネットワーク装置１１
５が接続される。CPU110内部には、ＴＬＢ（Translatio
n Look-aside Buffer)１１６が存在する。主記憶装置１
１１上には、ＯＳ１３０、複数のタスク１３１〜１３２
が存在し、このタスク、ＯＳはCPU110により実行され
る。ＯＳ１３０は、フレームワーク１４０と複数のモジ
ュール１４１〜１４４から構成される。旧モジュール１
４２を、新モジュール１４３に入れ替える時は、フレー
ムワーク１４０のモジュール切り替え処理部１６０が切
り替え処理を行う。

【００１３】図１に、主記憶装置上のＯＳ１３０の詳細
な構成を示す。ＯＳ１３０には、フレームワーク１４
０，旧モジュール１４２，新モジュール１４３，引継ぎ
バッファ１４７，ページテーブル１４５が存在する。フ
レームワーク１４０は、モジュールテーブル１５０，モ
ジュール切り替え処理部１６０を有する。モジュールテ
ーブル１５０は、旧モジュール１４２，新モジュール１
４３の各ルーチン１７０，２００へのエントリアドレス
を保持する。モジュールテーブル１５０については図５
を用いて後に詳細に述べている。モジュール切り替え処
理部１６０は、モジュール処理を行うプログラムであ
る。モジュール切り替え処理部１６０は、ネットワーク
装置１１５、またはディスク装置１１３から、新モジュ
ール１４３のオブジェクトをリードし、それを、主記憶
装置１１１の旧モジュール１４２と置き換える。このモ
ジュール切り替え処理部１６０は、端末１１４からのモ
ジュール入れ替えコマンド入力、または、ネットワーク
装置１１５からのモジュール入れ替えメッセージ受信に
より起動される。本実施例では、端末１１４，ネットワ
ーク装置１１５のいずれかからの起動後、モジュール切
り替え処理部１６０により、新モジュール１４３のマッ
ピングが正常に終了したものとして説明する。また、マ
ッピングと同時に、モジュール切り替え処理部１６０の
内部バッファ中には、モジュールのエントリアドレスが
記述されたエントリテーブル２３０があり、正しく記録
されたものとして説明する。引継ぎバッファ１４７は、
旧モジュール１４２と新モジュール１４３間で、データ
を引継ぐときのバッファとして使用する。データの内容
は、モジュールの種別に依存するので、引継ぎバッファ
のきまった構造体などはない。

【００１４】旧モジュール１４２は、ルーチン１７０，
引継ぎバッファ作成ルーチン１８０，内部データ１９０
を有する。ルーチン１７０は、数種類の異なる用途の関
数からなる。これは、図４で詳細に説明する。内部デー
タは、モジュール内部の大域変数や、動的に割り当てら
れたメモリ等がある。引継ぎバッファ作成ルーチン１８
０は、内部データ１９０をもとにして、新モジュール１
４３に引継ぐべきデータを作成するプログラムである。
作成したデータは、引継ぎバッファ１４７に記録する。

【００１５】新モジュール１４３は、ルーチン２００，
引継ぎバッファ反映ルーチン２１０，内部データ２２０
を有する。前述のとおり、新モジュール１４３は、モジ
ュール切り替え処理部１６０により、あらかじめマッピ
ングされている。ルーチン２００，内部データ２２０
は、ルーチン１７０，内部データ１９０のバグフィック
スされたプログラム、または、バージョンアップされた
プログラムである。引継ぎバッファ反映ルーチン２１０
は、引継ぎバッファ１４７を参照し、内部データ２２０
に反映するプログラムである。なお、モジュールは、引
継ぎバッファ作成ルーチン１８０，引継ぎバッファ反映
ルーチン２１０の両方を持つが、図１では、その一方の
みを有している場合を示している。

【００１６】図９に、固定物理空間２４１の説明図を示
す。固定物理空間２４１とは、論理アドレスと物理アド
レスが等しく、ＴＬＢを参照せずにアクセス可能な空間
のことである。通常の論理空間２４２と比較し、固定物
理空間２４１では、空間のプログラムは、メモリ管理モ
ジュールの動作や、ＴＬＢに左右されずに動作可能であ
るという特徴がある。そのため、固定物理空間２４１に
は、フレームワーク１４０，引継ぎバッファ１４７が配
置される。これにより、旧モジュール１４２を入れ替え
た場合でも、新モジュール１４３から、引継ぎバッファ
１４７の参照が可能になる。しかし、固定物理空間２４
１は、通常の論理空間２４２に比べ、外部フラグメント
が発生しやすく、ＯＳ１３０のメモリ容量が大きくなる
という問題点がある。そのため、通常のモジュール，タ
スクは、すべて通常の論理空間２４２にマッピングされ
る。例外的に、ページテーブル１４５は、モジュールに
より保持されるにもかからず、固定物理空間２４１に配
置される。なぜならば、ページテーブルは、アドレス変
換を行わずにアクセスする必要があるためである。

【００１７】図４に、旧モジュール１４２のルーチン１
７０の詳細を示す。ルーチン１７０は、システムコール
１７１，初期化ルーチン１７２，停止ルーチン１７３，
内部ルーチン１７４，割り込みハンドラ１７５を有す
る。システムコール１７１は、ＯＳ１３０のシステムコ
ールに１対１に対応するプログラムである。初期化ルー
チン１７２は、モジュール入れ替え時に、新モジュール
１４３を初期化するためのプログラムである。旧モジュ
ールの内部データ１９０の初期化、関連するハードウェ
アの初期化を行う。旧モジュール１４２の内部データ１
９０に旧モジュール１４２の内部データを反映し、か
つ、引継ぎバッファ１４７に引継ぎ情報がセットされて
いる時、初期化ルーチン１７２は、引継ぎバッファ反映
ルーチン181をコールする。停止ルーチン１７３は、モ
ジュール入れ替え時に、モジュール内で動的に割り当て
られた資源の開放、関連するハードウェアの停止を行う
プログラムである。新モジュール１４３に旧モジュール
１４２の内部データを引継がなければならない時は、停
止ルーチン１７３は引継ぎバッファ作成ルーチン１８０
をコールする。割り込みハンドラ１７５は、割り込み処
理用プログラムである。内部ルーチン１７４は、これら
に当てはまらないプログラムで、他のモジュール例えば
新モジュール１４３やフレームワーク１４０からコール
されるプログラムである。

【００１８】図５に、モジュールテーブル１５０の構成
を示す。図４に示した各ルーチンに対応して、テーブル
が存在し、システムコールテーブル１５１，初期化ルー
チンテーブル１５２，停止ルーチンテーブル１５３，割
り込みハンドラテーブル154,内部ルーチンテーブル１５
５を有する。各テーブル１５１〜１５５には、対応する
ルーチンのエントリアドレスが記入される。各テーブル
１５１〜１５５の先頭からのエントリ数は、それぞれ一
意に決定されている。システムコールテーブル１５１
は、各エントリアドレスが、システムコール番号順に並
べられる。システムコール番号とは、システムコールに
一意に与えられる番号である。初期化ルーチンテーブル
１５２，停止ルーチンテーブル１５３は、モジュール番
号順に並べられる。モジュール番号は、ＯＳ内で一意に
モジュールに与えられる番号である。割り込みハンドラ
テーブル１５４は、割り込み要因番号順に、各エントリ
アドレスが並べられる。内部ルーチンテーブル１５５
は、内部ルーチン番号順にエントリが並べられる。ルー
チン番号とは、上位４ビットがモジュール番号、下位４
ビットがモジュールで一意のモジュールルーチン番号と
定義される数である。以下に、このモジュールテーブル
を用いた、システムコール手順を示す。まず、タスクが
システムコールを実行した場合、フレームワーク１４０
は、システムコールをシステムコール番号に変換する。
その後、システムコールテーブル１５１を走査する。シ
ステムコール番号のエントリにエントリアドレスが存在
すれば、そのモジュールにジャンプして処理を行う。初
期化ルーチン，停止ルーチン，割り込みハンドラ，内部
ルーチンのコールも同様である。

【００１９】図８に、エントリテーブル２３０の構成を
示す。前述のように、エントリテーブル２３０は、事前
にモジュール入れ替え処理部１６０にリードされてい
る。エントリテーブルの各１要素が、各ルーチンのエン
トリ情報を示す。種別２３１は、「初期化ルーチン」，
「停止ルーチン」，「システムコール」，「割り込みル
ーチン」，「内部ルーチン」のいずれであるかを示す。
エントリ番号２３２は、システムコール番号，モジュー
ル番号，割り込み要因番号，ルーチン番号のいずれかを
示す。オフセット２３３は、モジュールの先頭から、ル
ーチンの先頭までのオフセットを示す。これに、モジュ
ール先頭がマッピングされた論理アドレスを加算すれ
ば、ルーチンのエントリアドレスが求まる。

【００２０】本実施例では、メモリ管理を行うモジュー
ルのオンライン入れ替えについて示すので、メモリ管理
について詳細なモジュール構成について、以下に示す。

【００２１】旧モジュール１４２は、物理メモリの空き
管理，物理メモリの論理アドレスへのマッピング管理，
ＴＬＢミス例外時などの例外処理を行う。この管理を行
うため、旧モジュールは、内部データ１９０内に、物理
メモリ管理テーブル１９１，ページテーブル１４５を有
する。

【００２２】図７に旧モジュール１４２の内部データ１
９０の構成を示す。これは、使用中の物理メモリの先頭
アドレスである物理アドレスと、メモリサイズ識別子を
記憶する物理メモリ管理テーブル１９１を有する。新た
に物理メモリを他のモジュールに与えるときは、空き物
理メモリを物理メモリ管理テーブルから検索し、その先
頭アドレスとサイズを物理メモリ管理テーブルに記録す
る。これを、「p_malloc」という関数として、旧モジュ
ール１４２は、必ず定義するものとする。「p_malloc」
は、内部ルーチン１７４とし、モジュールテーブル１５
０を介して、他のモジュールとフレームワーク１４０か
ら自由にコールできるものとする。以上から、物理メモ
リ管理テーブル１９１は、「p_malloc」をコールするこ
とで、作成されるようになる。

【００２３】図１３に、ページテーブル１４５の構造を
示す。ページテーブル１４５は、ページサイズごとに、
物理アドレスと論理アドレスの対応と、そのページの保
護属性を保持する。モジュール入れ替え時に、この情報
を保持しなければＯＳは正常に動作できなくなる。その
ため、この情報を引継ぎバッファ１４７に保存する必要
がある。

【００２４】図６に、引継ぎバッファ１４７の構成を示
す。論理アドレス，物理アドレス，保護情報，メモリサ
イズ，識別子を記録する。データ内容，データ並びは、
ページテーブル１４５と物理メモリ，管理テーブルと同
じであるが、必ずしも同一である必要はない。ただし、
旧モジュール１４２と新モジュール１４３が共有して引
継ぎバッファ１４７を使用するので、統一されたデータ
フォーマットである必要がある。

【００２５】メモリ管理を行うモジュールでは、旧モジ
ュール１４２と、新モジュール143でページテーブルの
形式が異なることがありうる。そこで、引継ぎバッファ
147から、ページテーブル１４５を再構築するために、
モジュールは、「p_map」関数を必ず備えることとする。
「p_map」は、指定された物理空間を、指定された論理ア
ドレスにマッピングし、ページテーブルエントリを作成
する関数である。論理アドレスを指定しなければ、空き
の論理アドレスにマッピングする。「p_map」は、内部ル
ーチンとし、モジュールテーブルを介して、他モジュー
ル，フレームワーク１４０から自由にコールできるもの
とする。

【００２６】図１０に、メモリ管理モジュールに対し
て、モジュール入れ替え処理部１６０が起動された後
の、オンラインのモジュール入れ替え処理手順を示す。

【００２７】まず、メモリ管理モジュールのコールをロ
ックする（処理３０１）。これは、フレームワーク１４
０内の該モジュールのコールをロックすることにより行
われる。また、割り込みハンドラを持つ場合は、割り込
み禁止にする必要がある。通常のCPU110では、割り込み
禁止にするためのレジスタを持っている。これをセット
することで実行できる。

【００２８】次に、旧モジュール１４２の、停止ルーチ
ン１７３をコールし、モジュールの停止処理を行う（処
理３０２）。また、旧モジュール１４２の内部データ１
９０を保存しなければならない場合、引継ぎバッファ作
成ルーチン１８０をコールする。その後、動的に確保し
たメモリ領域と現在獲得している資源（他のモジュール
のロックなど）があれば、これを開放する。メモリ管理
モジュールの場合、ページテーブル１４５を開放する。

【００２９】次に、新モジュール１４３の、初期化ルー
チン１７２をコールする（処理303)。初期化ルーチン
は、モジュールの内部データ２２０を初期化する。引継
ぎバッファ１４７に情報があれば、引継ぎバッファ反映
ルーチン２１０をコールする。これにより、引継ぎバッ
ファ１４７の内容を、該モジュールの内部データに反映
する。

【００３０】次に、引継ぎバッファ１４７を０クリアす
る（処理３０４）。

【００３１】次に、モジュールテーブル１５０の内容
を、新モジュール１４３のルーチンのエリトリアドレス
に書き換える（処理３０５）。モジュール切り替え処理
部160は、この新たなエントリアドレスは、エントリテ
ーブル２３０の各オフセット２３３と、新モジュール１
４３の論理アドレスの先頭番地を加える。これにより、
モジュールの各処理先頭の論理アドレスが求まる。求め
たアドレスを、対応するモジュールテーブルに記録す
る。

【００３２】次に、旧モジュール１４３の物理メモリ
を、開放する（処理３０６）。

【００３３】最後に、モジュールのロックをアンロック
する（処理３０７）。また、割り込み禁止を解除する。
CPU110の割り込みレジスタをリセットすることで実行で
きる。

【００３４】図１１に、メモリ管理モジュールの、引継
ぎバッファ作成ルーチン１８０の処理手順を示す。該ル
ーチン１８０では、ページテーブル１４５をもとに、引
継ぎバッファ１４７を作成する。

【００３５】まず、ページテーブルの１エントリをリー
ドする（処理４０１）。これから、このエントリの物理
アドレス，論理アドレス，保護属性を求める。

【００３６】次に、処理４０１でリードしたエントリに
もとづき、引継ぎバッファ１４７の１エントリに物理ア
ドレス，論理アドレス，保護属性を記録する(処理４０
２)。上記、処理４０１，処理４０２を、全てのページ
テーブル１４５のエントリに対して行う（処理４０
３）。

【００３７】次に、物理メモリ管理テーブルの１エント
リをリードする（処理４０４）。これから、このエント
リの識別子，物理アドレス，メモリサイズを求める。

【００３８】次に、処理４０４でリードしたエントリに
基づき、引継ぎバッファ１４７の１エントリに識別子，
物理アドレス，メモリサイズを記録する（処理４０
５）。

【００３９】上記、処理４０４，４０５を、全ての物理
メモリ管理テーブルのエントリに対して行う（処理４０
６）。

【００４０】図１２に、メモリ管理モジュールの、引継
ぎバッファ反映ルーチン２１０の処理手順を示す。この
ルーチン２１０では、引継ぎバッファ１４７の情報を、
ページテーブル１４５に、反映する。また、内部データ
１９０の物理メモリ管理テーブル１９１を作成する。

【００４１】まず、引継ぎバッファ１４７の１エントリ
をリードする（処理５０１）。これから、このエントリ
の物理アドレス，論理アドレス，保護属性を求める。

【００４２】次に、処理５０１でリードしたエントリの
ページが、物理メモリ，管理テーブルであれば、「p_ma
lloc」をコールすることにより、物理メモリ管理テーブ
ル１９１に登録する（処理５０２）。また、エントリが
ページテーブルのものであれば、「p_map」をコールする
ことにより、ページテーブルのエントリを追加する。

【００４３】上記、処理５０１，処理５０２を、全ての
引継ぎバッファ１４７のエントリに対して行う（処理５
０３）。

【００４４】

【発明の効果】本発明によれば、メモリ管理モジュール
を入れ替える場合でも、ページテーブルや、物理メモリ
テーブルの内容を、旧モジュールから新モジュールに引
継げる。モジュール，タスク，フレームワークのマッピ
ング情報が失われない。そのため、システムをリスター
トすることなくメモリ管理モジュールを交換することが
できる。

【図面の簡単な説明】

【図１】本発明の、モジュール入れ替え方式の構成図で
ある。

【図２】従来の、モジュール入れ替え方式の構成図であ
る。

【図３】本発明の、計算機上の構成例である。

【図４】モジュールの構成図である。

【図５】モジュールテーブルの構成図である。

【図６】メモリ管理モジュールの、引継ぎバッファの構
成図である。

【図７】メモリ管理モジュールの、内部データの構成図
である。

【図８】エントリテーブルの構成図である。

【図９】固定物理空間を示す図である。

【図１０】モジュール入れ替え処理部の、フロー図であ
る。

【図１１】メモリ管理モジュールの、引継ぎバッファ生
成ルーチンのフロー図である。

【図１２】メモリ管理モジュールの、引継ぎバッファ反
映ルーチンのフロー図である。

【図１３】ページテーブルの構成図である。

【符号の説明】

１００…計算機、１１０…中央処理装置（ＣＰＵ）、１
１１…主記憶装置、１１３…ディスク装置、１１４…端
末、１１５…ネットワーク装置、１１６…ＴＬＢ、１２
０…ＣＰＵバス、１３０…ＯＳ、１３１〜１３２…タス
ク、１４０…フレームワーク、１４１，１４４…モジュ
ール、１４２…旧モジュール、143…新モジュール、１
４５…ページテーブル、１４６…内部デーフバッファ、
147…引継ぎバッファ、１５０…モジュールテーブル、
１６０…モジュール切り替え処理部、１７０…ルーチ
ン、１７１…システムコール、１７２…初期化ルーチ
ン、１７３…停止ルーチン、１７４…内部ルーチン、１
７５…割り込みハンドラ、１８０…引継ぎバッファ作成
ルーチン、１９０，２２０…内部データ、２００…ルー
チン、２１０…引継ぎバッファ反映ルーチン、２３０…
エントリテーブル、２３１…種別、２３２…エントリ番
号、２３３…オフセット、２４０…論理空間、２４１…
固定物理空間、２４２…通常の論理空間、２５０…物理
メモリ、300〜５０３…フロー図の処理。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 桑原 啓二 茨城県日立市大みか町五丁目２番１号 株 式会社日立製作所大みか工場内

Claims (3)

【特許請求の範囲】
1. 【請求項１】複数のモジュールと、フレームワークと、
   引継ぎバッファとを有し、論理空間と物理空間が等しい
   固定物理空間と、論理空間と物理空間が一致しない仮想
   空間から構成されるオペレーティングシステムにおける
   モジュールの入れ替え方式であって、 該引継ぎバッファは、仮想空間に存在し、 モジュール入れ替え前の旧モジュールへのコールを停止
   し、該旧モジュールは、引継ぎ情報を該引継ぎバッファ
   に格納し、モジュール入れ替え後の新モジュールは、引
   継ぎ情報を、該引継ぎバッファから読み込む、ことを特
   徴とするオンラインモジュールの入れ替え方法。
2. 【請求項２】請求項１のモジュール入れ替え方法におい
   て、 該オペレーティングシステムは、モニュールごとの論理
   アドレスと物理アドレスの対応を管理するページテーブ
   ルと、該ページテーブルを管理するメモリ管理モジュー
   ルを有し、 入れ替え前の旧メモリ管理モジュールの該ページテーブ
   ルから、論理アドレスと物理アドレスの対応を該引継ぎ
   バッファに格納し、入れ替え後の新メモリ管理モジュー
   ルが、論理アドレスと物理アドレスの対応を該引継ぎバ
   ッファから読み込み、該新メモリ管理モジュールの該ペ
   ージテーブルを作成することを特徴とするオンラインモ
   ジュールの入れ替え方法。
3. 【請求項３】請求項２のモジュール入れ替え方法におい
   て、 該メモリ管理モジュールは、物理メモリが使用中か未使
   用かを示す使用状態と、メモリの識別子を記録する物理
   メモリ管理テーブルを持ち、該メモリ管理モジュール
   は、物理メモリを割り当て、開放する時に、該物理メモ
   リ管理テーブルに、ある物理アドレスの使用状態と識別
   子を記入するモジュールであって、 入れ替え前の旧メモリ管理モジュールの該物理メモリ管
   理テーブルから、該使用状態と該識別子を該引継ぎバッ
   ファに格納し、入れ替え後の新メモリ管理モジュール
   が、該使用状態と該識別子を該引継ぎバッファから読み
   込み、該メモリ管理モジュールの該物理メモリ管理テー
   ブルを作成することを特徴とするオンラインモジュール
   入れ替え方法。