在Learn Lua in 15 Minutes中提到，require module的等价形式：
-- Another file can use mod.lua's functionality:
local mod = require('mod') -- Run the file mod.lua.
-- require is the standard way to include modules.
-- require acts like: (if not cached; see below)
local mod = (function ()
<contents of mod.lua>
end)()
-- It's like mod.lua is a function body, so that
-- locals inside mod.lua are invisible outside it.
这个解释很好地说明了require module的原理，让人豁然开朗。
Domain是平台上一个抽象的隔离环境，并且被分配了一块主机物理内存。I/O设备作为domain的指定设备（assigned device），可以访问分配给domain的内存。在虚拟化环境下，每个虚拟机都会被当做一个独立的domain。
I/O设备分配到指定的domain，并只能访问指定domain所拥有的物理资源。依赖于具体的软件模型，DMA请求的地址可以是虚拟机，也就是domain的Guest-Physical Address（GPA），或是由PASID指定进程定义的application Virtual Address（VA），或是由软件定义的抽象的I/O virtual address（IOVA）。不管哪种情况，DMA Remapping硬件都是把相应的地址翻译成Host-Physical Address（HPA）。
KVM（Kernel-based Virtual Machine）是Linux为X86平台提供的完整虚拟化（virtualization） 解决方案，这个方案包括了虚拟化扩展（Intel VT或AMD-V）。KVM提供了一个包含虚拟化核心功能可加载的内核模块：kvm.ko，另外还有和处理器相关的模块：kvm-intel.ko和kvm-amd.ko。
利用KVM，你可以创建多个运行Linux或Windows的虚拟机，每个虚拟机都有自己私有的虚拟硬件：网卡，磁盘，等等。
KVM用户空间的组件被包含进入了QEMU的主线。
参考资料：
Kernel Virtual Machine。
loadfile和dofile都会从文件中加载chunk。loadfile只编译这段chunk，并且把编译好的chunk以函数的形式返回，但不运行，而dofile会运行这段chunk。此外，出现错误时，dofile会raise error，而loadfile会返回错误代码。dofile的代码类似这样：
function dofile (filename)
local f = assert(loadfile(filename))
return f()
endload函数（Lua 5.1使用loadstring）与loadfile类似，只不过load是从字符串中加载chunk，而不是从文件中。需要注意的是，load加载的是chunk，也就是语句，不是表达式。如果要求表达式值的话，需要在前面加上return，这样就得到一个返回表达式值的语句。
Lua会把任何独立的chunk作为一个有变参参数的匿名函数的函数体。举个例子：load('a=1')返回等价于下面的表达式：
function (...) a = 1 end Lua中的表达式（expression）定义：
Expressions denote values. Expressions in Lua include the numeric constants and string literals, variables, unary and binary operations, and function calls. Expressions include also the unconventional function definitions and table constructors.
表达式产生值，包括：数字常量，字符串，变量，单目和双目运算，另外还有函数调用。此外，表达式还包括函数定义和创建table。
Lua中的语句（statement）定义：
Lua supports an almost conventional set of statements, similar to those in C or Pascal. The conventional statements include assignment, control structures, and procedure calls. Lua also supports some not so conventional statements, such as multiple assignments and local variable declarations.
语句包括：赋值，控制结构，过程调用（block），多重赋值和local变量定义。