第2章 メモリの割り当てLinux をベースとするオペレーティングシステムは仮想メモリシステムを使用します。 ユーザー領域のアプリケーションによって参照されるアドレスはすべて物理的なアドレスに変換されなければなりません。 これは基礎となるコンピューターシステム内のアドレス変換ハードウェアとページテーブルの組み合わせによって行われます。 プログラムと実際のメモリ間に変換メカニズムを持たせることにより得られる結果のひとつとして、 オペレーティングシステムが必要なときにページを流用できることです。 以前に使用したページテーブルエントリに無効マークを付けることでこれを行わせるため、 メモリに対する負担が通常通りであってもオペレーティングシステムに任意のアプリケーションからページを収集して別のアプリケーションにそれを与えることができます。 これは決定論的な動作を必要とするようなシステムの場合には悪影響を及ぼす場合があります
