仮想化II(メモリとI/Oの仮想化)

VMのメモリとデバイスがどう隔離されるかを、機構の実装から理解します。ゲスト物理アドレスをホスト物理アドレスへ変換する二段階変換(EPT/NPT)、I/Oを速くするvirtio、デバイスのDMAを閉じ込めるIOMMUという3つの土台に絞って学びます。「なぜその仕組みだと安全に速く隔離できるのか」を問います。