欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Virtual machine
来自开放百科 - 灰狐
				
								
				
				
																
				
				
								
|   | 
您可以在Wikipedia上了解到此条目的英文信息 Virtual machine Thanks, Wikipedia. | 
virtual machine (VM)
目录 | 
简介
虚拟机类型:
- Full instruction set architecture (ISA) virtual machine,比如:VirtualBox、QEMU、Xen
 - Application Binary Interface (ABI) virtual machine,比如:Intel's IA-32 Execution Layer on
 
Itanium, Transmeta's Code Morphing for X86 emulation, and Apple's Rosetta translation layer for PowerPC emulation
- Virtual ISA virtual machine,比如:JVM、CLR、Parrot Virtual Machine 支持:Rakudo Perl 6 lua Winxed
 - Language virtual machine,比如:the runtime engines for BASIC, Lisp, Tcl, and Ruby
 
项目
图书
- 《Virtual Machines》Versatile Platforms for Systems and Processes
 - 《Advanced Design and Implementation of Virtual Machines》 Xiao-Feng Li
 
图集
连接
	分享您的观点