bdwgc项目在Solaris系统上的信号传递问题分析

问题背景

在bdwgc项目中，当在Solaris系统上使用DEFAULT_VDB或64位模式时，会出现信号传递失败的问题。具体表现为测试程序gctest在执行过程中会报告"Signals delivery fails constantly"错误，有时甚至会导致程序挂起。

问题表现

该问题在两种配置下出现：

1. 使用DEFAULT_VDB编译时
2. 在64位模式下编译时

测试程序会输出类似以下错误信息：

Running on SOLARIS/SPARC target
Supported VDBs: manual default
Switched to incremental mode
Signals delivery fails constantly at GC 4808

根本原因分析

通过深入分析线程堆栈和程序行为，发现这是一个并发问题，具体表现为：

1. 线程挂起功能(GC_ENABLE_SUSPEND_THREAD)存在缺陷
2. 在线程清理过程中信号丢失
3. 导致线程无法正确挂起和恢复
4. 最终形成死锁状态

从堆栈跟踪可以看出，一个线程(Thread 61)在退出时尝试获取GC_lock，而另一个线程(Thread 60)则试图挂起自己，同时还有线程在等待被挂起的线程确认状态。

临时解决方案

目前可以通过以下方式临时解决该问题：

1. 在配置时使用--disable-gcj-support选项
2. 或者直接修改配置，取消定义GC_ENABLE_SUSPEND_THREAD宏

这两种方法都能有效避免信号传递失败的问题，因为它们禁用了有缺陷的线程挂起功能。

长期解决方案

项目维护者已经确认需要修复GC_retry_signals在GC_suspend_thread中的实现。这将从根本上解决信号丢失导致的线程挂起问题。不过由于问题复杂性较高，这被标记为低优先级任务。

技术细节

在Solaris系统上，特别是SPARC架构下，信号处理和线程同步机制有其特殊性。当使用DEFAULT_VDB或64位模式时，内存访问模式和信号传递机制的变化会放大原本存在的线程同步问题。

线程挂起功能依赖于信号来通知目标线程暂停执行，但在Solaris环境下，特别是在线程清理过程中，这些信号可能会丢失，导致线程无法正确响应挂起请求，最终形成死锁。

结论

bdwgc在Solaris系统上的信号传递问题主要源于线程挂起功能的实现缺陷。虽然目前有临时解决方案，但长期来看需要完善GC_retry_signals机制。对于需要在Solaris上使用bdwgc的开发者，建议暂时禁用GC_ENABLE_SUSPEND_THREAD功能以避免此问题。