仮想記憶管理

主記憶装置の容量を超えるプログラムを実行するために、補助記憶装置の一部を主記憶の延長として使用する仕組み。OSが自動的に管理し、見かけ上の主記憶容量を拡大する。

主記憶と補助記憶を組み合わせて、物理メモリ以上のメモリ空間をプログラムに提供する技術。ページング方式が代表的で、必要なページのみを主記憶に読み込むデマンドページングが一般的。

物理メモリより大きなアドレス空間をプログラムに提供する仕組み。ページング方式では仮想アドレス空間を固定サイズのページに分割し、必要なページのみを物理メモリに配置する。ページフォルト時に補助記憶からロードする。

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

ページング方式の仮想記憶で、主記憶に空きを作るために、主記憶上のページを補助記憶へ書き出すこと。どのページを追い出すかはLRUやFIFOなどのページ置換えアルゴリズムで決める。主記憶が不足してページインとページアウトが頻発し、処理がほとんど進まなくなる状態をスラッシングという。

OSの機能の一つで、主記憶の領域をプログラムに割り当てて解放し、仮想記憶によって主記憶より大きなアドレス空間を提供し、各プログラムの領域を互いに保護するもの。ページングなどの方式で、主記憶と補助記憶の間でデータを入れ替える。

ファイルや装置のレジスタなどを、プログラムのアドレス空間の一部に対応付け、主記憶への読み書きと同じ方法でアクセスできるようにすること。ファイルを対応付けるメモリマップドファイルでは、OSが必要な部分だけをページ単位で読み込むため、大きなファイルを効率よく扱える。

仮想アドレスから実アドレスへの変換結果を一時的に保持する、CPU内の高速な連想メモリ。毎回主記憶上のページテーブルを参照せずに済むため、動的アドレス変換を高速化できる。

プログラムの実行中に、参照したページが主記憶に無いとき（ページフォールトの発生時）に初めて、そのページを補助記憶から主記憶に読み込む方式。必要なページだけを読み込むため主記憶を有効に使えるが、ページフォールトが多発すると処理が遅くなる。