c++ - 无锁定的多个 vector 编写器

Question

我有几个线程写在一个 vector 中。不同的线程可能会尝试写入相同的字节。没有读数。我可以只使用一个 atomic_fecth_or() 吗，就像示例中那样，这样 vector 就变成线程安全的了？它使用 GCC 编译，没有错误或警告。

    std::vector<std::atomic<uint8_t>> MapVis(1024*1024); 

    void threador()
    {
    ...
    std::atomic_fetch_or(&MapVis[i], testor1); 
    }

Answer 1

It compiled with GCC without errors or warnings

这没有任何意义，因为编译器不执行那种并发分析。有专门的静态分析工具可以做到这一点，并取得不同程度的成功。

Can I use only an atomic_fetch_or ...

当然可以，而且在每个人的层面上都是安全的std::atomic<uint8_t> .

... the vector will become thread safe?

安全地访问每个元素是不够的。您特别需要避免任何使迭代器无效的操作(交换、调整大小、插入、push_back 等)。

在这种情况下，我不敢说 vector 是线程安全的 - 但您将自己限制在其接口(interface)的线程安全子集上，因此它会正常工作。

---

请注意，正如 VTT 建议的那样，如果可能的话，为每个线程保留一个单独的部分 vector 会更好。部分是因为它更容易证明正确，部分是因为它避免了内核之间的错误共享。