平成25年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問7
テクノロジ／ソフトウェア仮想記憶システムにおいて，ページ置換えアルゴリズムとして FIFO を採用して，仮想ページ参照列 1，4，2，4，1，3 を 3 ページ枠の実記憶に割り当てて処理を行った。表の割当てステップ“3”までは，仮想ページ参照列中の最初の 1，4，2 をそれぞれ実記憶に割り当てた直後の実記憶ページの状態を示している。残りを全て参照した直後の実記憶ページの状態を示す太枠部分に該当するものはどれか。
出典：平成25年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問7
- ア1，3，4
- イ1，4，3
- ウ3，4，2
- エ4，1，3
正解：ウ
解説
FIFO（先入れ先出し）方式では，最も古くに実記憶に割り当てられたページから順に置き換えます。参照列 1，4，2，4，1，3 を3ページ枠に割り当てると，ステップ1～3で実記憶は1，4，2（1が最も古い）となります。ステップ4で参照される4は既に実記憶にあるためページフォールトは発生せず，状態は変わりません。ステップ5で参照される1も既に実記憶にあるため，状態は変わりません。ステップ6で参照される3は実記憶になく，最も古いページである1が置き換えられるため，実記憶ページの状態は3，4，2になります。
選択肢ごとの解説
- ア誤り。1，3，4という組合せは，置き換えられるはずの最も古いページ1が残ったままになっており，FIFOの置換え順序と矛盾します。
- イ誤り。1，4，3という組合せも，置き換えられるはずの最も古いページ1が残ったままになっており，FIFOの置換え順序と矛盾します。
- ウ正しい。最も古く割り当てられたページ1がステップ6で新たに参照されたページ3に置き換えられ，実記憶ページの状態は3，4，2（4と2はそのまま保持）になります。
- エ誤り。4，1，3という組合せは，ステップ4，5で4，1がそれぞれ参照された際に実際には置換えが発生しない（既に実記憶にあるため）ことを踏まえていない状態です。