JP3882321B2

JP3882321B2 - オペレーティングシステムのモジュールプログラムを備えた計算機

Info

Publication number: JP3882321B2
Application number: JP06250098A
Authority: JP
Inventors: 邦彦恒冨; 正上脇; 雅彦齊藤; 啓二桑原
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1998-03-13
Filing date: 1998-03-13
Publication date: 2007-02-14
Anticipated expiration: 2018-03-13
Also published as: JPH11259285A; US6546485B1

Description

【０００１】
【発明の属する技術分野】
論理空間をサポートするオペレーティングシステム（ＯＳ）の、モジュールごとのオンライン入れ替えに関する。特に、メモリ管理モジュールに関する。
【０００２】
【従来の技術】
産業分野や組み込みシステムにおいて、ＯＳのオンラインでの部分的入れ替え機能が重要である。オンライン入れ替えが可能であれば、システムのダウンタイムを短縮できる。例えば、ＯＳのバージョンアップ，バグフィックスのために、システムを停止する必要がなくなる。
【０００３】
また、ＯＳのメモリ容量の削減も可能になる。例えば、トレース機能について考える。通常時はトレース機能のないＯＳを動作させておく。トラブルが発生した場合は、ＯＳの一部を、トレース機能サポート版に変更し、動作をトレースする。このように、トレース用のメモリ容量を、最小に抑えることができる。
【０００４】
プログラムの変更および追加を行う運用中プログラムの更新方式については特開平7−319683 号に記載されている。
【０００５】
ここでは、制御部が旧ロードモジュールを実行している間に、リロケータブル形式の新ロードモジュールを主記憶装置に格納し、旧ロードモジュールと新ロードモジュールのアドレスリンケージをとる。プログラム更新時は旧ロードモジュールへの他モジュールから呼出しを抑止し、旧ロードモジュールの先頭番地を新ロードモジュールへのジャンプ命令に書き換え、呼出し抑止を解除する。プログラム更新復帰時は、旧ロードモジュールへの他のロードモジュールからの呼出しを抑止し、旧ロードモジュールの先頭番地をプログラム更新前の内容に書き換え呼出し抑止を解除するものである。
【０００６】
【発明が解決しようとする課題】
現在、組み込みシステムなど小型のＯＳにおいても、論理空間をサポートするメモリ管理をもつようになっている。論理空間を使用すると、外部フラグメンテーション問題を解決することができ、メモリの使用効率を上げることができる。また、メモリ保護も強化できる。そこで、メモリ管理モジュールという１モジュールとして実現している。
【０００７】
しかし、従来例では、メモリ管理をモジュールとして実現しても、該モジュールを、オンライン入れ替えすることができないという問題点があった。理由を以下に示す。メモリ管理モジュールは、論理アドレスと物理アドレスの対応を記録するために、ページテーブルを持つ。しかし、新モジュール１４３に新たに切り替わる瞬間は、新モジュールの内部データは初期化状態である。また、新モジュールのページテーブルも作成されていない。そのため、新モジュールは、論理空間上の旧モジュールの内部データを参照することができずに、現在のマッピング情報を全て失う。そのため、ＯＳは、正常な動作を継続することが不可能となる。
【０００８】
上記問題があるため、従来のＯＳでは、メモリ管理モジュールの入れ替えはサポートしていなかった。しかし、メモリ管理モジュールのメモリ容量は、大きな割合をしめる。該モジュールの、オンライン入れ替えが実現すれば、ＯＳのダウンタイム短縮のために効果がある。
【０００９】
本発明は、上記の点に鑑みて旧モジュールから新モジュールへデータの引継ぎを可能にし、オンラインで旧モジュールから新モジュールへの入れ替えを可能にするモジュール入れ替え方法及び装置を提供することを目的とする。
【００１０】
【課題を解決するための手段】
上記目的は複数のモジュールと、プレームワークとモジュールごとの論理アドレスと物理アドレスとを保持するページテーブルと引継ぎバッファとを有し、論理空間と物理空間が等しい固定物理空間から構成されるオペレーティングシステムにおけるモジュールの入れ替え方法であって、
該オペレーティングシステムは、モジュールごとの論理アドレスと物理アドレスの対応を管理するページテーブルと、該ページテーブルを管理するメモリ管理モジュールを有し、
入れ替え前の旧メモリ管理モジュールの該ページテーブルから、論理アドレスと物理アドレスの対応を該引継ぎバッファに格納し、入れ替え後の新メモリ管理モジュールが、論理アドレスと物理アドレスの対応を該引継ぎバッファから読み込み、該新メモリ管理モジュールの該ページテーブルを作成することにより達成できる。
【００１１】
【発明の実施の形態】
まず、図３に、本実施例を計算機上で実現したときの構成例を示す。
【００１２】
図３では、フレームワークとモジュールにより構成されたＯＳが動作するシステムを示している。１００は、計算機であり、その内部装置として、中央処理装置（ＣＰＵ）１１０，主記憶装置１１１，入出力装置（Ｉ／Ｏ）１１２があり、ＣＰＵバス１２０によって接続されている。入出力装置（Ｉ／Ｏ）１１２には、ディスク装置１１３，端末１１４，ネットワーク装置１１５が接続される。 CPU110内部には、ＴＬＢ（Translation 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_malloc」をコールすることにより、物理メモリ管理テーブル１９１に登録する（処理５０２）。また、エントリがページテーブルのものであれば、「p_map」をコールすることにより、ページテーブルのエントリを追加する。
【００４３】
上記、処理５０１，処理５０２を、全ての引継ぎバッファ１４７のエントリに対して行う（処理５０３）。
【００４４】
【発明の効果】
本発明によれば、メモリ管理モジュールを入れ替える場合でも、ページテーブルや、物理メモリテーブルの内容を、旧モジュールから新モジュールに引継げる。モジュール，タスク，フレームワークのマッピング情報が失われない。そのため、システムをリスタートすることなくメモリ管理モジュールを交換することができる。
【図面の簡単な説明】
【図１】本発明の、モジュール入れ替え方式の構成図である。
【図２】従来の、モジュール入れ替え方式の構成図である。
【図３】本発明の、計算機上の構成例である。
【図４】モジュールの構成図である。
【図５】モジュールテーブルの構成図である。
【図６】メモリ管理モジュールの、引継ぎバッファの構成図である。
【図７】メモリ管理モジュールの、内部データの構成図である。
【図８】エントリテーブルの構成図である。
【図９】固定物理空間を示す図である。
【図１０】モジュール入れ替え処理部の、フロー図である。
【図１１】メモリ管理モジュールの、引継ぎバッファ生成ルーチンのフロー図である。
【図１２】メモリ管理モジュールの、引継ぎバッファ反映ルーチンのフロー図である。
【図１３】ページテーブルの構成図である。
【符号の説明】
１００…計算機、１１０…中央処理装置（ＣＰＵ）、１１１…主記憶装置、１１３…ディスク装置、１１４…端末、１１５…ネットワーク装置、１１６…ＴＬＢ、１２０…ＣＰＵバス、１３０…ＯＳ、１３１〜１３２…タスク、１４０…フレームワーク、１４１，１４４…モジュール、１４２…旧モジュール、143…新モジュール、１４５…ページテーブル、１４６…内部デーフバッファ、147…引継ぎバッファ、１５０…モジュールテーブル、１６０…モジュール切り替え処理部、１７０…ルーチン、１７１…システムコール、１７２…初期化ルーチン、１７３…停止ルーチン、１７４…内部ルーチン、１７５…割り込みハンドラ、１８０…引継ぎバッファ作成ルーチン、１９０，２２０…内部データ、２００…ルーチン、２１０…引継ぎバッファ反映ルーチン、２３０…エントリテーブル、２３１…種別、２３２…エントリ番号、２３３…オフセット、２４０…論理空間、２４１…固定物理空間、２４２…通常の論理空間、２５０…物理メモリ、300〜５０３…フロー図の処理。

Claims

主記憶装置中に設けられた複数のモジュールプログラムと、
前記モジュールプログラム入れ替え処理開始時に、該モジュールプログラムの引継ぎバッファデータ作成ルーチンと引継ぎバッファデータ反映ルーチンをコールするフレームワークプログラムと、
複数のモジュールブログラム間の引継ぎ情報が保存される引継ぎバッファとを備え、
論理空間と物理空間が等しい固定物理空間と、
論理空間と物理空間が一致しない仮想空間を制御するオペレーティングシステムのモジュールプログラムを備えた計算機において、
前記固定物理空間内に前記引継ぎバッファが存在し、
前記モジュールプログラムは、該モジュールプログラムの内部データを前記引継ぎバッファに格納する前記引継ぎバッファデータ作成ルーチンと、
前記引継ぎバッファから内部データをモジュールプログラムに読み込む前記引継ぎバッファデータ反映ルーチンとを有し、
旧モジュールプログラムから新モジュールプログラムに入れ替えるときに、前記フレームワークプログラムが前記主記憶装置中に設けられた前記モジュールプログラム入れ替え前の旧モジュールプログラムへのコールを停止し、
前記旧モジュールプログラムの前記引継ぎバッファデータ作成ルーチンは、引継ぎ情報を前記主記憶装置中の前記引継ぎバッファに格納し、
前記モジュールプログラム入れ替え後の新モジュールプログラムの前記引継ぎバッファデータ反映ルーチンは、前記引継ぎ情報を、前記引継ぎバッファから読み込むことを特徴とするオペレーティングシステムのモジュールプログラムを備えた計算機。
請求項１のオペレーティングシステムのモジュールプログラムを備えた計算機において、
前記オペレーティングシステムは、前記主記憶装置中にモジュールプログラムごとの論理アドレスと物理アドレスの対応を管理するページテーブルと、該ページテーブルを管理するメモリ管理モジュールプログラムを有し、
入れ替え前の旧メモリ管理モジュールプログラムの引継ぎバッファデータ作成ルーチンは前記ページテーブルから、論理アドレスと物理アドレスの対応を該引継ぎバッファに格納し、入れ替え後の新メモリ管理モジュールプログラムの引継ぎバッファデータ反映ルーチンは、論理アドレスと物理アドレスの対応を該引継ぎバッファから読み込み、該新メモリ管理モジュールプログラムの該ページテーブルを作成することを特徴とするオペレーティングシステムのモジュールプログラムを備えた計算機。
請求項２のオペレーティングシステムのモジュールプログラムを備えた計算機において、
前記メモリ管理モジュールプログラムは、物理メモリが使用中か未使用かを示す使用状態と、メモリの識別子を記録する物理メモリ管理テーブルを持ち、該メモリ管理モジュールプログラムは、物理メモリを割り当て、開放する時に、該物理メモリ管理テーブルに、ある物理アドレスの使用状態と識別子を記入するモジュールプログラムであって、
入れ替え前の旧メモリ管理モジュールプログラムの引継ぎバッファデータ作成ルーチンは前記物理メモリ管理テーブルから、該使用状態と該識別子を前記引継ぎバッファに格納し、入れ替え後の新メモリ管理モジュールプログラムの引継ぎバッファデータ反映ルーチンは、該使用状態と該識別子を前記引継ぎバッファから読み込み、該メモリ管理モジュールプログラムの該物理メモリ管理テーブルを作成することを特徴とするオペレーティングシステムのモジュールプログラムを備えた計算機。