常量/Uniform Buffer非均匀访问差异及描述符数组使用疑问

一、Uniform Buffer两种访问方式的差异 #

你提到的**控制流分歧（control-flow divergence）与内存分歧（memory divergence）**的区分是完全成立的，二者在硬件执行逻辑与性能表现上有本质差异：

1. switch分支访问（控制流分歧） #

uint result;
switch (non_uniform_condition)
{
case 0: result = ConstantBuffer.values[0]; break;
case 1: result = ConstantBuffer.values[1]; break;
}

这种方式会触发控制流分歧：当wave/warp内的线程因non_uniform_condition取值不同进入不同分支时，硬件会串行执行各个分支（让不执行当前分支的线程暂停），待所有分支执行完毕后再同步线程。

但每个分支访问的是固定索引的Uniform Buffer元素，内存访问对齐且可预测，硬件能对每个分支的内存操作做优化（比如合并访问），最终每个线程只会读取自身分支对应的元素。

2. 直接非均匀索引访问（内存分歧） #

result = ConstantBuffer.values[non_uniform_condition];

这种方式属于内存分歧：所有线程执行同一条内存访问指令，但各自索引不同。此时硬件无法合并分散的内存访问请求，只能逐个处理，会导致内存带宽利用率下降，性能表现通常比控制流分歧更差。

需要注意：两种方式都满足Uniform Buffer的动态一致性要求，不会出现越界或非法访问问题。

二、纹理数组switch分支访问是否需要nonuniformEXT #

答案是不需要，原因如下：

switch(non_uniform_condition)
{
case 0: textures[0];
case 1: textures[1];
}

nonuniformEXT或NonUniformResource的作用是告知硬件：当前资源索引是非均匀的，需要启用特殊的描述符查找逻辑（纹理数组属于描述符资源，硬件对其访问有严格的一致性要求）。

但在switch分支场景中，每个分支内所有线程都访问固定索引的纹理，相当于把非均匀的资源访问拆解为多个分支内的均匀访问，硬件可以正常处理这类分支内的固定索引访问，不需要额外的非均匀修饰。

只有当直接用非均匀变量作为索引访问纹理数组时（比如textures[non_uniform_condition]），才必须添加nonuniformEXT修饰，否则会违反资源访问一致性要求，触发未定义行为。

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