Sokol项目中的Shader描述验证问题解析

在Sokol图形库的最新更新中，开发者发现了一个与着色器描述验证相关的重要问题。这个问题主要出现在使用多个只读存储缓冲区的场景下，特别是在D3D11后端实现中。

问题背景

当开发者在着色器阶段中使用两个或更多只读存储缓冲区时，Sokol的验证层会错误地报告一个寄存器冲突错误。具体错误信息为"storage_buffer 'hlsl_register_t_n' must be unique across read/write storage buffers in same shader stage"。

问题分析

这个验证错误实际上是由两个独立但相关的问题导致的：

1. 验证层逻辑错误：验证层错误地将只读缓冲区的检查规则应用了与读写缓冲区相同的规则。在HLSL中，只读缓冲区使用't'寄存器，而读写缓冲区使用'u'寄存器，它们属于不同的寄存器空间，不应该产生冲突。

2. 错误信息描述不准确：错误消息中错误地混合了'u'和't'寄存器，给开发者造成了混淆。

技术细节

在D3D11中，不同类型的资源使用不同的寄存器：

• 纹理和只读缓冲区：t寄存器
• 无序访问视图(UAV)/读写缓冲区：u寄存器
• 采样器：s寄存器
• 常量缓冲区：b寄存器

验证层原本的设计意图是确保同一着色器阶段内的读写缓冲区使用唯一的u寄存器，但错误地将这一规则也应用到了只读缓冲区上。

解决方案

Sokol项目维护者迅速定位并修复了这个问题：

1. 修正了验证层逻辑，使其正确区分只读和读写缓冲区的寄存器分配规则
2. 修复了错误消息中的寄存器类型描述
3. 同时发现了D3D11后端中关于动态/流式存储缓冲区的绑定限制问题

开发者启示

这个案例提醒我们：

1. 图形API验证层的实现需要精确理解不同资源类型的绑定规则
2. 错误消息应当准确反映问题的本质
3. 跨平台图形库需要针对每个后端进行充分的测试

对于使用Sokol的开发者来说，现在可以放心地在着色器中使用多个只读存储缓冲区而不会触发错误的验证警告。这也体现了开源项目通过社区反馈快速改进的优越性。