LuaJIT源码分析（一）搭建调试环境
LuaJIT，码剖这个以高效著称的码剖lua即时编译器（JIT），因其源码资料稀缺，码剖促使我们不得不自建环境进行深入学习。码剖分析源码的码剖第一步，就是码剖国外旅游网站源码搭建一个可用于调试的环境，但即使是码剖这个初始步骤，能找到的码剖指导也相当有限，反映出LuaJIT的码剖编译过程复杂性。
首先，码剖从官方git仓库开始，码剖通过命令`git clone https://luajit.org/git/luajit.git`获取源代码。码剖GitHub上也有相应的码剖镜像地址。对于调试，码剖LuaJIT提供msvcbuild.bat脚本，码剖位于src目录下，它将编译过程分为三个阶段：构建minilua，用于平台判断和执行lua脚本；buildvm生成库函数映射；以及lua库的编译和最终LuaJIT的生成。该脚本需在Visual Studio Command Prompt环境中以管理员权限运行，且有四个可选编译参数。
在调试时，我们无需这些选项，但需要保留中间代码。因此，需要在脚本中注释掉清理代码的部分。在Visual Studio 的位命令提示符中，切换到src目录并运行`msvcbuild.bat`。编译过程快速，成功时会看到日志信息。在src目录下，luajit.exe即为lua虚拟机。
接着，在src目录的同级目录创建一个VS工程，将源文件和头文件添加进来。初次尝试调试可能会遇到关于strerror函数安全性的警告，这可以通过在工程属性中添加_CRT_SECURE_NO_WARNINGS宏来解决。然而，链接阶段可能会出现重复定义的错误，这与ljamalg.c文件的编译选项有关。amalg选项用于生成单个大文件，以优化代码，但我们通常不启用它。
排除ljamalg.c后，再次尝试调试，可能还需要手动添加buildvm阶段生成的目标文件。当LuaJIT启动并设置好断点后，就可以开始调试源码了。至此，你已经成功搭建了一个LuaJIT的调试环境，为深入理解其工作原理铺平了道路。
Lua字节码文件结构及加载过程
在探索Lua的世界中，字节码文件结构与加载过程是程序运行效率的关键。本文将为你揭示Lua 5.4.3的内部奥秘，从文件头到函数块，逐一剖析其构造与加载流程。让我们一起深入理解Lua的免费企业源码高端加载逻辑，通过luaU_undump函数，将源代码编织成二进制的指令织锦。
首先，Lua字节码文件由文件头和函数块两大部分组成，如同编织的经纬线，共同构建起程序的基石。文件头包含了Lua的签名（"\x1bLua"）、版本号（例如Lua 5.4.3的）、官方格式号（0）以及LUAC_DATA的校验信息。紧接着是指令、整型和浮点型大小的指示，每个部分都承载着特定的含义，确保文件的正确性。
深入解析luaU_undump函数，它是Lua加载阶段的灵魂，处理着二进制文件的字节码。这个函数首先会进行头检查，包括Lua签名、版本号、格式号等，随后是lua_Integer和lua_Number的长度指示。例如，Lua 5.4.3的头字节包含整型、浮点型校验和文件头信息，通过反编译，我们可以看到函数原型的细节，如函数名、参数、行数和指令数量等。
在Lua 5.4.3的loadFunction函数中，我们看到函数块被精细划分，包括源代码、行号、参数、可变参数、栈大小、字节码、常量、上值和闭包等元素。这些元素通过loadStringN、loadUnsigned等函数逐一加载，确保每个部分都按照特定规则组织。
文件结构的关键部分包括loadConstants（如main函数中的常量"a"）、loadUpvalues（如全局表"_ENV"的加载）、loadProtos（函数内部原型的加载），以及loadDebug信息，如行号和变量名称。比如，main函数的4个指令和a函数的5个，以及upvalues数据" 5f 4e"，都在这个过程中得到解析。
在Lua的实现中，lauxlib.c、lapi.c、ldo.c和lundump.c等核心文件，拓客宝源码以及lua_load、f_parser、luaU_undump、checkHeader和loadFunction等核心函数，共同构建起字节码的编译和加载流程。从源代码到二进制，再到虚拟机的执行，每一个环节都经过精心设计，以达到高效的运行效率。
总的来说，Lua字节码文件结构的复杂性映射出其内在的执行效率。理解这些细节，不仅有助于我们编写更优化的脚本，也让我们对Lua的底层机制有了更深的认识。让我们继续探索luaU_undump的更多奥秘，揭开Lua字节码加载过程的神秘面纱。
Lua GC机制分析与理解-上
lua的垃圾回收(Garbage Collect)在lua编程中占据关键地位，尤其在5.3.4版本的源码中，本文将基于此版本进行深入探讨。lua采用的是标记清除式GC算法，其流程包括标记和清除两步骤：标记阶段从若干根节点开始，逐层追踪相关对象；清除阶段遍历标记过的对象链表，删除不再需要的内存。
在lua的垃圾回收中，使用白、灰、黑三种颜色标识对象的状态。白色代表可回收状态，初始对象为白色，表示未被访问；灰色代表待标记状态，已访问但引用的其他对象未标记；黑色则表示对象已完全标记，不可回收。为了区分新建对象的特殊情况，lua引入了白1和白2，确保在标记阶段结束后的清除阶段，新创建的对象不会被错误地清除。
GC过程从新建对象开始，通过luaC_newobj函数创建可回收对象，并将其标记为白色。触发GC的条件包括手动调用或内存使用超过设定阈值。在lua5.1之后，引入了分步执行机制，提高了系统的实时性，核心函数singlestep负责管理整个过程。
标记阶段从根对象开始，将白色变为灰色，并加入灰色链表。清除阶段则根据对象类型分步进行，如字符串直接回收，其他类型逐个检查颜色并释放空间。整个过程非搬迁式，不涉及内存整理。
总结起来，lua的GC机制就是通过灰色链表进行标记，然后遍历内存链表进行清除。网页信息采集源码虽然本文主要基于5.3.4版本，但原理适用于不同版本的lua。任何理解或改进的建议，都欢迎读者批评指正，期待您的反馈，感谢阅读。
《Lua5.4 源码剖析——基本数据类型 之 布尔类型》
《Lua5.4 源码剖析——基本数据类型 之 布尔类型》
Lua的基本数据类型中，布尔类型是最简单的一种。在Lua中，尽管通常认为布尔类型只有true和false两种值，但实际上，其在源码中的实现更为精细。Lua使用了TValue这个数据结构来存储所有类型，包括布尔类型。TValue包含了一个lu_byte类型的tt_（类型标记）和Value类型的value_（存储实际数据）。
tt_字段占用1个字节，其中4个位用于存储基本类型（0-8代表nil到thread），2个位用于表示类型变体，1个位用于垃圾回收标志。布尔类型通过类型变体实现，它被声明为LUA_TBOOLEAN，当tt_的第5位为0时代表false，为1时代表true。
判断布尔变量的宏定义在《lobject.h》中，而布尔类型的实际值并不存储在value_，而是直接在tt_字段中，以节省内存和判断复杂度。理解了这一点，我们就可以深入理解Lua中布尔类型的内存结构和使用方式。继续关注后续章节，将探讨其他基本数据类型在Lua5.4源码中的实现细节。
Lua如何进行大数运算（附源码）
在游戏服务器开发中，大数计算是常见但难以避免的问题。一般数值计算在math.maxinteger范围内可直接使用Lua常规计算，超出范围则需大数计算。本文介绍了两种基于Lua的大数计算库：基于Boost的Lua库和基于GNU bc的Lua库lbc。
基于Boost的Lua库通过安装Lua、Boost和GCC，编译生成Lua直接引用的so库。编译方式有正常编译和捆绑编译。捆绑编译通过make_boost.sh脚本将boost文件复制到boost文件夹，简化编译过程。但需要注意，捆绑编译可能不适用于最新版本的boost。
基于GNU bc的Lua库lbc由Lua的作者之一编写，具有简单、小巧、易用等特点。编译简单，几乎只需执行make。测试结果显示，lbc在位字符的数字上，执行加减乘除各一次，其时间在1秒以下，符合要求。小猪cms商城源码
本文还介绍了基于MAPM的Lua库lmapm，其特点与lbc类似。两种库在测试中表现稳定，但lbc提供了详细的位数信息，而lmapm采用科学计数法表示结果。
最后，本文建议根据实际需求选择合适的大数计算库。对于简单、方便、源码、可修改、可移植和精度要求较高的项目，lbc是不错的选择。同时，还介绍了其他开源的大数计算库，供读者参考。
《Lua5.4 源码剖析——基本数据类型 之 数字类型》
数字类型在编程中分为整数和浮点数两种。在Lua语言的5.3版本之前，所有数字都被底层实现为浮点数，整数的概念并未独立出来，而是通过浮点数的IEEE表示法进行表示与数据存储。这样，在进行整数运算时，可能会在多次运算后累积产生出意外的浮点误差。因此，从Lua5.3版本开始，Lua引入了对整数的支持，使其不再依赖于浮点数进行表示，并且支持位运算等整数运算操作符。
在Lua语言中，每个基础对象需要存储其类型标识，这个标识在源码《lua.h》中定义为tt，数字类型的tt枚举值为LUA_TNUMBER（对应数字3）。由于数字类型分为整型和浮点型，它们通过类型变体来区分。在源码《lobject.h》中，类型变体LUA_VNUMINT表示整型，而LUA_VNUMFLT表示浮点型。
数字类型在TValue中定义了Value字段，这个字段包含i和n两个字段，用于分别存储整型和浮点型的数值。在历史原因的影响下，lua_Number并不是指所有数字类型，而是专门指浮点类型；lua_Integer则专门指整型。因此，设置整数或浮点数时，需要先设置Value字段中的n字段（整型）或i字段（浮点型），然后使用settt_宏设置type tag(tt)字段为对应值LUA_VNUMFLT或LUA_VNUMINT。
在底层，数字类型的数据类型具体表现为lua_Integer和lua_Number。在源码《lua.h》中声明，lua_Number为LUA_NUMBER，lua_Integer为LUA_INTEGER。深入学习它们的定义，可以看到整型有int、long、long long三种类型，浮点型有float、double、long double三种类型。Lua5.4的默认配置中，整型使用long long类型，浮点型使用double类型。在Windows平台上，整型使用__int类型。
至此，数字类型的讲解就告一段落。希望本文对理解Lua语言中的数字类型有所帮助。
tolua源码分析（五）lua使用C#的enum
探讨了C#枚举如何在Lua中注册以及与普通类的注册区别。以官方提供的例子为例，展示了如何将C#的UnityEngine.Space类型的枚举推送到Lua层，并在Lua层面测试了诸如tostring、ToInt、Equals等接口，验证了在Lua层可以进行枚举的相等判断，以及将int转换为枚举或将枚举转换为int的操作。
在Lua层面表示C#的枚举，例子中在第行和第行将枚举推送到Lua层。由于枚举是值类型，C#层使用了enumMap缓存装箱后的object与枚举的映射关系。注册到Lua层的枚举类使用了EnumMetatable。
具体来看C#枚举注册到Lua的方法，例如在System_EnumWrap.Register方法中。在Lua层表示C#枚举的方式与普通类相似，但需要注意一些区别。
例如，当使用__tostring方法时，ToLua.ToObject将Lua栈上的userdata转换为object，通过userdata的index查找C#的object缓存，不会产生垃圾收集（GC）。同样地，ToInt方法中的CheckObject同样在C#的object缓存中查找，执行类型检查，也不会产生GC。
当比较C#的枚举与int类型时，由于使用了==操作符，这会触发装箱，产生一次GC。因此，在实际使用中应尽量避免在Lua层对C#枚举与number进行比较。而在Lua层直接比较两个C#枚举时，它们在Lua层被视为同一份userdata，因为它们来自于同一个C#缓存，index相同。
在将Lua栈上的number转换为C#枚举的实例时，IntToEnum方法在C#的UnityEngine_SpaceWrap类中实现。这个方法直接将double转换为int，再转换为UnityEngine.Space类型，避免了GC。在C#层推送到Lua层的枚举时，是从C#的缓存中取到枚举对应的object，然后推送到Lua层，也不会产生GC。
总结，在Lua使用C#的枚举时，从C#到Lua层的传递不会产生GC，在Lua层进行number与枚举类型之间的转换以及直接比较枚举时不触发GC。然而，当比较枚举与number时，会触发一次GC。针对这一情况，可以进行针对性优化。
下一节将深入研究在开发中常见的C#委托/事件如何注册到Lua函数的实现。
Lua性能优化（三）：ELuaProfiler开源
欢迎关注，我之前的文章中提到的Lua性能优化系列中，自己实现的LuaProfiler终于开源了！
之前由于工作原因，代码归属问题，让这款Profiler未能与大家分享。但如今，为了在UE4项目中进行Lua性能分析的需要，我花费时间开发出了一款新的工具——ELuaProfiler，并已将其开源在Github上。
ELuaProfiler，顾名思义，是一个易于使用的Lua性能剖析器。目前，它专注于UnLua-ue4的老版本，因为我们的项目采用了这个版本。ELuaProfiler的核心功能是ELuaMonitor，它支持三种剖析模式：Total（整体性能）、PerFrame（帧级性能）和Statistics（统计数据）模式，与Unity自带的Profiler功能相似。
此外，ELuaMonitor允许用户动态调整Profile的深度，以满足不同深度的性能分析需求。它还兼容Windows和Mac平台，因为它是基于UE4原生编辑器构建的，且已修复了导致iOS构建问题的bug。
未来，我计划继续改进和扩展ELuaProfiler的功能，以更好地服务于Lua性能分析社区。如果你对Lua性能优化感兴趣，或者需要一个实用的Profiler工具，ELuaProfiler是一个不错的选择，现在就去Github上获取它的源码吧！
Lua5.4 源码剖析——虚拟机6 之 OpCode大全
深入探索Lua5.4虚拟机的奥秘——OpCode大揭秘 在Lua5.4的世界里，多个精心设计的OpCode构成了其强大的指令集，它们像乐谱上的音符，驱动着程序的旋律。让我们一起走入Lua5.4的虚拟机，逐个解析这些关键的指令代码单元。数据加载乐章
首先，我们来到数据加载的舞台，OpCode在这里翩翩起舞:OP_MOVE: 轻盈地将值从一个寄存器转移到另一个，就像调色板上的颜色流转。
OP_LOADI/OP_LOADF/OP_LOADK/OP_LOADKX: 数字的音符——整数、浮点数、常量和UpValue，一一奏响。
OP_LOADTRUE/OP_LOADFALSE: 布尔值的二元抉择，为逻辑运算注入力量。
OP_LOADNIL/OP_GETUPVALUE/OP_GETTABUP: 无尽的赋值之路，从零开始，直至无穷。
算术运算交响曲
接着，我们进入算术运算的篇章，OpCode在此处激荡:从简单的OP_ADDK（R[A]:=R[B]+K[C]）到OP_SUBK、OP_MULK、OP_MODK，再到OP_POWK和OP_DIVK，每个都是音符间的和谐对话。
直接数字运算，如OP_ADDI（R[A] = R[B] + sC），界限清晰，无需预存，如音乐中的即兴演奏。
寄存器间的算术运算，如OP_ADD、OP_SUB等，像弦乐四重奏中的协奏。
位运算与Table操作
然后，我们步入位运算和Table操作的篇章，它们是程序逻辑的精密齿轮：OP_BANDK、OP_BORK和OP_BXORK，与数字或寄存器进行二进制对话，像编钟的和谐共鸣。
OP_SHL和OP_SHR，位移的旋律，为数据结构增添深度。
OP_NEWTABLE创生新表，OP_GETI/GETFIELD/GETTABLE查询信息，OP_SETI/SETFIELD/SETTABLE则进行修改，像编排一场数据舞蹈。
元方法与函数调用
接下来，元方法与函数调用的乐章，OpCode在其中担任指挥:MMBIN、MMBINI和MMBINK，元方法调用的三种旋律，为对象赋予魔法。
OP_CALL和OP_TAILCALL，函数调用的起始与结束，像指挥家的挥棒和收棒。
OP_VARARGPREP和OP_VARARG，处理可变参数，为函数调用增添变奏。
跳转与控制流
最后，我们来到指令的跳跃和控制流部分，OP_JMP如同指挥棒，引导程序的旋律:OP_JMP的精确跳跃，如同乐章的节奏变化，控制程序的进程。
在Lua 5.4中，goto的加入，让程序的流程更加灵活。
等式判断与循环
等式判断与循环的OpCode，如同交响乐的高潮，丰富而有力:OP_EQ、OP_LT、OP_LE、OP_GTI、OP_GEI，比较与判断，赋予逻辑深度。
OP_TEST和OP_TESTSET，条件判断与赋值的巧妙结合。
OP_FORPREP和OP_TFORPREP，循环的启动与准备，OP_FORLOOP和OP_TFORCALL，执行旋律的反复。
杂项OpCode的精彩点缀
最后，8个杂项OpCode为乐章画上完满的句号:OP_UNM：数值取负，反转音符的旋律。
OP_BNOT：位取反，逻辑的翻转。
OP_NOT：条件取反，为逻辑增添复杂性。
OP_LEN：求对象长度，探索数据的深度。
OP_CONCAT：字符串拼接，连接旋律的片段。
OP_SETLIST：创建列表，初始化的序曲。
深入理解Lua5.4的OpCode，就像欣赏一场丰富的音乐盛宴，每一个音符都蕴含着程序的智慧与力量。让我们沉浸在这奇妙的虚拟机世界，继续探索更深层次的编程奥秘。祝你乐在其中，收获满满!Lua5.4 源码剖析——杂谈 之 如何调试Lua源码
我们有时候写了一段Lua代码，希望能通过断点调试的方式看一下我们的代码在执行过程中Lua虚拟机的状态与运行流程。本篇教程我将教大家Windows与Mac环境下如何配置Lua源码调试环境。
Lua调试环境需要有Lua源码，我们从官网下载源码：
Windows下Lua源码调试环境搭建
1）下载Visual Studio，可自行在官网下载最新版本即可：
2）打开VIsual Studio，创建一个新的C++控制台工程，我这里以Visual Studio 版本进行举例：
项目可任意命名，本例中我们命名为TestLua：
3）工程中添加Lua源码文件：
3.1）拷贝源代码文件到项目的文件夹，Makefile文件可以不拷贝：
3.2）把上面这些文件导入工程：
"
.h
头文件导入：导入所有".h"后缀文件到头文件文件夹中（右键头文件->添加->现有项）：
"
.c
源文件导入：导入所有".c"后缀文件到源文件的文件夹（右键源文件->添加->现有项）：
4）生成exe可执行文件：
文件都导入完成了，这时候如果按"生成"或者"F5"，会有如下的报错：
这是因为除了我们创建项目工程的时候自带源文件中的一个main函数以外，Lua源码中也定义了两个Main函数。他们分别对应的是luac编译工具的启动函数和lua运行工具的启动函数。要想编译通过，我们只需要根据自己要调试目的，从3个main里面把用不到的2个main删掉或者重命名即可。
本例中，我打算在自己的main里面实现通过dofile函数执行一个Lua文件的功能，所以我不需要启动lua和luac指令控制台，所以我把他们的main函数改名：
luac.c：把main函数改名为luac_main函数：
lua.c：把main函数改为lua_main：
上述源码中多余的2个main函数都改名了，这时候已经能编译通过并生成出exe可执行文件了。
接下来我们可以开始编写自己的main函数逻辑了，打开TestLua.cpp，输入以下内容，作用是运行一个在项目目录下名字为"testlua.lua"的lua文件：
5）testlua.lua文件创建与编写：
上述代码在运行时会执行testlua.lua文件，接下来我们就需要在工程目录下创建这个将要被执行的testlua.lua文件：
打开testlua.lua文件，添加任意lua代码，这里我们简单调用print打印一句信息：
6）在Visual Studio中按“F5”开启调试，可以看到控制台被成功运行，我们的lua文件也被成功执行，打印出了信息：
7）断点调试指令OpCode：
学习过我的《Lua源码剖析 之 虚拟机》系列教程的同学应该知道Lua的指令就是各种OpCode的执行，我们可以在《lvm.c》的下面这个地方加断点再按F5重新启动程序，程序在每执行一条OpCode指令就会在这处代码断点下来，这时候我们就能看到下一条要执行的OpCode是哪一条了：
在本例中的print函数最终会执行到OP_CALL这个调用分支：
Windows环境下搭建Lua源码调试环境的教程到此结束。
Mac下Lua源码调试环境搭建
因为大部分流程与上面Windows一样，所以我下面会省略一些重复步骤。
1）下载XCode，可自行在AppStore进行下载。
2）打开XCode，创建一个新的C++控制台工程，本例中命名为TestLua：
3）工程中添加Lua源码文件：
3.1）拷贝源代码文件到项目的文件夹，Makefile文件可以不拷贝：
3.2）把拷贝后的文件导入工程：
不需要区分".h"和".cpp"，全选导进来就好了：
4）与Windows流程同样，把源码自带的2个main函数改名：
luac.c：把main函数改名为luac_main函数：
lua.c：把main函数改为lua_main：
把源码中多余的2个main函数都改名了，接下来同样，开始编写我们的main.cpp，打开该文件并添加代码如下代码。为了在mac下文件读取代码更简洁，在下面的Lua文件我暂时先使用文件的绝对路径，暂时把testlua.lua文件放在我的mac的桌面上进行读取：
5）在mac的桌面上创建testlua.lua文件，添加任意lua代码：
6）同理可正常运行或者加断点进行调试，这里不再赘述：
总结
本文我们学习了如何在Windows与Mac下搭建Lua源码调试环境。另外，我们上述使用的例子是通过dofile运行一个lua文件，同学们也可以试试保留lua.c里面的main函数，删掉另外两个，此时按开始调试可启动lua的即时解析控制台，在控制台里面可自行输入任意Lua代码，并可断点查看即时运行状态或最终结果，感兴趣的同学可以自行试试。
不过，尽管能调试Lua源码，但如果之前没有学习过我的那些Lua源码剖析教程，可能很多地方会看不懂，所以这里建议有空的同学还是可以先去学习一下的。
谢谢阅读。
2024-12-24 07:43
2024-12-24 07:29
2024-12-24 07:00
2024-12-24 06:28
2024-12-24 06:26
