マルチスレッド環境のデストラクタ？

Question

私はそのようなクラスではどうなるかと思った：

class MyClass 
{ 
private: 
    std::vector<int> iVector; 
    void Worker() 
    { 
     //Lots of stuff done with iVector 
     //adding, removing elements, etc. 
    } 
} 

のは、私がiVectorを使用して、それを修正する（クラスのメンバ関数の一つによって呼び出される）スレッドを作成しましょう。この作業者以外に、このクラスの他のメンバ関数は、このstd :: vectorを読み取ったり変更したりしません。

iVectorを使用しているのはワーカースレッドだけなので、すべてうまく見えます。

しかし、オブジェクトの1つのインスタンスが破棄されるとどうなりますか？ワーカースレッドの終了後にオブジェクトが破壊されても、iVectorのデストラクタはメインスレッドから呼び出されます。これは未定義の動作につながりますか？

ありがとうございます！

Answer 1

まず、デストラクタのスレッドでstd::join（またはあなたのライブラリに相当するもの）を実行することをお勧めします。これにより、ベクトルデストラクタが実行される前にスレッドが正しく終了し、同期されるようになります。これは、ベクトルの寿命がそれを使用するスレッドを超えなければならないので重要です。

30.3.1.5でC++ 11標準及びおそらくそれ以降のもの状態：

5：同期この *によって表されるスレッドの完了は、対応する成功した（参加（1.10）と同期）return。 [ 注：* thisの操作は同期されません。 - 今は詳細については1.10を検討する必要がエンドノート]

、まずこのセクションの状態：

3：特定の点 におけるスレッドTに見えるオブジェクトの値でありますオブジェクトの初期値、 Tによってオブジェクトに割り当てられた値、または別のスレッドによってオブジェクトに割り当てられた値。 以下の規則に従います。

正直なところ、これは解析が難しく、どのような同期結合が提供されているのかを正確には指定せず、スレッド自体とアクセスしたデータだけを同期させることを暗示しているようです。したがって、私は安全なルートに行き、メインスレッドで結合した後にatomic_thread_fence(memory_order_acquire)を実行し、完了する直前に子スレッドのatomic_thread_fence(memory_order_release)を実行します。セマンティクスとUBの前に完全な状態が発生することを保証する必要があります。

Answer 2

実行スレッドがivectorクラスメンバを使用していて、別のスレッドがこのクラスメンバでオブジェクトを破棄すると、ivectorクラスメンバが引き続き使用されると、未定義の動作が発生します。

ワーカースレッドの終了後にオブジェクトが破壊されても、iVector用のデストラクタである がメインスレッドから呼び出されます。 これは未定義の動作につながりますか？

いいえ、この状況は未定義の動作ではありません。 C++標準では、オブジェクトを作成した同じ実行スレッドによってオブジェクトが破棄される必要はありません。1つの実行スレッドが成長し、ベクトルのサイズを変更してから離れたり、ベクトルの使用をやめたりして、別の実行スレッドがオブジェクト全体を破壊することは問題ありません。