Java虚拟机之所以称为“虚拟”，就是因为它仅仅是由一个规范来定义的抽象计算机。要运行某个Java程序，首先需要一个符合该规范的具体实现。下面主要讨论这个规范本身。