IGL项目中Vulkan交换链图像索引越界问题分析与修复

问题背景

在IGL项目的Vulkan后端实现中，开发人员发现了一个严重的运行时崩溃问题。该问题出现在使用Vulkan交换链(swapchain)进行图像呈现时，具体表现为currentImageIndex_索引值超出acquireFences_数组的有效范围。

问题现象

当在三星Galaxy Tab S7+和华为Mate 60等设备上运行Vulkan演示程序时，程序会在访问交换链图像时发生崩溃。调试信息显示：

• currentImageIndex_值为3
• acquireFences_数组大小仅为3
• 导致数组访问越界

根本原因分析

经过深入调查，发现问题根源在于交换链创建过程中图像数量的不一致性：

1. 交换链图像数量不匹配：在VulkanSwapchain构造函数中，numSwapchainImages_(实际获取的图像数量)与swapchainImageCount(请求的图像数量)不一致

2. 设备差异：在某些Vulkan 1.1设备上，驱动程序返回的实际图像数量可能多于请求数量

3. 同步对象初始化不足：代码中仅根据请求数量(swapchainImageCount)初始化了同步对象(如acquireFences_)，但实际运行时可能使用更多图像

解决方案

修复方案包含两个关键修改：

1. 统一使用实际图像数量：确保所有相关数组和缓冲区都基于numSwapchainImages_(实际获取的图像数量)进行初始化

// 修改前：使用swapchainImageCount
acquireFences_.resize(swapchainImageCount);

// 修改后：使用numSwapchainImages_
acquireFences_.resize(numSwapchainImages_);

2. 移除冗余代码：删除可能导致不一致的冗余交换链重新创建逻辑(原代码300-325行)

技术要点

1. Vulkan交换链行为：Vulkan规范允许实现返回比请求更多的交换链图像，应用程序必须能够处理这种情况

2. 资源同步：Vulkan中的图像获取和呈现需要严格的同步，必须为每个可能的图像索引准备同步对象

3. 设备兼容性：不同Vulkan实现和设备可能有不同的行为，代码必须具备足够的鲁棒性

修复效果

经过上述修改后：

1. 所有同步对象数组大小与实际图像数量匹配
2. 消除了数组越界访问的风险
3. 提高了代码在不同Vulkan设备上的兼容性

经验总结

这个案例提醒我们：

1. 在处理图形API资源时，必须考虑实现可能的行为差异
2. 资源创建请求和实际分配结果需要仔细核对
3. 同步对象管理必须覆盖所有可能的资源使用场景
4. 跨设备测试对于图形编程至关重要

该问题的修复显著提升了IGL Vulkan后端在多种Android设备上的稳定性和可靠性。