AtomicStampedReference解析

在AtomicMarkableReference文中,我们说了第一种比较简单的判断ABA问题的方式就是通过加是否被修改的标志位来决定,下面我们介绍基于时间的AtomicStampedReference,它的实现过程跟AtomicMarkedReference类似,唯一的不同就是采用int类型的变量来进共享数据的判断的标志。

AtomicStampedReference的基本用法

AtomicStampedReference解析

下面我们来详细解析AtomicStampedReference的源码实现

AtomicStampedReference解析

跟AtomicMarkableReference一样,这里也采用的是volatile来修改真正的数据保存地址pair。在pair中有reference和stamp,reference是用户通过模板方式传递进来的需要原子保护的实体,stamp就是int类型的版本信息。

由于采用了volative来修饰真实的数据对象,因此读数据的时候均可直接使用pair.的方式获取。

方法:

getReference()、getStamp()、get(int[] stampHolder)均采用直接读的方式直接从内存中获取数据。

AtomicStampedReference解析

compareAndSet也是采用首先判断设置的新值和旧值之间是否相同,否则的采用CAS策略进行赋值操作。

AtomicStampedReference解析

casPair方法也同样是采用Unsafe去操作内存,由于数据是封装在AtomicStampedReference中的的pair中的,调用者的代码是加载的是AtomicStampedReference的实体,因此需要在AtomicStampedReference初始化的时候获取pair的相对偏移量,从而使得CAS自旋赋值的时候能够一步到位。