C#多线程场景下疑似不可能的索引越界异常排查

问题背景 #

开发基于SFML的C#多线程物理渲染引擎时，出现无规律随机OutOfRangeException异常：

• 异常逻辑运行在独立线程，排查确认循环变量i无其他位置的引用干扰
• 调试器变量监视显示所有相关变量取值均在合法区间
• 已重命名所有同名循环变量、确认逻辑隔离后异常仍随机复现

核心问题答复 #

• 异常是否可能由其他看似完全隔离的代码段触发？
  是，该问题本质是多线程无锁访问共享状态导致的竞态条件，你认为逻辑隔离的代码，实际都在并发操作Solver类下的同一份共享集合对象，没有做任何线程同步处理。
• 问题是否与C# for循环固有运行机制有关？
  完全无关。C# for循环的循环变量是当前循环作用域下的局部变量，不存在框架层面隐式被外部修改的机制，重命名同名变量无法解决问题，是因为根因和循环变量本身无关。
• 是否存在未感知到的隐式修改循环变量i的逻辑？
  不存在。你观测到的“变量值合法但抛出越界”是典型的并发读写快照不一致现象：调试器显示的是断点命中时刻的变量值，另一个线程会在你读取集合长度、按下标访问元素的时间间隙内修改集合结构，直接触发越界，和循环变量被篡改没有关系。

具体根因定位 #

从提供的代码看，三个通过Parallel.Invoke启动的并行线程，全程无锁访问三个共享集合：Particals（List<Partical>类型）、Grid（二维List<int>数组）、Collision（List<Vector2>类型），所有随机越界都来自以下并发冲突和逻辑漏洞：

1. 集合并发读写冲突
   • 渲染线程遍历solver.Particals绘制时，物理线程正在更新粒子位置、修改Grid存储的粒子ID，碰撞检测线程同时遍历Grid、往Collision列表写入碰撞对；物理线程更新位置时会对Grid对应格子的List做Remove和Add操作，碰撞检测线程刚读完ts.Count拿到长度值，List就被物理线程删掉了元素，再按下标访问ts[brokenint]时直接触发越界。
   • 物理线程遍历Collision列表处理碰撞、执行Clear()操作的同时，碰撞检测线程正在往Collision里Add新碰撞对，List内部扩容、元素数量变化时也会随机触发越界。
2. 网格初始化与边界逻辑漏洞
   • Grid声明的大小是2100*1100，但初始化时只给前210*110个格子创建了List实例，粒子移动后访问到未初始化的格子时，要么拿到null触发空引用，要么坐标超出初始化范围直接触发数组越界。
   • 计算粒子网格坐标时没有做边界钳制，粒子一旦移动到x<0、x≥2000、y<0、y≥1000的位置，算出的网格索引直接超出Grid的维度合法范围，访问Grid[x,y]时直接抛越界。
3. 异常捕获掩盖问题
   渲染线程里用空catch块兜住所有异常，只输出一句notready yet，直接丢失了异常的堆栈、出错位置等关键调试信息，进一步加大了排查难度。

修复方案 #

• 共享状态加线程同步：所有跨线程访问的集合操作，要么用lock关键字包裹保证读写原子性，要么采用双缓冲方案，物理线程算完一帧完整数据后，拷贝一份只读快照给渲染、碰撞检测线程使用，彻底避免多线程同时操作同一份集合实例。
• 补全网格逻辑：要么将Grid大小调整为和10像素网格匹配的200*100尺寸并全量初始化，要么初始化所有声明的网格节点；所有网格坐标计算后加钳制逻辑，确保索引永远在合法范围内，示例代码：

int x = (int)Math.Round(partical.position.X / 10);
int y = (int)Math.Round(partical.position.Y / 10);
// 钳制索引到数组合法范围
x = Math.Clamp(x, 0, Grid.GetLength(0) - 1);
y = Math.Clamp(y, 0, Grid.GetLength(1) - 1);

• 调试阶段禁止空catch吞异常，至少要输出异常类型、调用堆栈信息，快速定位出错位置。
• 碰撞检测流程和物理更新流程做时序对齐，避免碰撞队列写入和读取清理的并发冲突。

内容的提问来源于stack exchange，提问作者JMO