LuaJIT在ARM64架构下FFI结构体传参问题的分析与解决

问题背景

在LuaJIT的FFI（Foreign Function Interface）功能使用过程中，开发者发现当调用某些特定模式的C函数时会出现参数传递错误。具体表现为：在Apple M4 arm64平台（macOS 15.4系统）上，调用接收结构体参数（该结构体仅包含一个double数组字段）和指针参数的函数时，当double数组长度N≤4时会出现参数传递错误，导致函数向不可预测的内存块写入数据；而当N≥5时则表现正常。

技术分析

这个问题本质上与ARM64架构下的函数调用约定（calling convention）有关。在ARM64架构中，参数传递遵循特定的寄存器使用规则：

1. 基本类型参数通常通过寄存器传递
2. 结构体参数可能通过寄存器或栈传递，取决于结构体的大小和内容
3. 当结构体满足特定条件时（如包含浮点数组），其传递方式会有特殊处理

LuaJIT的FFI实现需要准确模拟目标平台的调用约定。在这个案例中，当结构体包含的double数组长度较小时（N≤4），LuaJIT的分类逻辑存在缺陷，导致未能正确识别应该使用的参数传递方式。

问题影响

这种传参错误会导致：

• 函数接收到错误的参数值
• 可能引发内存越界写入
• 程序出现不可预测的行为
• 在特定条件下（N≥5）却能正常工作，增加了问题的复杂性

解决方案

LuaJIT开发团队在收到问题报告后，确认这是一个ARM64平台下按值传递结构体分类的普遍性问题。通过分析测试用例，团队修复了相关的分类逻辑，确保不同大小的结构体都能正确传递。

开发者启示

1. 在使用FFI进行跨语言调用时，需要特别注意不同架构下的调用约定差异
2. 结构体参数的传递是FFI使用中的常见痛点，需要充分测试
3. 当发现参数传递异常时，可以考虑：
   • 检查结构体大小是否触发了不同的传递规则
   • 验证目标平台的调用约定
   • 使用简单的测试用例进行隔离验证

总结

这个问题展示了低级语言交互中隐藏的复杂性，特别是在不同硬件架构之间。LuaJIT团队快速响应并修复了这个问题，体现了项目对跨平台兼容性的重视。对于开发者而言，理解底层调用约定和进行充分的跨平台测试是保证FFI功能稳定性的关键。