仮想記憶方式に関する次の記述を読んで，設問１〜３に答えよ。

　OS の主記憶管理において，仮想記憶方式は，OS が提供する論理的な記憶領域 （以下，仮想記憶という）上のアドレスと主記憶上の物理的なアドレスを対応付けて 管理する方式である。仮想記憶方式では，補助記憶装置を仮想記憶として用いるので， 仮想記憶上に主記憶の容量を超えるプログラムを格納することができる。仮想記憶上の アドレス空間を仮想アドレス空間，主記憶上のアドレス空間を物理アドレス空間と呼び， それぞれの空間の記憶場所を仮想アドレスと物理アドレスで指定する。

　仮想記憶方式の一つに，ページング方式がある。ページング方式は，仮想アドレス空間と 物理アドレス空間のそれぞれをページと呼ぶ固定長の領域に分割しておき，ページ単位で アドレス空間を管理する。ページング方式による仮想アドレス空間のページと 物理アドレス空間のページの対応例を，図１に示す。図１では，補助記憶装置に 格納されているプログラムＡは a1，a2，a3，a4，a5 に分割されて， 仮想ページ番号１〜５のページに格納されている。

　　図１　仮想アドレス空間のページと物理アドレス空間のページの対応例

　仮想アドレス空間及び物理アドレス空間の各ページには，先頭から順に番号を付け， それぞれを仮想ページ番号，物理ページ番号と呼ぶ。仮想ページと物理ページの対応 は，ページテーブルで管理する，ページテーブルの要素の個数は仮想ページの個数と同じであり， 各要素が仮想ページの１ページに対応している。ページテーブルでは，仮想ページの内容が 物理アドレス空間にも存在しているかどうかを示すビット（以下，存在ビットという）と 物理ページ番号が管理されている。存在ビットは，ページが存在しているとき１， 存在していないとき０とする。

設問１　次の記述中の に入れる正しい答えを， 解答群の中から選べ。

　プログラムの実行過程で存在ビットを調べ，プログラムの実行に 必要なページが に存在していないときには， ページフォールトという割込みが発生する。 ページフォールトが発生すると，ページアウトやページインなどのページ置換え処理が実行される。 ページ置換え処理のアルゴリズムには，ページインしてから最も時間が経過している ページを置換え対象とする FIFO アルゴリズムや，参照されていない時間が最も 長いページを置換え対象とする アルゴリズムなどがある。

解答群

基本情報技術者試験

【処理の単位】

�@ 退避させるページをページアウトする。

�A ページ置換えアルゴリズムによって，物理アドレス空間からページアウトするページを決定する。

�B 実行に必要なページをページインする。

�C ページアウトしたページに対応するページテーブルの要素の存在ビットを０にする。

�D ページインしたページに対応するぺージテーブルの要素の存在ビットを１にする。

�E　ページアウトしたページに対応するページテーブルの要素の物理ページ番号を設定する。

�C　ページインしたページに対応するページテーブルの要素の物理ページ番号を設定する。

解答群

基本情報技術者試験

　ページ置換えアルゴリズムとして FIFO アルゴリズムを採用する。プログラムの実行過程で 仮想ページが次の順で参照されるとき，物理ページの個数が３の場合のページフォールトの 回数は 回である。そして，物理ページの個数を４に増やした場合の ページフォールトの回数は 回である。ここで， プログラムの実行開始時点では，物理アドレス空間にはどのページも存在していないものとする。

　　　【仮想ページの参照順を示す仮想ページ番号の並び】

　　　　1 → 4 → 3 → 2 → 1 → 4 → 5 → 1 → 4 → 3 → 2 → 5 → 1

解答群