从另一个线程修改向量中的指针数据是否安全？

Question

事情似乎有效，但我不确定这是否是最好的方式。

基本上我有一个异步检索数据的对象。该对象具有在主线程上分配和解除分配的指针向量。使用boost函数，一个进程结果回调与这个向量中的一个指针绑定。当它触发时，它将在一些任意线程上运行并修改指针的数据。

现在我有部分围绕推入矢量和擦除以防异步检索对象收到更多请求的情况下的关键部分，但我想知道是否需要在修改指针的回调中使用某种警戒数据也是如此。

希望这个瘦身伪代码使事情变得更加清晰：

class CAsyncRetriever 
{ 
    // typedefs of boost functions 

    class DataObject 
    { 
     // methods and members 
    }; 

public: 
    // Start single asynch retrieve with completion callback 
    void Start(SomeArgs) 
    { 
     SetupRetrieve(SomeArgs); 
     LaunchRetrieves(); 
    } 

protected: 
    void SetupRetrieve(SomeArgs) 
    { 
      // ... 

     { // scope for data lock 
      boost::lock_guard<boost::mutex> lock(m_dataMutex); 
      m_inProgress.push_back(SmartPtr<DataObject>(new DataObject))); 
      m_callback = boost::bind(&CAsyncRetriever::ProcessResults, this, _1, m_inProgress.back()); 
     } 

      // ... 
    } 

    void ProcessResults(DataObject* data) 
    { 
       // CALLED ON ANOTHER THREAD ... IS THIS SAFE? 
     data->m_SomeMember.SomeMethod(); 
       data->m_SomeOtherMember = SomeStuff; 
    } 

    void Cleanup() 
    { 
       // ... 

     { // scope for data lock 
      boost::lock_guard<boost::mutex> lock(m_dataMutex); 
      while(!m_inProgress.empty() && m_inProgress.front()->IsComplete()) 
       m_inProgress.erase(m_inProgress.begin()); 
     } 

       // ... 
     } 

private: 
    std::vector<SmartPtr<DataObject>> m_inProgress; 
    boost::mutex m_dataMutex; 
     // other members 
}; 

编辑：这是ProccessResults回调的实际代码（加上您的利益评论）

void ProcessResults(CRetrieveResults* pRetrieveResults, CRetData* data) 
     { 
// pRetrieveResults is delayed binding that server passes in when invoking callback in thread pool 
// data is raw pointer to ref counted object in vector of main thread (the DataObject* in question) 

       // if there was an error set the code on the atomic int in object 
      data->m_nErrorCode.Store_Release(pRetrieveResults->GetErrorCode()); 

       // generic iterator of results bindings for generic sotrage class item 
      TPackedDataIterator<GenItem::CBind> dataItr(&pRetrieveResults->m_DataIter); 
       // namespace function which will iterate results and initialize generic storage 
      GenericStorage::InitializeItems<GenItem>(&data->m_items, dataItr, pRetrieveResults->m_nTotalResultsFound); // this is potentially time consuming depending on the amount of results and amount of columns that were bound in storage class definition (i.e.about 8 seconds for a million equipment items in release) 
       // atomic uint32_t that is incremented when kicking off async retrieve 
      m_nStarted.Decrement(); // this one is done processing 

       // boost function completion callback bound to interface that requested results 
      data->m_complete(data->m_items); 
     } 

Answer 1

不，不安全。

ProcessResults对通过DataObject传递给它的数据结构进行操作。它表明你已经在不同线程之间共享状态，如果两个线程同时在数据结构上运行，你可能会遇到一些麻烦。

Answer 2

现在看来，Cleanup代码可能会销毁一个对象，其中的ProcessResults回调处于运行状态。当您在回调中删除指针时会导致问题。

我的建议是您扩展m_dataMutex的语义涵盖回调，但如果回调是长期运行，或可在SetupRetrieve内嵌发生（有时会发生这种情况 - 虽然在这里你的状态回调是一个不同的线程，在这种情况下你可以）然后事情就更复杂了。目前m_dataMutex对于是否控制对矢量或其内容的访问有点困惑。在明确其范围后，ProcessResults可以被增强以验证锁中有​​效载荷的有效性。

Answer 3

更新指针应该是一个原子操作，但您可以使用InterlockedExchangePointer（在Windows中）来确保。不知道Linux的等价物是什么。

那么唯一的考虑就是如果一个线程正在使用一个过时的指针。另一个线程是否删除原始指针指向的对象？如果是这样，你有一个确定的问题。