デマンドページング

実際にアクセスされて初めて該当ページを主記憶に読み込む方式。あらかじめ先読みする方式に比べて無駄な読込みが少なく、主記憶を有効に使えるため、多くのOSが採用している。

ページング方式の仮想記憶で、プログラムが参照したページが主記憶に無いとき（ページフォールト）に、そのページを補助記憶から主記憶へ読み込むこと。主記憶に空きが無ければ、ページ置換えアルゴリズムで選んだページを先にページアウトする。

主記憶より大きなアドレス空間（仮想アドレス空間）をプログラムに与え、実際に必要な部分だけを主記憶に置き、残りを補助記憶に退避させながら管理するOSの機能。ページングなどで仮想アドレスを実アドレスへ動的に変換し、ページの置換えを行う。

OSが主記憶を各プログラムに割り当て、解放し、保護する機能。プログラムに実際の主記憶の領域を割り当てる実記憶管理と、補助記憶を併用して大きなアドレス空間を提供する仮想記憶管理がある。

システム全体で1つの仮想アドレス空間を用意し、すべてのプログラムがその空間を分け合って使う仮想記憶の方式。管理は単純だが、プログラムの数や大きさが増えると1つの空間の大きさが制約になる。

プログラム（ジョブやプロセス）ごとに独立した仮想アドレス空間を割り当てる仮想記憶の方式。各プログラムが大きなアドレス空間を使え、他のプログラムの領域を誤って壊すこともないため、保護の面でも優れる。

プログラムの実行中に、命令が指定した仮想アドレスを、ページテーブルなどを参照して主記憶上の実アドレスへハードウェアで変換すること。変換の結果をTLBに保持して高速化する。仮想記憶を実現するための基本的な仕組みである。