java虚拟机规范，java12版本。可以了解java虚拟机的设计。