通过Openmp任务访问实例变量(隐式firstprivate)时出现分段错误

Segmentation fault when accessing a instance variable (implicit firstprivate) through Openmp task

本文关键字:错误 分段 firstprivate 隐式 任务 Openmp 访问 实例 变量 通过      更新时间:2023-10-16

这个问题特定于OpenMP 3.0中的任务构造及其对C++隐式firstprivate的使用。我正在寻求对这个问题的解释以及可能的解决方案。

我在一个正在开发的程序中出现了一些分段错误;我设法将问题简化为下面的测试用例。

出现此问题是因为我正在从#pragma omp task 中访问(对象A的)实例变量

#include <iostream>
#include <omp.h>
using namespace std;
class A {
private:
  int someInstanceVariable;
public:
    // This is never called
  A(int _someInstanceVariable) {
    someInstanceVariable = _someInstanceVariable;
  }
  A(const A& _A) {
    cout << "Copy constructor called" << endl;
    someInstanceVariable = _A.someInstanceVariable;
  }
  void simpleTask() {
    // This task makes a reference to someInstanceVariable in the current object
    #pragma omp task
    { 
      // For access to stdout
      #pragma omp critical
      {
        // !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
        // This line uses someInstanceVariable and causes a segfault
        // !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
        cout << "The value of the someInstanceVariable = " << someInstanceVariable << endl;
      }
    }
  }
};
int main(int argc, char* argv[]) {
  #pragma omp parallel
  {
    #pragma omp single
    {
      for(int i = 0; i < 10; i++) {
        A* temp = new A(i);
        temp->simpleTask();
      }
    }
  }
  return 0;
}

当我使用gcc 4.5或更高版本(支持OpenMP中任务功能的版本)(即gcc -fopenmp myprogram.cpp)编译和运行程序时,它运行良好。但是,当我使用英特尔的C++编译器(也支持任务功能的版本)(即icpc -openmp myprogram.cpp)编译和运行程序时,它会出错。

GCC的输出:

The value of the someInstanceVariable = 0
The value of the someInstanceVariable = 1
...

ICPC的输出:

Segmentation fault

我认为他们中至少有一个人是错的。我的具体问题:

  1. 问题出在哪里?是因为我在#pragma omp task中使用了someInstanceVariable,并且导致了对该指针的隐式firstprivate引用吗
  2. 更好的是,有人能给我指一下OpenMP 3.0规范中关于这一点的具体部分吗
  3. 我知道我可以通过创建一个局部变量来解决这个问题

    void simpleTask() {
      // This task makes a reference to someInstanceVariable in the current object
      #pragma omp task
      { 
            int tempVariable = this -> someInstanceVariable;
        // For access to stdout
        #pragma omp critical
        {
          cout << "The value of the someInstanceVariable = " << tempVariable << endl;
        }
      }
    }
    

有没有其他不创建临时变量的方法?

这是OpenMP的一个痛苦问题。由于OpenMP不是基本语言(C/C++)的一部分,因此OpenMP很难处理类对象。原因是,在OpenMP"加载项"看到对象时,对象可能没有实例化。有些情况下可以这样做,但到目前为止,OpenMP规范已经决定最好不要尝试处理对象的任何情况。这就是为什么,如果您阅读OpenMP规范,它会引用变量。变量在基础语言中有一个非常具体的定义。

Firstprivate处理变量而不是类对象。英特尔编译器不会将类对象设为firstprivate,因此当您尝试打印someInstanceVaribale的值时,大多数情况下都会出现段错误(因为它的地址为零,因为它是共享的,并且超出了范围)。似乎g++做了比OpenMP规范所要求的更多的事情。在任何情况下,如果您创建一个指向类对象的指针,则该指针可以被设置为firstprivate,并将指向任务中正确的对象。