応用情報技術者仮想記憶・キャッシュ・デバイスI/Oオリジナル・公式資料照合難易度★★★★★
LinuxのPCIデバイスドライバーで、ioremapした制御レジスターへwritelで設定を書く。PCIの書込みはposted writeであり、CPUから戻った時点ではデバイス未到達の場合がある。デバイス仕様で副作用なく読める同じデバイスの状態レジスターがあり、読取りで先行書込みの完了を確認できる。次段階へ進む前に適切なのはどれか。
A
writelが戻ったので、デバイス到達も常に完了したとみなす
posted writeではCPUが先へ進めてもバス上に書込みが残り得ます。戻りだけをデバイス到達の保証にできません。
B
その安全な状態レジスターをreadlで読み戻し、先行するposted writeをフラッシュしてから進む★ 正解
同じデバイスの安全なレジスターを読み戻すことは、先行するposted writeを到達させるための一般的な手法です。
C
Cの変数をvolatileにするだけで、バス上の未完了書込みも必ず完了させる
volatileはデバイスバスの書込み完了確認ではありません。LinuxのI/Oアクセサーとデバイス仕様に従います。
D
MMIOアドレスをatomic_tへキャストし、atomic_incで書込み完了を保証する
atomic_tのCPU間RMW操作はMMIO用ではなく、プラットフォームによってトラップ等も起こり得ます。
解説
CPU内の順序付け、バスへ出た順序、デバイスへの到達完了を区別します。LinuxのMMIOアクセサーを使い、posted writeの完了が必要な箇所では仕様上安全なreadbackを行います。
根拠資料・確認情報
対応範囲:2026年度 応用情報技術者試験
資料確認日:2026-10-28
同じレッスンの問題
問題 1
Linuxのforkによるcopy-on-writeを簡単化して考える。親は常駐する通常ページ16枚の私有・書込み可能領域を持ち、fork直後は親子が同じ16枚をCOWで共有する。子だけがそのうち異なる3ページへ書き込み、各ページで1枚ずつ複製される。親は書き込まず、解放・回収・共有メモリ・巨大ページはない。ページテーブル等の管理領域を除く、この領域の物理ページ数は幾つか。
問題 2
理想的なLRUページ置換を行う仮想記憶モデルを考える。ページ枠は3枚で初めは空、参照列は1,2,3,1,4,2,5である。最も長く参照されていないページを追い出し、初回読込みもページフォールトに数える。フォールト回数は幾つか。実際のLinuxがこの厳密なLRUをそのまま実装するという前提ではない。
問題 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を減らす配置はどれか。