c++ - 在多线程单写入器多读取器代码中安全使用 int

Question

我正在编写具有单个编写器和多个读取器的并行代码。作者会从头到尾填入一个数组，读者会依次访问数组的元素。伪代码如下所示:

std::vector<Stuff> vec(knownSize);
int producerIndex = 0;
std::atomic<int> consumerIndex = 0;

生产者线程:

for(a while){
  vec[producerIndex] = someStuff();
  ++producerIndex;
}

消费者线程:

while(!finished){
   int myIndex = consumerIndex++;
   while(myIndex >= producerIndex){ spin(); }
   use(vec[myIndex]);
}

我需要围绕 producerIndex 进行任何类型的同步吗？似乎可能发生的最糟糕的事情是我会在更新旧值时读取它，所以我可能会花费额外的时间。我错过了什么吗？我可以确定对 myIndex 的每个分配都是唯一的吗？

Answer 1

正如评论所指出的，这段代码存在数据竞争。不要猜测代码是否有机会做你想做的事，只需修复它:更改 producerIndex 的类型和 consumerIndex来自 int至 std::atomic<int>并让编译器实现者和标准库实现者担心如何使其在您的目标平台上正常工作。