虚拟机执行模型