Geogram项目中MacOS下CSG操作崩溃问题的分析与解决

问题背景

在Geogram项目中，用户报告了在MacOS系统下执行CSG（Constructive Solid Geometry）操作时偶尔会出现崩溃的问题。这个问题并非每次都能重现，主要发生在CSG测试用例中，有时也会出现在Intersect测试（如three_cubes）中。

问题分析

经过深入调查，发现这个问题实际上由两个独立的问题共同导致：

1. 栈空间不足问题：MacOS系统默认的栈大小比其他操作系统要小得多，而项目中某些算术扩展操作会在栈上分配内存，当扩展规模较大时就会导致栈溢出。

2. 并发访问问题：在AttributeStore中存在错误的并发访问模式，当同时进行属性连接和属性存储大小调整时会出现竞态条件。

解决方案

栈空间优化

针对栈空间不足的问题，采取了以下改进措施：

1. 降低栈上分配的阈值：将MAX_CAPACITY_ON_STACK从1024降低到512，后来又进一步降低到256，以减少栈上分配的内存大小。

2. 动态选择分配位置：在expansion::compare()函数中，当需要分配的扩展大小超过阈值时，改为在堆上分配临时扩展对象。

3. 调整断言条件：考虑到标准谓词可能需要使用400-500个组件的扩展（虽然数量不多但不会导致栈溢出），放宽了bytes_on_stack()中的断言条件。

并发问题修复

针对并发访问问题，实施了以下修复：

1. 添加自旋锁保护：在AttributeStore::notify()方法中添加了自旋锁的获取和释放操作，确保线程安全。

2. 预分配资源：在simplify_coplanar_facets()函数开始时预先分配足够的facet空间（最多为现有facet数量的两倍），避免在并行处理过程中动态分配。

3. 潜在改进方向：考虑为MeshElements添加readonly机制，进一步确保在并行处理过程中不会发生意外的内存分配。

验证与结果

经过多次测试运行，包括：

1. 在模拟MacOS环境的Linux机器上进行测试
2. 多次运行CSG测试用例
3. 检查各种边界条件（如example_014.csg和example_018.csg）

最终确认这些问题得到了有效解决，项目在MacOS下的稳定性得到了显著提升。

经验总结

这个案例提供了几个有价值的经验：

1. 跨平台开发注意事项：不同操作系统在资源限制（如栈大小）上可能有显著差异，开发时需要特别关注。

2. 并发编程的陷阱：即使看似简单的操作（如属性通知）在多线程环境下也可能出现竞态条件，需要仔细设计同步机制。

3. 防御性编程：对于可能消耗大量资源的操作，预先分配足够的空间是避免运行时问题的有效策略。

通过这次问题的分析和解决，Geogram项目在MacOS平台上的稳定性和可靠性得到了显著提升，为后续开发奠定了更坚实的基础。