c++ - C/C++ Openmp : Is it possible for a thread to read corrupted data if another thread updates the data at the same time?

Question

假设我们有以下代码模式:

main(){

   sometype data;

   #pragma omp parallel for
   for(i=0; i< n; i++){

     read data;

     do some calculations that would be used in order to update the data;

     #pragma omp critical{
        update data;
      }
   }
}

我知道我们需要一个临界区来更新数据，因为同时进行两个更新可能会导致损坏，但是如果一个线程在临界区内更新数据而另一个线程正在尝试读取数据？

我在网上看到一些示例，其中读取被认为是多线程系统中的安全操作，但是我不确定在上述情况下它的安全性如何。如果它不安全，为了使其安全应该采取什么适当的行动？

提前谢谢你

Answer 1

当一个线程正在写入(更新)数据而其他线程正在读取数据时，您的示例中将出现竞争条件。您所读到的“读取被认为是安全的”指的是仅同时读取相同的数据，而不修改它。

您必须用 #pragma omp barrier 包围您的临界区以确保安全更新。

如果您只需要一个线程来更新所有数据，请考虑使用 #pragma omp single 子句而不是 #pragma omp critical。临界区将被所有线程一一执行。