深入理解Java虚拟机系列（1）——什么叫做JVM与JVM规范