仮想化I(ハイパーバイザとハードウェア支援)

VMが成り立つ命令レベルの仕組みを学びます。特権命令のトラップとエミュレート、Popek-Goldbergの要件、Intel VT-x/AMD-Vによるハードウェア支援仮想化、準仮想化との違いを、なぜそれで隔離できるのかという原理から理解します。