1

cuda-memcheck在执行以下操作的代码中检测到竞争条件：

condition = /*different in each thread*/;
shared int owner[nWarps];
/* ... owner[i] is initialized to blockDim.x+1 */
if(condition) {
    owner[threadIdx.x/32] = threadIdx.x;
}

所以基本上这段代码根据某些条件计算每个扭曲的所有者线程。对于某些 warp 可能没有所有者，但对于某些所有者的数量可能超过 1，然后发生竞争条件，因为多个线程将值分配给同一共享内存区域。

在尝试了文档之后，我认为我需要做的事情是：

const uint32_t mask = __ballot_sync(0xffffffff, condition);
if(mask != 0) {
    const unsigned max_owner = __reduce_max_sync(mask, threadIdx.x);
    if(threadIdx.x == max_owner) {
        // at most 1 thread assigns here per warp
        owner[threadIdx.x/32] = max_owner;
    }
}

但是，我的尝试有两个问题：

  1. 我真的不需要找到最大线程 - 如果有一个线程，则为每个经纱选择任何 1 个线程就足够了condition==true
  2. 它需要CUDA计算能力8.x，而我需要支持5.2计算能力的设备

你能帮我解决以上问题吗？

4

1 回答 1

1

以下功能似乎可以解决问题：

void SetOwnerThread(int* dest, const bool condition) {
  const uint32_t mask = __ballot_sync(0xffffffff, condition);
  if(!mask) {
    return;
  }
  const uint32_t lowest_bit = mask & -mask;
  const uint32_t my_bit = (1 << (threadIdx.x & 31));
  if(lowest_bit == my_bit) {
    dest = threadIdx.x;
  }
}
于 2021-10-16T15:01:11.653 回答