Я стандартизировал текстуру блокировки, чтобы она была img0.

Тип блокировки 1:

Деформации потоков имеют общий счетчик программ. Если один поток захватит замок, другие потоки в варпе все равно останутся в петле. На практике это компилируется, но приводит к взаимоблокировке.

Примеры: StackOverflow, 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;
    }
}

Пример: StackOverflow

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(...) на imageAtomicExchange(...) является другим распространенным вариантом. Отличие от версии 2.1 заключается в способе завершения цикла. Это не работает правильно для меня.

Примеры: StackOverflow, StackOverflow

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);