有没有办法从有序条款中取消？

Question

我正在开发一个程序，该程序使用多个线程计算一定数量的素数。现在我遇到了在上述素数之后退出线程的问题。

我试过#pragma omp cancel for，但我不能在有序子句中使用它。还有另一种“打破”循环的方法吗？

void get_primes(prime_type start, prime_type end) {
  #pragma omp parallel for ordered schedule(dynamic) shared(prime_counter)
  for (candidate = start; candidate <= end; candidate += 2) {
    if (is_prime(candidate)) {
      #pragma omp ordered
      {
        primes[prime_counter] = candidate;
        prime_counter++;
        if (prime_counter >= max_primes) {
          #pragma omp cancel for
        }
        #pragma omp cancellation point for
      }
    }
  }
}

当我找到所需数量的素数时，我想立即“打破”循环，如果我没记错的话，必须在有序子句内完成。

Answer 1

没有。无法取消有序循环。

被取消的循环结构不能有有序子句。

（参见 OpenMP 标准的 2.14.1）

模拟取消的一种解决方法是在循环的开头添加一个跳过，例如

#pragma omp parallel for ordered schedule(dynamic) shared(prime_counter)
for (candidate = start; candidate <= end; candidate += 2) {
  if (prime_counter >= max_primes) {
    continue;
  }
  if (is_prime(candidate)) {

但是，这还不是对prime_counter 的线程安全访问。为了避免竞争条件，您必须按照以下方式做一些事情：

  int local_prime_counter;
  #pragma omp atomic read
  local_prime_counter = prime_counter;
  if (local_prime_counter >= max_primes)

  ...

  #pragma omp atomic update
  prime_counter++;

附：我不是 100% 确定有条件的 ordered 构造是否符合标准。