BDWGC垃圾收集器在Solaris Sparc平台上的SIGSEGV问题分析与解决

问题背景

BDWGC（Boehm-Demers-Weiser垃圾收集器）是一个广泛使用的保守式垃圾收集器。在Solaris Sparc平台上运行测试套件时，开发者发现了四个测试用例（cordtest、gctest、staticrootstest和disclaim_test）会出现段错误（SIGSEGV）。这个问题仅在Sparc架构上出现，在Intel平台上运行正常。

问题分析

通过核心转储分析，发现崩溃发生在GC_proc_read_dirty函数中，具体是在读取进程页表数据时发生的。进一步调试发现，问题与Solaris系统的/proc/<pid>/pagedata文件解析有关。

关键发现点包括：

1. 页表数据结构解析错误，导致读取到非页对齐的地址（如0x36353535312e3137）
2. 读取到的页表信息明显不合理（如页面大小为0，映射数量大于页面数量）
3. 32位和64位模式下行为不一致

根本原因

经过深入分析，确定问题由两个主要因素导致：

1. 头文件包含问题：原代码使用了<sys/procfs.h>，但在Solaris系统上应该使用<procfs.h>来获取正确的prasmap结构定义。

2. 内存对齐问题：原代码使用sizeof(long)进行内存对齐计算，这在64位Sparc架构上会导致对齐不正确。需要改为固定使用8字节对齐。

解决方案

针对上述问题，实施了以下修复措施：

1. 修改头文件包含方式：

// 原代码
#include <sys/procfs.h>
// 修改后
#include <procfs.h>

2. 修正内存对齐计算：

// 原代码
bufp = (char *)(((word)bufp + (sizeof(long)-1)) & ~(word)(sizeof(long)-1));
// 修改后
bufp = (char *)(((word)bufp + 7) & ~(word)7);

后续问题

虽然解决了段错误问题，但在进一步测试中发现了两个新问题：

1. /proc读取失败警告：当缓冲区大小增加到一定值时仍无法完成读取
2. 信号传递失败：垃圾收集过程中信号无法正常传递

这两个问题需要单独处理，不属于本次段错误问题的范畴。

技术启示

这个案例展示了跨平台开发中可能遇到的典型问题：

1. 系统头文件差异：不同Unix系统可能在头文件位置和内容上存在差异，需要特别注意。

2. 内存对齐问题：在64位架构上，不能假设long类型的大小，特别是在涉及系统数据结构时。

3. 平台特性：Sparc架构对内存访问有更严格的要求，需要特别注意指针操作的正确性。

结论

通过对BDWGC在Solaris Sparc平台上的段错误问题的分析和修复，不仅解决了特定平台的兼容性问题，也为其他类似跨平台开发项目提供了宝贵的经验。特别是在处理系统级数据结构和内存对齐问题时，需要充分考虑目标平台的特性。