応用情報技術者仮想記憶・キャッシュ・デバイスI/Oオリジナル・公式資料照合難易度★★★☆☆
理想的なLRUページ置換を行う仮想記憶モデルを考える。ページ枠は3枚で初めは空、参照列は1,2,3,1,4,2,5である。最も長く参照されていないページを追い出し、初回読込みもページフォールトに数える。フォールト回数は幾つか。実際のLinuxがこの厳密なLRUをそのまま実装するという前提ではない。
A
3回
最初の1,2,3だけで3回ですが、その後の4、再度の2、5でも読込みが必要です。
B
4回
4の参照時点で最も古い2が追い出されるので、その後の2もヒットにはなりません。
C
5回
最後の5はそれまで一度も読み込まれておらず、必ず追加のフォールトが発生します。
D
6回★ 正解
最初の1,2,3で3回、次の1はヒット、4・2・5で各1回の合計6回です。
解説
3枚を読み込んだ後の1の再参照で、最も古いページは2になります。以後は4で2を、2で3を、5で1を追い出し、合計6回です。理想ポリシーのトレースとOSの実装を区別します。
根拠資料・確認情報
対応範囲：2026年度 応用情報技術者試験
資料確認日：2026-10-28
同じレッスンの問題
問題 1
Linuxのforkによるcopy-on-writeを簡単化して考える。親は常駐する通常ページ16枚の私有・書込み可能領域を持ち、fork直後は親子が同じ16枚をCOWで共有する。子だけがそのうち異なる3ページへ書き込み、各ページで1枚ずつ複製される。親は書き込まず、解放・回収・共有メモリ・巨大ページはない。ページテーブル等の管理領域を除く、この領域の物理ページ数は幾つか。
問題 3
アドレス変換を保持するTLBに512エントリーがある簡単化モデルを考える。各エントリーは1ページを表し、全エントリーで同じページサイズを使える。競合・予約領域・別サイズ用TLBの差は無視する。ページサイズが4KiBの場合と2MiBの場合、それぞれ一度に保持できる変換対象の最大範囲はどれか。1KiB=2^10バイト、1MiB=2^20バイト、1GiB=2^30バイトとする。
問題 4
キャッシュラインが64バイトのSMP機で、CPU AとBがそれぞれ別の8バイトカウンターを頻繁に更新する。二つのカウンターは同じ64バイトライン内にあり、更新自体は正しく同期されているが、キャッシュ間の無効化・転送が多い。false sharingを減らす配置はどれか。
問題 5
LinuxのPCIデバイスドライバーで、ioremapした制御レジスターへwritelで設定を書く。PCIの書込みはposted writeであり、CPUから戻った時点ではデバイス未到達の場合がある。デバイス仕様で副作用なく読める同じデバイスの状態レジスターがあり、読取りで先行書込みの完了を確認できる。次段階へ進む前に適切なのはどれか。