我不知道这是否在任何地方被记录下来，如果有的话，我希望能有一个参考，但是我发现在使用OpenMP时出现了一些意外的行为。下面我有一个简单的程序来说明这个问题。在这里，我将以点的形式告诉你我希望程序做什么：

• 我想有2个线程
• 它们共享一个整数
• 第一个线程递增整数
• 第二个线程读取整数
• 递增一次后，外部进程必须告知第一个线程继续递增（通过互斥锁）
• 第二个线程负责解锁该互斥锁

正如您将看到的，线程之间共享的计数器没有为第二个线程正确更改。但是，如果我将计数器改为整数引用，我将得到预期的结果。下面是一个简单的代码示例：

#include <mutex>
#include <thread>
#include <chrono>
#include <iostream>
#include <omp.h>

using namespace std;
using std::this_thread::sleep_for;
using std::chrono::milliseconds;

const int sleep_amount = 2000;

int main() {

  int counter = 0; // if I comment this and uncomment the 2 lines below, I get the expected results
  /* int c = 0; */
  /* int &counter = c; */

  omp_lock_t mut;
  omp_init_lock(&mut);
  int counter_1, counter_2;

#pragma omp parallel
#pragma omp single
  {
#pragma omp task default(shared)
// The first task just increments the counter 3 times
    {
      while (counter < 3) {
        omp_set_lock(&mut);
        counter += 1;
        cout << "increasing: " << counter << endl;
      }
    }
#pragma omp task default(shared)
    {
      sleep_for(milliseconds(sleep_amount));
      // While sleeping, counter is increased to 1 in the first task
      counter_1 = counter;
      cout << "counter_1: " << counter << endl;

      omp_unset_lock(&mut);
      sleep_for(milliseconds(sleep_amount));
      // While sleeping, counter is increased to 2 in the first task
      counter_2 = counter;
      cout << "counter_2: " << counter << endl;
      omp_unset_lock(&mut);
      // Release one last time to increment the counter to 3
    }
  }
  omp_destroy_lock(&mut);

  cout << "expected: 1, actual: " << counter_1 << endl;
  cout << "expected: 2, actual: " << counter_2 << endl;
  cout << "expected: 3, actual: " << counter << endl;
}

以下是我的输出：

increasing: 1
counter_1: 0
increasing: 2
counter_2: 0
increasing: 3
expected: 1, actual: 0
expected: 2, actual: 0
expected: 3, actual: 3

gcc版本：9.4.0
其他发现：

• 如果我使用OpenMP的“section”而不是“tasks”，我也会得到预期的结果。
• 如果我使用posix信号量，这个问题也会继续存在。