| 問２ 仮想記憶方式に関する次の記述を読んで，設問1～3に答えよ。 OSの主記憶管理において，仮想記憶方式は，OSが提供する論理的な記憶領域（以下，仮想記憶という）上のアドレスと主記憶上の物理的なアドレスを対応付けて管理する方式である。仮想記憶方式では，補助記憶装置を仮想記憶として用いるので，仮想記憶上に主記憶の容量を超えるプログラムを格納することができる。仮想記憶上のアドレス空間を仮想アドレス空間，主記憶上のアドレス空間を物理アドレス空間と呼び，それぞれの空間の記憶場所を仮想アドレスと物理アドレスで指定する。 仮想記憶方式の一つに，ページング方式がある。ページング方式は，仮想アドレス空間と物理アドレス空間のそれぞれをページと呼ぶ固定長の領域に分割しておき，ページ単位でアドレス空間を管理する。ページング方式による仮想アドレス空間のページと物理アドレス空間のページの対応例を，図１に示す。図１では，補助記憶装置に格納されているプログラムＡはa1, a2, a3, a4, a5に分割されて，仮想ページ番号１～５のページに格納されている。  仮想アドレス空間及び物理アドレス空間の各ページには，先頭から順に番号を付け，それぞれを仮想ページ番号，物理ページ番号と呼ぶ。仮想ページと物理ページの対応は，ページテーブルで管理する。ページテーブルの要素の個数は仮想ページの個数と同じであり，各要素が仮想ページの１ページに対応している。ページテーブルでは，仮想ページの内容が物理アドレス空間にも存在しているかどうかを示すビット（以下，存在ビットという）と物理ページ番号が管理されている。存在ビットは，ページが存在しているとき1，存在していないとき0とする。 設問１ 次の記述中の[ ]に入れる正しい答えを，解答群の中から選べ。 プログラムの実行過程で存在ビットを調べ，プログラムの実行に必要なページが[ a ]に存在していないときには，ページフォールドという割込みが発生する。ページフォールドが発生すると，ページアウトやページインなどのページ置換え処理が実行される。ページ置換え処理のアルゴリズムには，ページインしてから最も時間が経過しているページを置換え対象とするFIFOアルゴリズムや，参照されていない時間が最も長いページを置換え対象とする[ a ]アルゴリズムなどがある。 解答群 ア LFU イ LIFO ウ LRU 工 仮想アドレス空間 オ 物理アドレス空間 設問２ プログラムＡを実行するために割り当てられた物理アドレス空間の物理ページの個数が３の場合を考える。プログラムＡの実行過程において，物理アドレス空間にal, a2, a3が存在している状態でa4を参照するとページフォールドが発生する。このページフォールドが発生した後の処理の流れとして適切な答えを，解答群の中から選べ。ここで，解答群中の処理は左から右に向かって行うものとする。 【処理の単位】 ① 退避させるページをページアウトする。 ② ページ置換えアルゴリズムによって，物理アドレス空間からページアウトするページを決定する。 ③ 実行に必要なページをページインする。 ④ ページアウトしたページに対応するページテーブルの要素の存在ビットを0にする。 ⑤ ページインしたページに対応するページテーブルの要素の存在ビットを１にする。 ⑥ ページアウトしたページに対応するページテーブルの要素の物理ページ番号を設定する。 ⑦ ページインしたページに対応するページテーブルの要素の物理ページ番号を設定する。 解答群 ア ①→②→③→④→⑤→⑥ イ ①→③→②→④→⑦→⑤ ウ ②→①→④→③→⑤→⑥ エ ②→①→④→③→⑦→⑤ オ ②→③→①→④→⑤→⑥ カ ②→③→⑤→⑥→①→④ 設問３ 次の記述中の[ ]に入れる正しい答えを，解答群の中から選べ。 ページ置換えアルゴリズムとしてFIFOアルゴリズムを採用する。プログラムの実行過程で仮想ページが次の順で参照されるとき，物理ページの個数が３の場合のページフォールドの回数は[ c ]回である。そして，物理ページの個数を４に増やした場合のページフォールドの回数は[ d ]回である。ここで，プログラムの実行開始時点では，物理アドレス空間にはどのページも存在していないものとする。 【仮想ページの参照順を示す仮想ページ番号の並び】 １→４→３→２→１→４→５→１→４→３→２→５→１ 解答群 ア ８ イ ９ ウ 10 エ 11 オ 12 |
設問１ a オ 物理アドレス空間
b ウ LRU
設問２ エ
② ページ置換えアルゴリズムによって，物理アドレス空間からページアウトするページを決定する。
① 退避させるページをページアウトする。
④ ページアウトしたページに対応するページテーブルの要素の存在ビットを0にする。
③ 実行に必要なページをページインする。
⑦ ページインしたページに対応するページテーブルの要素の物理ページ番号を設定する。
⑤ ページインしたページに対応するページテーブルの要素の存在ビットを１にする。
設問３
c ウ 10回
d エ 11回
コメント