Vulkan计算着色器L1/L2缓存刷新逻辑及同步屏障使用合理性问询

缓存刷新认知正误判断 #

你的理解是错误的，这个认知混淆了特定硬件的实现细节和Vulkan规范的通用保证：

• Vulkan规范没有对GPU缓存层级的自动刷新做任何强制要求，不同厂商、不同架构的GPU缓存策略差异极大：部分GPU的计算着色器L1缓存是工作组私有，写操作默认不会主动同步到L2缓存，只有显式触发内存屏障时才会执行缓存回写和失效操作。
• 你代码中写入particles[c.particle_id_1].position的操作，仅代表着色器完成了存储指令的执行，数据可能还滞留在当前工作组的私有L1缓存、甚至寄存器中，既不会自动同步给其他工作组，也不会主动刷回L2或主存。
• 哪怕是同一个着色器内部，不同工作组要读取其他工作组写入的粒子数据，也需要显式同步，只靠循环迭代无法保证读到最新值。

跨着色器同步需求判断 #

你提到的仅加执行屏障、不加内存屏障的写法无法满足同步需求，原因如下：

• 你提交的vkCmdPipelineBarrier仅配置了执行屏障：仅能保证前一个计算着色器的所有调用全部执行完成后，才会启动第二个计算着色器，完全没有处理内存可见性问题。
• 没有内存屏障的前提下，前一个着色器对Particles缓冲区的写入结果对第二个着色器是不可见的：滞留在L1的脏数据不会回写，第二个着色器读取L2或主存时会拿到修改前的旧数据。
• 正确的同步方式需要添加针对Particles缓冲区的内存屏障，参考配置如下：

VkBufferMemoryBarrier particle_barrier = {
    .sType = VK_STRUCTURE_TYPE_BUFFER_MEMORY_BARRIER,
    .srcAccessMask = VK_ACCESS_SHADER_WRITE_BIT,
    .dstAccessMask = VK_ACCESS_SHADER_READ_BIT,
    .srcQueueFamilyIndex = VK_QUEUE_FAMILY_IGNORED,
    .dstQueueFamilyIndex = VK_QUEUE_FAMILY_IGNORED,
    .buffer = particles_buffer_handle, // 替换为你的Particles缓冲区对象
    .offset = 0,
    .size = VK_WHOLE_SIZE
};

// 调用屏障时的参数配置
vkCmdPipelineBarrier(
    commandBuffer,
    VK_PIPELINE_STAGE_COMPUTE_SHADER_BIT, // 源阶段：前一个计算着色器的写操作
    VK_PIPELINE_STAGE_COMPUTE_SHADER_BIT, // 目标阶段：后一个计算着色器的读操作
    0,
    0, nullptr,
    1, &particle_barrier, // 传入缓冲区屏障
    0, nullptr
);

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