Racket BC在Apple Silicon上的并行编译问题分析

Racket是一种多范式编程语言，其实现分为两个主要版本：CS（Chez Scheme）和BC（基于C的原始实现）。近期在Racket BC 8.11.1版本中，用户报告了一个在Apple Silicon（M1 Max）平台上运行raco setup命令时出现的挂起问题。

问题现象

当用户在Apple Silicon设备上运行Racket BC的x86_64版本（通过Rosetta 2转译）执行raco setup命令时，命令会在"parallel build using 8 jobs"阶段挂起，不再产生任何输出，但CPU仍保持活动状态。这个问题特别出现在使用多线程并行编译时。

技术背景

Racket BC的垃圾收集器使用写屏障(write barrier)技术来跟踪对象引用关系。在并行环境下，这一机制依赖于信号(signal)传递来协调不同线程间的操作。然而，在Rosetta 2转译环境下，信号传递机制似乎存在问题，导致信号可能被传递到错误的线程，进而破坏了垃圾收集器的正常工作。

解决方案

目前有以下几种临时解决方案：

1. 使用单进程模式：通过添加--processes参数强制使用单进程模式而非多线程模式：

   raco setup --processes
   

2. 使用CS版本：对于Apple Silicon用户，建议直接使用原生ARM64架构的Racket CS版本，这不仅能避免此问题，还能获得更好的性能。

3. 等待官方修复：Racket核心开发团队已注意到此问题，但考虑到这是首次报告且影响范围有限，修复优先级可能不高。

深入分析

这个问题揭示了Rosetta 2转译层在处理某些底层机制时的局限性。特别是：

• 信号传递在多线程环境下的正确性
• 写屏障实现与信号处理的紧密耦合
• x86_64与ARM64架构在并发原语上的差异

值得注意的是，这个问题不仅限于macOS平台，类似的挂起现象也出现在Linux环境的GitHub Actions中，表明这可能是一个更广泛的BC实现问题。

最佳实践建议

对于Apple Silicon用户：

1. 优先使用原生ARM64架构的Racket CS版本
2. 如需使用BC版本，确保添加--processes参数
3. 关注Racket官方更新，特别是对Apple Silicon平台的优化

这个问题虽然影响有限，但它提醒我们在跨架构环境中运行软件时需要特别注意底层机制可能存在的兼容性问题。