全屏四边形的GLSL片段处理顺序

Question

我使用 GLSL 进行一些图像处理，因此绘制全屏四边形并在片段着色器中进行处理。我想知道我们是否可以期望片段以任何特定的优先级顺序进行处理？

我知道片段正在并行处理，我们无法保证任何特定片段的完成时间，那么这是如何处理的呢？仅仅是一个大队列吗？图案会是什么样子，即。扫描线、块等。

这会依赖于驱动程序吗？

Answer 1

没有关于它的文档，因为它是任意处理的。硬件能够以完全任意的顺序处理片段；您不得以任何方式、形状或形式了解片段处理的顺序。没有任何控件可以更改片段处理的顺序、影响该顺序，甚至根本无法检测它。

好吧，直到 4.2 和 ARB_shader_image_load_store。但即便如此，也内置了控制功能，让硬件拥有尽可能多的自由度。

简而言之，如果您正在做的事情处理顺序很重要，那么您就做错了。

在我看来，您正在尝试执行反馈循环，同时读取和写入帧缓冲区（通过绑定纹理并将同一图像附加到 FBO 渲染目标）。这是不允许的。

---

好的，所以这是关于性能，而不是功能。

您可以假设 CPU 的通常情况：内存访问将被缓存。片段着色器进入的顺序并不重要；其中一个将首先访问内存，而稍后访问的则从缓存中受益。

请记住：GPU 针对执行此操作进行了优化。 GPU 的销售取决于渲染纹理、着色器处理的三角形的速度。实现知道如何使用纹理，并且您可以预期它在如何排序其输出的片段方面不会愚蠢。

如果必须随机访问，那就必须随机访问；你对此无能为力。但除此之外，您不应该浪费时间担心或尝试优化这一点。让硬件和驱动程序编写者完成他们的工作。

Answer 2

回复 @nicol-bolas 回复，因为我没有正确回复的声誉。

简而言之，如果您正在做的事情处理顺序很重要，那么您就做错了。

某些算法取决于此顺序。
滑动盒过滤器（尽管仅在整数颜色存储时可靠）是非常值得注意的例子，它对于任何窗口大小都同样快。其中 2 个将盒子转为三角形（双线性插值），3 个制作出漂亮的平滑二次曲线。

可以使用着色器中的条件来模拟这样的算法的顺序性质：

uniform sample2d tex;
uniform in wlen;

in vec2 texcoord;
in int shift;

vec4 shader() {
  if (int(texcoord.x) % wlen != shift)
    return texelFetch( tex, ivec2(texcoord), 0);
  ...
}