我有一个设置，需要锁定、读取一些数据、处理、写入一些数据，然后解锁。为此，我制作了一个锁定纹理作为layout(r32ui) coherent uniform uimage2D。临界区的数据的声明方式类似。

不幸的是，我对自旋锁的所有尝试都无法阻止竞争条件，从而导致错误的结果。我尝试了几种不同的方法。

我想我应该收集所有我能找到的有关 GLSL 锁定的信息以及我的结果（GTX 580M）。我已经添加了一个社区 Wiki 答案和这个详尽的列表。我希望对每个提出的可能问题进行编辑/评论，最终创建一个有效方法的列表。

我已将锁定纹理标准化为img0.

锁类型 1：

线程扭曲有一个共享程序计数器。如果单个线程抢到了锁，warp 中的其他线程仍然会卡在循环中。实际上，这可以编译，但会导致死锁。

例子：堆栈溢出, OpenGL.org

while (imageAtomicExchange(img0,coord,1u)==1u);

//<critical section>
memoryBarrier();

imageAtomicExchange(img0,coord,0);

锁类型 2：

为了解决类型 1 的问题，可以改为有条件地写入。在下面，我有时将循环编写为 do-while 循环，但 while 循环也无法正常工作。

锁类型2.1：

首先尝试的是一个简单的循环。显然，由于优化错误，这可能会导致崩溃（我最近没有尝试过）。

例子：NVIDIA

bool have_written = false;
while (true) {
    bool can_write = (imageAtomicExchange(img0,coord,1u)!=1u);

    if (can_write) {
        //<critical section>
        memoryBarrier();

        imageAtomicExchange(img0,coord,0);
        break;
    }
}

锁类型2.2：

上面的例子使用imageAtomicExchange(...)，这可能不是人们尝试的第一件事。最直观的就是imageAtomicCompSwap(...)。不幸的是，由于优化错误，这不起作用。否则它（应该）是健全的。

例子：堆栈溢出

bool have_written = false;
do {
    bool can_write = (imageAtomicCompSwap(img0,coord,0u,1u)==0u);

    if (can_write) {
        //<critical section>
        memoryBarrier();

        imageAtomicExchange(img0,coord,0);
        have_written = true;
    }
} while (!have_written);

锁类型2.3：

从以下位置切换回来imageAtomicCompSwap(...) to imageAtomicExchange(...)是另一种常见的变体。与2.1的区别在于循环终止的方式。这对我来说不能正常工作。

例子：堆栈溢出, 堆栈溢出

bool have_written = false;
do {
    bool can_write = (imageAtomicExchange(img0,coord,1u)!=1u);

    if (can_write) {
        //<critical section>
        memoryBarrier();

        imageAtomicExchange(img0,coord,0);
        have_written = true;
    }
} while (!have_written);