c# - AtomicIntegerのCASの問題

Question

{コード...} これは自動インクリメント操作です。定義: CAS には、メモリ値 V、古い期待値 A、および変更される新しい値 B の 3 つのオペランドがあります。期待値 A とメモリ値 V が同じである場合に限り、メモリ値 V を B に変更します。そうでない場合は何もしません。次は期待値ですか?メモリ値は現在の値ですか?スレッドが増加すると...

怪我咯 · Answer

下剤~
質問に対する著者の理解は少し間違っているかもしれません

電流はメモリ値ではなく期待値です
次は、期待値ではなく、変更された新しい値です

メソッドcompareAndSetのソースコードを見ることができ、中のコメントも非常に明確です

リーリー

CAS の動作は被験者が述べたとおりで、期待値とメモリ値を比較し、等しい場合にのみ新しい値が書き込まれ、そうでない場合は継続的に再試行されます。これは楽観的な態度であり、実際の値です。記憶値実はAtomicInteger.value这个属性（其实最关键也不是这个属性，只是个引用而已，真正的boss后面会提到）,注意这个value的有关键字volatile改造

ですリーリー

つまり、この値は実際には共有変数であり、この変数の可視性、つまりスレッド間の可視性を表します。

======================== 可視性について話しすぎています。気に入らない場合はスキップしてください === ======== =====================

簡単に言うと、Java メモリモデルでは、変数が (物理メモリと同様に) メインメモリに格納されると規定されており、特定の変数を操作する場合、メインメモリ内の値は直接変更されません。 , しかし、それは独自の作業キャッシュで実行され、最終的にメインメモリに同期され、スレッドはお互いの作業キャッシュにアクセスできません

ここで言う可視性とは、

キーワードで変更された変数をスレッドが操作する際、その変数が正常に変更されてメインメモリに書き込まれた時点で、他のスレッドのワークキャッシュにある変数が無効になるため、他のスレッドがそれを実行する際に、変数を再度読み取ると、独自の作業キャッシュ内の値を使用するのではなく、メインメモリから直接読み取りますvolatile

==========================================完成====== =========================================

属性 AtomicInteger.value はデータ自体への単なる参照であると述べましたが、実際には、

メソッドを呼び出すときに 2 番目のパラメーターである valueOffset に気づくことができます。、これが鍵です...本当のボス、本当のメモリ値です。Java 言語ではめったに聞かない単語であるポインタが含まれるため、この valueOffset です。これはオブジェクト内のオフセットです。これが実際のメモリ値ですAtomicInteger.value这个属性对于数据本身而言，只是一个引用，在调用compareAndSet方法时，可以注意到第二个参数，valueOffset，其实这才是关键...真正的Boss，真正的内存的值，因为涉及到在java语言里很少听到的一个词，指针，这个valueOffset

(このメソッド

が Unsafe クラスのメソッドを呼び出す理由は、Unsafe は実際にはいくつかのポインターのような操作をカプセル化しているため、ポインターは安全ではありません)compareAndSet里调用的是Unsafe类的方法，Unsafe