任務使段錯誤時，它刪除重複對象

Question

以來的OpenMP的任務之一的下一個代碼崩潰刪除由it指出的要素之一中的一個。我怎樣才能解決這個問題？代碼必須使用OpenMP任務來實現。

#pragma omp parallel 
{ 
    #pragma omp single nowait 
    { 
     for (std::list<Class*>::iterator it = myClass.begin(); it != myClass.end();) { 
     if ((*it)->getNumber() == 0) { 
      #pragma omp critical 
      it = myClass.erase(it); 
     } 
     else { 
      #pragma omp task firstprivate(it) 
      { 
       bool result = (*it)->function(t); 
       if (result) { 
        #pragma omp critical 
        it = myClass.erase(it); 
       } 
      } 
     } 
     ++it; 
     } 
    } 
    #pragma omp taskwait 
} 

Answer 1

刪除節點是非常棘手的。您不僅必須擦除關鍵區域中的節點，還要照顧用於列表遍歷的迭代器。

當您使用一個線程來執行++it和其他線程做list.erase(it)，你可能會發現，通過it指向的節點可以已經被擦除之前++it完成，並指向一個非迭代器做++存在節點將導致未定義的行爲。

一個可能的解決方案是，可以確保++it完成節點被刪除/改變之前，通過@sehe指示，你不應該++it的erase之後。

#pragma omp parallel 
{ 
    #pragma omp single nowait 
    { 
     for (std::list<Class*>::iterator it = myClass.begin(); it != myClass.end();) { 
     if ((*it)->getNumber() == 0) { 
      #pragma omp critical 
      it = myClass.erase(it); 
     } 
     else { 
      std::list<Class*>::iterator local_it=it++; 
      #pragma omp task firstprivate(local_it) 
      { 
       bool result = (*local_it)->function(t); 
       if (result) { 
        #pragma omp critical 
        myClass.erase(local_it); 
       } 
      } 
     } 
     } 
    } 
    #pragma omp taskwait 
} 

Answer 2

你根本不應該erase後遞增it++，因爲你可能跑過去結束迭代器（如果你刪除的最後一個元素）。

一個簡單的演示（觀看assert如何成功！）：從std::list使用多線程

#include <list> 
#include <cassert> 

struct Class { int getNumber() const { return 0; } }; 

int main() 
{ 
    std::list<Class*> l { new Class() }; 
    for(auto it = l.begin(); it != l.end();) 
    { 
     if((*it)->getNumber() == 0) 
      it = l.erase(it); 

     assert(it == l.end()); 

     it++; // OOOOOPS! 
    } 
}