Puerts项目xil2cpp版本多JsEnv并发访问导致崩溃问题分析

问题背景

在Unity项目中使用Puerts的xil2cpp版本时，当存在多个JsEnv实例并发运行且其中一个JsEnv实例被C#垃圾回收(GC)时，程序会出现概率性崩溃。这个问题在Release版本的xcode工程中尤为明显，而在Debug版本中则较少出现。

崩溃现象分析

从崩溃日志可以看出，崩溃发生在GC线程尝试释放虚拟机时。此时主线程中另一个JsEnv实例正在运行。这种多线程并发访问的情况在xil2cpp版本中尚未得到支持，因此导致了程序崩溃。

根本原因

1. 多线程GC问题：在Release版本中，Unity使用了多线程GC机制，而Debug版本则使用单线程GC。这解释了为什么Debug版本不易复现该问题。

2. JsEnv生命周期管理：在测试用例中，存在大量创建JsEnv实例但未及时Dispose的情况。当GC线程尝试回收这些JsEnv实例时，如果主线程中其他JsEnv实例仍在运行，就会导致线程安全问题。

3. xil2cpp版本的特殊性：在默认版本中，由于il2cpp不支持将成员函数作为委托传递给原生代码，Puerts不得不将JsEnv实例存储在全局静态数组中，从而避免了GC自动回收JsEnv实例。而xil2cpp版本没有这种保护机制。

技术细节

1. 线程安全：xil2cpp版本目前尚未实现对多线程访问的完整支持，当GC线程和主线程同时操作JsEnv相关资源时，就会出现竞态条件。

2. 内存管理：JsEnv实例包含原生资源，理想情况下应该显式释放而不是依赖GC。测试用例中未及时Dispose的做法违反了这一原则。

3. 调试与发布版本的差异：Debug版本使用单线程GC，减少了并发访问的可能性；而Release版本的多线程GC机制更容易暴露线程安全问题。

解决方案建议

1. 显式资源管理：确保所有JsEnv实例在使用完毕后立即调用Dispose方法，而不是依赖GC来回收。

2. 线程同步机制：在xil2cpp版本中实现适当的线程同步机制，确保GC线程和主线程不会同时访问关键资源。

3. 全局实例管理：考虑采用类似默认版本的全局静态数组方案，避免GC自动回收JsEnv实例。

4. 测试用例改进：修改测试用例，确保每个测试创建的JsEnv实例都能被正确释放。

总结

这个问题揭示了在Unity xil2cpp环境下使用Puerts时需要注意的几个关键点：线程安全、资源生命周期管理和不同构建配置的行为差异。开发者在使用多个JsEnv实例时应当特别注意显式管理资源，避免依赖自动GC机制，特别是在Release版本中。