AtomicReference安全
经过volatile和Unsafe提供的CAS函数实现原子操做。 自旋+CAS的无锁操做保证共享变量的线程安全函数
可是CAS操做可能存在ABA问题。AtomicStampedReference的出现就是为了解决这问题spa
AtomicStampedReference线程
构造方法中initialStamp(时间戳)用来惟一标识引用变量,在构造器内部,实例化了一个Pair对象,Pair对象记录了对象引用和时间戳信息,采用int做为时间戳,实际使用的时候,要保证时间戳惟一(通常作成自增的),若是时间戳若是重复,还会出现ABA的问题。code
AtomicStampedReference中的每个引用变量都带上了pair.stamp这个时间戳,这样就能够解决CAS中的ABA的问题。对象
/**
* Creates a new {@code AtomicStampedReference} with the given
* initial values.
*
* @param initialRef the initial reference
* @param initialStamp the initial stamp
*/
public AtomicStampedReference(V initialRef, int initialStamp) {
pair = Pair.of(initialRef, initialStamp);
}
AtomicMarkableReference
AtomicStampedReference能够知道,引用变量中途被更改了几回。有时候,咱们并不关心引用变量更改了几回,只是单纯的关心是否更改过,因此就有了AtomicMarkableReference。
AtomicMarkableReference的惟一区别就是再也不用int标识引用,而是使用boolean变量——表示引用变量是否被更改过。
构造函数
/**
* Creates a new {@code AtomicMarkableReference} with the given
* initial values.
*
* @param initialRef the initial reference
* @param initialMark the initial mark
*/
public AtomicMarkableReference(V initialRef, boolean initialMark) { pair = Pair.of(initialRef, initialMark);}