Hermes引擎中处理Unicode字符参数时Array.prototype.join的崩溃问题分析

问题概述

在JavaScript引擎Hermes中，当使用包含Unicode字符作为参数的Array.prototype.join方法时，引擎会出现崩溃现象。这个问题主要发生在处理特定类型的JavaScript代码时，特别是当代码涉及深度递归调用和大量Unicode字符处理时。

技术背景

Hermes是Facebook开发的一个优化型JavaScript引擎，专门为React Native应用设计，以提高性能并减少内存占用。在JavaScript中，Array.prototype.join方法用于将数组的所有元素连接成一个字符串，可以接受一个可选的分隔符参数。

问题复现

通过以下测试代码可以复现该问题：

const v22 = new Uint8ClampedArray(3);
function f23() {
    try { v22.findLast(f23); } catch (e) {}
    for (let i27 = 0, i28 = 257; i27 != i28; i28--) {
        const v36 = String.fromCodePoint(i28);
        const v37 = [];
        try {
            v37.length = 4059;
            Function(v37.join(v36));
        } catch(e42) {} 
    }
    return v22;
}
f23()

这段代码的关键点在于：

1. 创建了一个Uint8ClampedArray
2. 定义了一个递归函数f23
3. 循环生成各种Unicode字符作为分隔符
4. 使用这些Unicode字符作为join方法的分隔符
5. 将join结果传递给Function构造函数

崩溃原因分析

崩溃主要发生在两个代码位置，表现为两种不同的调用栈：

第一种崩溃发生在词法分析阶段：

• 当处理Unicode字符作为分隔符生成的字符串时
• 词法分析器在解析这些特殊字符时出现异常
• 导致SMLoc(源码位置标记)对象初始化失败

第二种崩溃同样发生在词法分析阶段：

• 在处理深度递归调用时
• 词法分析器在解析过程中耗尽栈空间
• 导致解析过程无法继续

根本原因是Hermes引擎在处理以下组合时存在缺陷：

1. 大量Unicode字符作为分隔符
2. 生成的超长字符串
3. 深度递归调用
4. Function构造函数的动态解析

解决方案

这个问题在Hermes的static_h分支中已经得到修复。主要修复方向包括：

1. 改进了词法分析器对Unicode字符的处理
2. 增加了栈空间不足时的保护机制
3. 优化了Function构造函数的内存管理

对于开发者来说，建议：

• 避免在递归函数中动态生成大量Unicode字符串
• 谨慎使用Function构造函数解析动态生成的代码
• 考虑升级到包含修复的Hermes版本

总结

这个案例展示了JavaScript引擎在处理边缘情况时可能遇到的挑战，特别是在Unicode字符处理和深度递归调用方面。对于Hermes这样的优化型引擎，平衡性能和稳定性尤为重要。开发者在使用类似功能时应当注意这些边界条件，以避免潜在的问题。