AtomicReference，AtomicStampedReference与AtomicMarkableReference的区别

最新推荐文章于 2022-11-10 17:36:41 发布

weixin_30919235

最新推荐文章于 2022-11-10 17:36:41 发布

阅读量271

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/xyhz0310/p/9627582.html

本文深入解析了AtomicReference、AtomicStampedReference及AtomicMarkableReference的工作原理。AtomicReference利用volatile和Unsafe提供的CAS函数确保线程安全，但存在ABA问题；AtomicStampedReference通过引入时间戳解决了这一问题；而AtomicMarkableReference则使用布尔标记来指示引用是否被修改。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

AtomicReference

　　通过volatile和Unsafe提供的CAS函数实现原子操作。 自旋+CAS的无锁操作保证共享变量的线程安全

value是volatile类型，这保证了：当某线程修改value的值时，其他线程看到的value的值都是最新的值，即修改之后的volatile的值
通过CAS设置value。这保证了：某线程池通过CAS函数（如compareAndSet函数）设置value时，它的操作时原子性的，即线程在操作vu略时不会被中断。

但是CAS操作可能存在ABA问题。AtomicStampedReference的出现就是为了解决这问题

AtomicStampedReference

构造方法中initialStamp（时间戳）用来唯一标识引用变量，在构造器内部，实例化了一个Pair对象，Pair对象记录了对象引用和时间戳信息，采用int作为时间戳，实际使用的时候，要保证时间戳唯一（一般做成自增的），如果时间戳如果重复，还会出现ABA的问题。

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);
}

转载于:https://www.cnblogs.com/xyhz0310/p/9627582.html