Sonic JSON库在macOS ARM64架构下的内存安全问题分析

问题背景

在macOS ARM64架构环境下，使用Sonic JSON库进行并发反序列化操作时，会出现内存安全问题。具体表现为运行时错误"runtime: marked free object in span"，这通常与内存管理异常相关。该问题在Apple Silicon M2芯片的macOS 15.3.1系统上可稳定复现，但在x86架构上无法重现。

问题现象

当使用Sonic库并发解析特定结构的JSON数据时，程序会抛出内存错误。测试用例中定义了一个包含二维字符串数组的结构体MyJs，通过多个goroutine并发执行反序列化操作后，系统报告了内存标记错误。

技术分析

错误本质

运行时错误"marked free object in span"表明内存管理子系统检测到了异常情况：一个已经被标记为释放的内存对象仍在被使用。这通常由以下原因导致：

1. 不安全的指针操作导致内存访问越界
2. 并发环境下的数据竞争
3. 内存回收机制与使用不同步

架构相关性

该问题仅在ARM64架构出现，可能与以下因素有关：

1. 内存对齐要求的差异
2. 缓存一致性模型的实现不同
3. 指针处理方式的微架构差异

并发场景分析

测试用例中创建了20个goroutine，每个执行50万次反序列化操作。这种高并发压力测试暴露了库在ARM64架构下的内存安全问题。

解决方案建议

1. 内存访问检查：需要审查所有涉及unsafe.Pointer的操作，确保符合ARM64架构的内存访问规范

2. 并发控制：增加必要的同步机制，确保内存操作在并发环境下的安全性

3. 架构适配：针对ARM64架构特点优化内存管理策略

对比验证

使用标准库encoding/json替代Sonic进行相同测试，程序能正常完成，这表明问题确实存在于Sonic库的特定实现中。

总结

这个问题揭示了JSON解析库在跨平台、特别是新兴ARM64架构上的兼容性挑战。开发者在使用高性能JSON库时应当注意：

1. 充分进行目标平台的兼容性测试
2. 在高并发场景下进行压力测试
3. 关注不同架构下的内存模型差异

该问题的修复将提升Sonic库在Apple Silicon设备上的稳定性和可靠性，为ARM64架构用户提供更好的使用体验。