阿神2017-04-18 10:42:51
質問者が言ったように、AtomicInteger
のソース コードは Integer
を比較して置き換えてスレッド セーフを実現します。 AtomicReference
は、オブジェクト参照の比較と置換です。これらはアトミック クラスの CAS 実装です。 AtomicInteger
源码是比较并替换Integer
来实现线程安全性。而AtomicReference
是相比于对象引用的比较并替换。这些都是原子类CAS实现。
至于是不是比较地址,先拿题主所说的AtomicReference
入手,知道下面的方法:
public final boolean compareAndSet(V expect, V update) {
return unsafe.compareAndSwapObject(this, valueOffset, expect, update);
}
底层实现在Unsafe
类中,是一个native
本地方法。Unsafe
的CAS包括了三个操作数--需要读写的内存位置valueOffset
,进行比较的值expected
,拟定写入的新值update
。当且仅当在内存位置V所存储的值等于比较的值A时,CAS才会通过原子方式用新值来更新内存地址的旧值。否则不进行任何操作。
关键在于传入的valueOffset
的作用,继续查看AtomicReference
源码:
static {
try {
valueOffset = unsafe.objectFieldOffset
(AtomicReference.class.getDeclaredField("value"));
} catch (Exception ex) { throw new Error(ex); }
}
private volatile V value;
这里,unsafe
的objectFieldOffset
AtomicReference
から始めて、次の方法を知ってください: リーリー
基礎となる実装は、ネイティブ
ローカル メソッドである Unsafe
クラスにあります。 Unsafe
の CAS には 3 つのオペランドが含まれます。読み書きされるメモリ位置 valueOffset
、比較される値 expected
、および値の比較です。新しい値 update
が書き込まれます。 CAS は、メモリ位置 V に格納されている値が比較値 A と等しい場合に限り、メモリ アドレスの古い値を新しい値でアトミックに更新します。それ以外の場合、操作は実行されません。 🎜結論: 🎜 🎜🎜アトミック アトミック CAS 操作は、メモリ オフセット、つまりメモリ アドレスを比較します。 🎜🎜キーは、
ここで、valueOffset
で渡される役割にあります。引き続きAtomicReference
ソース コードを表示します。 リーリーunsafe
のobjectFieldOffset
メソッドは、オブジェクトのメモリ オフセットを取得します。つまり、ここでの比較により、同じオブジェクト アドレスであるかどうかを判断できます。