問題タブ [data-race]

Jack Shirazi によるJava Performance Tuningでは、次のように書いています。

これは、変数のアクセスと更新が自動的に同期されることを意味します (変数が long または double でない限り)。メソッドが変数へのアクセスまたは代入だけで構成されている場合、スレッド セーフのために同期化する必要はなく、パフォーマンスのためにそうしない理由もあります。スレッド セーフは、他の変数値とは関係なく、変数にアクセスしたり、変数に代入したりするステートメントのセットにさらに拡張されます。

上記の説明によると、操作 likeflag = trueは常にアトミックであり、 は必要ありませんsynchronize。

ただし、次の状況をデータ競合と見なす別の記事があります。

そして著者は次のように述べています。

現在、フラグは揮発性ではないため、すべての実行にデータ競合があります

2 つの記事の矛盾について、私はかなり混乱しました。

Tcl はその基本的なマルチスレッド フレームとしてアパートメント スレッド モデルを使用するため、すべての tcl インタープリター obj はそれを作成するスレッドにバインドされます。私のプログラムでは、各スレッドは、最初に Tcl コマンドを呼び出す必要があるときに、Tcl_CreateInterp を呼び出して独自のインタープリターを作成します。しかし、Q&A テストでは、valgrind (v3.13.0) は、スレッドが独自のインタープリターを作成しようとするとデータ競合の問題が発生する可能性があると報告しています。データ競合は API Tcl_NewStringObj/TEBCresume/TclNREvalObjv などで発生します。私の使用モデルで修正すべき点はありますか? それともvalgrindの偽陽性ですか？

boost::thread_specific_ptr を使用して、スレッド ローカル インタープリターを管理します。