目录

创建并修改 Lua 环境环境协作组件伪客户端lua_scripts字典EVAL命令的实现定义脚本函数将脚本保存到lua_scripts字典执行脚本函数EVALSHA命令的实现脚本管理命令的实现SCRIPT FLUSHSCRIPT EXISTSSCRIPT LOADSCRIPT KILL脚本的复制复制EVAL命令、SCRIPT FLUSH命令、SCRIPT LOAD命令复制EVALSHA命令

创建并修改 Lua 环境

1. 创建一个基础的Lua环境， 之后的所有修改都是针对这个环境进行的。
服务器首先调用Lua的C API函数lua_open ， 创建一个新的Lua环境。lua_open函数创建的只是一个基本的Lua环境， 为了让这个Lua环境可以满足Redis的操作要求， 接下来服务器将对这个Lua环境进行一系列修改。

2. 载入多个函数库到Lua环境里面， 让Lua脚本可以使用这些函数库来进行数据操作。
• 基础库（base library）： 这个库包含 Lua 的核心（core）函数， 比如 assert 、 error 、 pairs 、 tostring 、 pcall ， 等等。 另外， 为了防止用户从外部文件中引入不安全的代码， 库中的 loadfile 函数会被删除。
• 表格库（table library）： 这个库包含用于处理表格的通用函数， 比如 table.concat 、 table.insert 、 table.remove 、 table.sort， 等等。
• 字符串库（string library）： 这个库包含用于处理字符串的通用函数， 比如用于对字符串进行查找的 string.find 函数， 对字符串进行格式化的 string.format 函数， 查看字符串长度的 string.len 函数， 对字符串进行翻转的 string.reverse 函数， 等等。
• 数学库（math library）： 这个库是标准 C 语言数学库的接口， 它包括计算绝对值的 math.abs 函数， 返回多个数中的最大值和最小值的 math.max 函数和 math.min 函数， 计算二次方根的 math.sqrt 函数， 计算对数的 math.log 函数， 等等。
• 调试库（debug library）： 这个库提供了对程序进行调试所需的函数， 比如对程序设置钩子和取得钩子的 debug.sethook 函数和debug.gethook 函数， 返回给定函数相关信息的 debug.getinfo 函数， 为对象设置元数据的 debug.setmetatable 函数， 获取对象元数据的debug.getmetatable 函数， 等等。
• Lua CJSON 库： 这个库用于处理 UTF-8 编码的 JSON 格式， 其中cjson.decode 函数将一个 JSON 格式的字符串转换为一个 Lua 值， 而 cjson.encode 函数将一个 Lua 值序列化为 JSON 格式的字符串。
• Struct 库： 这个库用于在 Lua 值和 C 结构（struct）之间进行转换， 函数struct.pack 将多个 Lua 值打包成一个类结构（struct-like）字符串， 而函数 struct.unpack 则从一个类结构字符串中解包出多个 Lua 值。
• Lua cmsgpack 库： 这个库用于处理 MessagePack 格式的数据， 其中 cmsgpack.pack 函数将 Lua 值转换为 MessagePack 数据， 而 cmsgpack.unpack 函数则将 MessagePack 数据转换为 Lua 值。
通过使用这些功能强大的函数库， Lua 脚本可以直接对执行 Redis 命令获得的数据进行复杂的操作。

3. 创建全局表格 redis ， 这个表格包含了对 Redis 进行操作的函数， 比如用于在 Lua 脚本中执行 Redis 命令的 redis.call 函数。
这个 redis 表格包含以下函数：
• 用于执行Redis命令的 redis.call 和 redis.pcall 函数
• 用于记录Redis日志（log）的redis.log函数， 以及相应的日志级别（level）常量：redis.LOG_DEBUG，redis.LOG_VERBOSE，redis.LOG_NOTICE， 以及redis.LOG_WARNING 
• 用于计算 SHA1 校验和的 redis.sha1hex 函数
• 用于返回错误信息的 redis.error_reply 函数和 redis.status_reply 函数
在这些函数里面， 最常用也最重要的要数redis.call函数和redis.pcall函数 —— 通过这两个函数， 用户可以直接在Lua脚本中执行Redis命令：

4. 使用 Redis 自制的随机函数来替换 Lua 原有的带有副作用的随机函数， 从而避免在脚本中引入副作用。
为了保证相同的脚本可以在不同的机器上产生相同的结果， Redis 要求所有传入服务器的 Lua 脚本， 以及 Lua 环境中的所有函数， 都必须是无副作用的纯函数。
但是， 在之前载入到 Lua 环境的 math 函数库中， 用于生成随机数的 math.random 函数和 math.randomseed 函数都是带有副作用的， 它们不符合 Redis 对 Lua 环境的无副作用要求。
因为这个原因， Redis 使用自制的函数替换了 math 库中原有的 math.random 函数和 math.randomseed 函数， 替换之后的两个函数有以下特征：
• 对于相同的 seed 来说， math.random 总产生相同的随机数序列， 这个函数是一个纯函数。
• 除非在脚本中使用 math.randomseed 显式地修改 seed ， 否则每次运行脚本时， Lua 环境都使用固定的 math.randomseed(0) 语句来初始化 seed 。
比如说， 使用以下脚本， 可以打印 seed 值为 0 时， math.random 对于输入 10 至 1 所产生的随机序列，无论执行这个脚本多少次， 产生的值都是相同的：
但是， 如果在另一个脚本里面， 调用 math.randomseed 将 seed 修改为 10086 ，那么这个脚本生成的随机数序列将和使用默认 seed 值 0 时生成的随机序列不同：

5. 创建排序辅助函数， Lua 环境使用这个辅佐函数来对一部分 Redis 命令的结果进行排序， 从而消除这些命令的不确定性。
为了防止带有副作用的函数令脚本产生不一致的数据， Redis 对 math 库的 math.random 函数和 math.randomseed 函数进行了替换。
对于 Lua 脚本来说， 另一个可能产生不一致数据的地方是那些带有不确定性质的命令。
比如对于一个集合键来说， 因为集合元素的排列是无序的， 所以即使两个集合的元素完全相同， 它们的输出结果也可能并不相同。考虑下面这个集合例子：
fruit集合和another-fruit 集合包含的元素是完全相同的， 只是因为集合添加元素的顺序不同， SMEMBERS 命令的输出就产生了不同的结果。Redis将SMEMBERS这种在相同数据集上可能会产生不同输出的命令称为“带有不确定性的命令”， 这些命令包括：
• SINTER
• SUNION
• SDIFF
• SMEMBERS
• HKEYS
• HVALS
• KEYS
为了消除这些命令带来的不确定性， 服务器会为 Lua 环境创建一个排序辅助函数 __redis__compare_helper ， 当 Lua 脚本执行完一个带有不确定性的命令之后， 程序会使用 __redis__compare_helper 作为对比函数， 自动调用 table.sort 函数对命令的返回值做一次排序， 以此来保证相同的数据集总是产生相同的输出。
 
如果在 Lua 脚本中对 fruit 集合和 another-fruit 集合执行 SMEMBERS 命令， 那么两个脚本将得出相同的结果 —— 因为脚本已经对 SMEMBERS 命令的输出进行过排序了：

6. 创建 redis.pcall 函数的错误报告辅助函数， 这个函数可以提供更详细的出错信息。
服务器将为 Lua 环境创建一个名为 __redis__err__handler 的错误处理函数， 当脚本调用 redis.pcall 函数执行 Redis 命令， 并且被执行的命令出现错误时， __redis__err__handler 就会打印出错代码的来源和发生错误的行数， 为程序的调试提供方便。
如果客户端要求服务器执行以下 Lua 脚本，那么服务器将向客户端返回一个错误：
@user_script说明这是一个用户定义的函数， 而之后的4则说明出错的代码位于 Lua 脚本的第四行。

7. 对 Lua 环境里面的全局环境进行保护， 防止用户在执行 Lua 脚本的过程中， 将额外的全局变量添加到了 Lua 环境里面。
服务器将对 Lua 环境中的全局环境进行保护， 确保传入服务器的脚本不会因为忘记使用 local 关键字而将额外的全局变量添加到了 Lua 环境里面。因为全局变量保护的原因， 当一个脚本试图创建一个全局变量时， 服务器将报告一个错误：
试图获取一个不存在的全局变量也会引发一个错误：
不过 Redis 并未禁止用户修改已存在的全局变量， 所以在执行 Lua 脚本的时候， 必须非常小心， 以免错误地修改了已存在的全局变量：

8. 将完成修改的 Lua 环境保存到服务器状态的 lua 属性里面， 等待执行服务器传来的 Lua 脚本。
服务器会将 Lua 环境和服务器状态的 lua属性关联起来：



因为 Redis 使用串行化的方式来执行 Redis 命令， 所以在任何特定时间里， 最多都只会有一个脚本能够被放进 Lua 环境里面运行， 因此， 整个 Redis 服务器只需要创建一个 Lua 环境即可。

环境协作组件

伪客户端

1. Lua环境将redis.call函数或者redis.pcall函数想要执行的命令传给伪客户端

2. 伪客户端将脚本想要执行的命令传给命令执行器

3. 命令执行器执行伪客户端传给它的命令，并将命令的执行结果返回给伪客户端

4. 伪客户端接收命令执行器返回的命令结果，并将这个命令结果返回给Lua环境

5. Lua环境在接收到命令结果之后，将该结果返回给redis.call函数或者redis.pcall函数

6. 接收到结果的redis.call函数或者redis.pcall函数会将命令结果作为函数返回值返回给脚本中的调用者

lua_scripts字典

• 字典的键为某个Lua脚本的SHA1校验和（checksum）

• 字典的值则是SHA1校验和对应的Lua脚本

EVAL命令的实现

定义脚本函数

• Lua函数的名字由f_前缀加上脚本的SHA1校验和（四十个字符长）组成

• 函数的体（body）则是脚本本身

• 执行脚本的步骤非常简单，只要调用与脚本相对应的函数即可

• 通过函数的局部性来让Lua环境保持清洁，减少了垃圾回收的工作量，并且避免了使用全局变量

• 如果某个脚本所对应的函数在Lua环境中被定义过至少一次，那么只要记得这个脚本的SHA1校验和，服务器就可以在不知道脚本本身的情况下，直接通过调用Lua函数来执行脚本(备注：这也是EVALSHA命令的实现原理）

将脚本保存到lua_scripts字典

执行脚本函数

1. 将EVAL命令中传入的键名（key name）参数和脚本参数分别保存到KEYS数组和ARGV数组，然后将这两个数组作为全局变量传入到Lua环境里面

2. 为Lua环境装载超时处理钩子（hook），这个钩子可以在脚本出现超时运行情况时， 让客户端通过SCRIPT KILL命令停止脚本，或者通过SHUTDOWN命令直接关闭服务器

3. 执行脚本函数

4. 移除之前装载的超时钩子

5. 将执行脚本函数所得的结果保存到客户端状态的输出缓冲区里面，等待服务器将结果返回给客户端

6. 对Lua环境执行垃圾回收操作

1. 因为这个脚本没有给定任何键名参数或者脚本参数，所以服务器会跳过传值到KEYS数组或ARGV数组这一步

2. 为Lua环境装载超时处理钩子

3. 在Lua环境中执行f_5332031c6b470dc5a0dd9b4bf2030dea6d65de91函数

4. 移除超时钩子

5. 将执行f_5332031c6b470dc5a0dd9b4bf2030dea6d65de91函数所得的结果"hello world"保存到客户端状态的输出缓冲区里面

6. 对Lua环境执行垃圾回收操作

EVALSHA命令的实现

脚本管理命令的实现

SCRIPT FLUSH

• 清除服务器中所有和Lua脚本有关的信息

• 这个命令会释放并重建lua_scripts字典

• 关闭现有的Lua环境并重新创建一个新的Lua环境

SCRIPT EXISTS

SCRIPT LOAD

SCRIPT KILL

• 如果超时运行的脚本未执行过任何写入操作，那么客户端可以通过SCRIPT KILL命令来指示服务器停止执行这个脚本，并向执行该脚本的客户端发送一个错误回复。处理完SCRIPT KILL命令之后，服务器可以继续运行

• 如果脚本已经执行过写入操作，那么客户端只能用SHUTDOWN nosave命令来停止服务器，从而防止不合法的数据被写入数据库中

脚本的复制

复制EVAL命令、SCRIPT FLUSH命令、SCRIPT LOAD命令

复制EVALSHA命令