虚拟机设计与实现:以jvm为例