MoltenVK 中描述符集布局销毁后的内存管理问题分析

问题背景

MoltenVK 是 Vulkan 在 macOS 和 iOS 平台上的实现层。近期发现了一个与 Vulkan 描述符集管理相关的严重问题：当应用程序销毁 VkDescriptorSetLayout 对象后，MoltenVK 未能正确保留其内容，导致后续使用相关描述符集时出现段错误。

技术细节

在 Vulkan 规范中，VkDescriptorSetLayout 定义了描述符集的布局结构，包括绑定的类型、数量等信息。即使布局对象被销毁，只要相关的描述符集仍在被使用，其布局信息仍需保留。

问题出现在以下场景：

1. 应用程序创建 VkDescriptorSetLayout 并分配 VkDescriptorSet
2. 随后销毁 VkDescriptorSetLayout
3. 在命令缓冲区中通过 vkCmdBindDescriptorSets 绑定之前分配的描述符集
4. 提交命令缓冲区到队列时发生段错误

问题根源

MoltenVK 实现中存在一个关键缺陷：当 VkDescriptorSetLayout 被销毁时，其内部数据结构被过早释放，而实际上这些数据应该在整个描述符集生命周期内保持有效。这与 Vulkan 规范要求的对象生命周期管理不符。

解决方案

该问题已通过 PR #2358 修复。修复的核心思想是：

1. 确保描述符集布局数据在关联的所有描述符集被释放前保持有效
2. 实现正确的引用计数机制
3. 在描述符集绑定操作时验证布局数据的可用性

开发者建议

对于使用 MoltenVK 的开发者，建议：

1. 更新到包含此修复的最新版本
2. 即使规范允许，也应尽量避免过早销毁仍被使用的描述符集布局
3. 在复杂场景中，考虑使用验证层检查描述符集的生命周期问题

总结

此问题的修复提高了 MoltenVK 在描述符集管理方面的稳定性和合规性。它展示了 Vulkan 实现层在处理对象生命周期时的复杂性，也提醒开发者需要深入理解 Vulkan 的对象依赖关系。