编译为c-archive的Go库中全局变量OC的异常行为排查

问题背景 #

针对go-ethereum的bn256模块开展模糊测试，模糊器基于DynamoRIO与libFuzzer实现，需将Go库编译为静态C库供调用。实现中通过全局ObjCollection(OC)结构体管理指针，仅使用OC内的指针索引操作，但出现异常：New函数执行期间OC.handlers存在内容，但每次New操作完成后OC.handlers被清空；改用单独的handler数组则无此问题。

可能原因分析 #

1. 全局变量的意外重初始化
   若OC并非在Go包级别定义的全局变量，而是在New函数内部重新声明（如var OC ObjCollection），会导致每次调用New时都创建新的局部OC实例，覆盖全局状态，表现为字段内容无法持久。
2. 切片的隐式重置操作
   如果OC.handlers是切片类型，若在New函数中存在OC.handlers = []Handler{}这类直接赋值为空切片的操作，会直接清空已有内容；而单独使用数组时，因数组是固定长度的值类型，不会被意外重置。
3. C-Go交互的内存可见性与GC影响
   Go与C的内存模型存在差异，全局结构体的切片底层数组可能被Go GC误回收，导致下次调用时切片表现为空；而数组的内存分配更稳定，不易被GC影响。此外，若C侧调用Go函数时触发了Go runtime的重复初始化，也可能导致全局状态重置。

解决方法 #

1. 确认全局变量的定义位置
   确保OC是Go包级别的全局变量，示例：

   package bn256
   
   type Handler struct {
       // 结构体字段定义
   }
   
   type ObjCollection struct {
       handlers []Handler
   }
   
   // 包级别全局变量，仅初始化一次
   var OC = ObjCollection{
       handlers: make([]Handler, 0),
   }
   

   避免在New函数内部重新声明同名变量。
2. 修正切片操作逻辑
   操作OC.handlers时，使用append添加元素或直接修改切片元素，禁止直接赋值为空切片。示例：

   // 正确：添加新handler
   func New() int {
       newHandler := Handler{}
       OC.handlers = append(OC.handlers, newHandler)
       return len(OC.handlers) - 1 // 返回索引
   }
   
   // 错误：直接清空切片
   // func New() int {
   //     OC.handlers = []Handler{}
   //     // ...
   // }
   

3. 防止GC回收全局结构体
   在C调用Go函数的边界处，使用runtime.KeepAlive(OC)确保全局对象不被GC回收；或考虑将OC.handlers改为固定大小的数组（若可预估最大数量）。
4. 验证编译与链接参数
   编译Go静态库时使用标准命令：

   go build -buildmode=c-archive -o bn256.a ./bn256
   

   确保链接C程序时正确引入静态库，未添加可能干扰全局变量生命周期的编译选项。

总结 #

该问题的核心原因多为全局变量定义错误、切片操作逻辑不当，或C-Go交互中的内存管理问题。通过排查全局变量声明、修正切片操作、优化内存管理逻辑，即可解决OC.handlers内容无法持久的问题。

内容的提问来源于stack exchange，提问作者Степан Кафанов