Java并发23:Atomic系列-普通原子类型AtomicXxxx学习笔记

[超级链接：Java并发学习系列-绪论]
[系列概述： Java并发22:Atomic系列-原子类型整体概述与类别划分]

本章主要对普通原子类型进行学习。

1.普通原子类型

在java.util.concurrent.atomic中，普通的原子类型有以下四种：

AtomicBoolean：提供对基本数据类型boolean的原子性更新操作。
AtomicInteger：提供对基本数据类型int的原子性更新操作。
AtomicLong：提供对基本数据类型long的原子性更新操作。
AtomicReference<T>：这是一个泛型类，提供对引用类型的原子性更新操作。

2.内部实现浅谈

下面对原子类型的实现原理进行浅谈。

首先看一段源码：

public class AtomicInteger extends Number implements java.io.Serializable {private static final long serialVersionUID = 6214790243416807050L;// setup to use Unsafe.compareAndSwapInt for updatesprivate static final Unsafe unsafe = Unsafe.getUnsafe();private static final long valueOffset;static {try {valueOffset = unsafe.objectFieldOffset(AtomicInteger.class.getDeclaredField("value"));} catch (Exception ex) { throw new Error(ex); }}private volatile int value;//.../*** Sets to the given value.** @param newValue the new value*/public final void set(int newValue) {value = newValue;}//.../*** Eventually sets to the given value.** @param newValue the new value* @since 1.6*/public final void lazySet(int newValue) {unsafe.putOrderedInt(this, valueOffset, newValue);}//.../*** Atomically sets the value to the given updated value* if the current value {@code ==} the expected value.** @param expect the expected value* @param update the new value* @return {@code true} if successful. False return indicates that* the actual value was not equal to the expected value.*/public final boolean compareAndSet(int expect, int update) {return unsafe.compareAndSwapInt(this, valueOffset, expect, update);}
}

从上面的源码可知，原子类型在内部使用了两种方式实现原子性和可见性：

通过Unsafe类的本地CAS方法保证操作的原子性。
通过volatile关键字保证类的可见性

关于Unsafe类可自行了解。

3.原子类型的通用方法

首先学习上述四种普通原子类型的通用方法，这些方法如下：

构造器：分为默认无参构造器和初值构造器。其中，无参构造器的初始默认值分别为：
- AtomicBoolean：false
- AtomicInteger：0
- AtomicLong：0
- AtomicReference<T>：null
get()：取值，具有原子性和可见性。
set()：赋值，具有原子性和可见性。
lazySet(newValue)：赋值，具有原子性，不具备可见性。
getAndSet(newValue)：赋值并返回旧值，具有原子性和可见性。
compareAndSet(expect,update)：如果当前是期望值则赋值并返回赋值成功与否，具有原子性和可见性。
weakCompareAndSet(expect,update)：与compareAndSet(expect,update)类似。

实例代码：

//构造器
LOGGER.info("===========原子类型的默认构造器：");
//默认构造器
LOGGER.info("AtomicBoolean()：声明一个原子boolean类型，初始值设置为----" + new AtomicBoolean().toString());
LOGGER.info("AtomicInteger()：声明一个原子int类型，初始值设置为----" + new AtomicInteger());
LOGGER.info("AtomicLong()：声明一个原子long类型，初始值设置为----" + new AtomicLong().toString());
LOGGER.info("AtomicReference()：声明一个原子引用类型，初始值使用默认值----" + new AtomicReference<>().toString() + "\n");
//赋值构造器
AtomicBoolean aBoolean = new AtomicBoolean(true);
AtomicInteger aInt = new AtomicInteger(1);
AtomicLong aLong = new AtomicLong(1000L);
AtomicReference<String> aStr = new AtomicReference<>("Hello World!");//通用操作
LOGGER.info("===========原子类型的通用操作：get()/set()/getAndSet()/compareAndSet()/weakCompareAndSet()");
//获取当前的值：volatile保证可见性-基本类型取值本身是原子性的
LOGGER.info("get()：设置当前的值(可见性)----now = " + aBoolean.get());
LOGGER.info("get()：设置当前的值(可见性)----now = " + aInt.get());
LOGGER.info("get()：设置当前的值(可见性)----now = " + aLong.get());
LOGGER.info("get()：设置当前的值(可见性)----now = " + aStr.get());
LOGGER.info("---------------------------------------------------------");
//普通赋值：volatile保证可见性-基本类型赋值本身是原子性的
aBoolean.set(false);
aInt.set(10);
aLong.set(1314);
aStr.set("Good Day!");
LOGGER.info("set()：获取当前的值(可见性)----now = " + aBoolean.toString());
LOGGER.info("set()：获取当前的值(可见性)----now = " + aInt.toString());
LOGGER.info("set()：获取当前的值(可见性)----now = " + aLong.toString());
LOGGER.info("set()：获取当前的值(可见性)----now = " + aStr.toString());
LOGGER.info("---------------------------------------------------------");
//延迟赋值：通过Unsafe保证原子性，并不保证可见性，效率要高于set()
aBoolean.set(true);
aInt.set(21);
aLong.set(521);
aStr.set("Bad Day!");
LOGGER.info("lazySet(newValue)：赋值(无可见性)----now = " + aBoolean.toString());
LOGGER.info("lazySet(newValue)：赋值(无可见性)----now = " + aInt.toString());
LOGGER.info("lazySet(newValue)：赋值(无可见性)----now = " + aLong.toString());
LOGGER.info("lazySet(newValue)：赋值(无可见性)----now = " + aStr.toString());
LOGGER.info("---------------------------------------------------------");
//赋新值，并返回旧值：通过Unsafe的native方法保证[get()+set ()]操作的原子性
LOGGER.info("getAndSet(newValue)：赋新值，并返回旧值----old = " + aBoolean.getAndSet(false) + " ,newValue = false ,now = " + aBoolean.toString());
LOGGER.info("getAndSet(newValue)：赋新值，并返回旧值----old = " + aInt.getAndSet(5) + " ,newValue = 5 ,now = " + aInt.toString());
LOGGER.info("getAndSet(newValue)：赋新值，并返回旧值----old = " + aLong.getAndSet(200L) + " ,newValue = 200L ,now = " + aLong.toString());
LOGGER.info("getAndSet(newValue)：赋新值，并返回旧值----old = " + aStr.getAndSet("Ni Hao") + " ,newValue = Ni Hao! ,now = " + aStr.toString());
LOGGER.info("---------------------------------------------------------");
//比较并赋值,返回是否成功：通过Unsafe保证原子性
LOGGER.info("compareAndSet(expect,update)：如果当前是期望的值则赋值----result = " + aBoolean.compareAndSet(false,true));
LOGGER.info("compareAndSet(expect,update)：如果当前是期望的值则赋值----result = " + aInt.compareAndSet(6,7));
LOGGER.info("compareAndSet(expect,update)：如果当前是期望的值则赋值----result = " + aLong.compareAndSet(200L,300L));
LOGGER.info("compareAndSet(expect,update)：如果当前是期望的值则赋值----result = " + aStr.compareAndSet("Ni Hao!","Good Luck!"));
LOGGER.info("---------------------------------------------------------");
LOGGER.info("weakCompareAndSet(expect,update)的实现的效果与compareAndSet(expect,update)一致，但可能失败[其实不会失败，因为其源代码与后者一致。]");
LOGGER.info("---------------------------------------------------------\n");

运行结果：

2018-03-25 15:11:47 INFO  AtomicBasicDemo:23 - ===========原子类型的默认构造器：
2018-03-25 15:11:47 INFO  AtomicBasicDemo:25 - AtomicBoolean()：声明一个原子boolean类型，初始值设置为----false
2018-03-25 15:11:47 INFO  AtomicBasicDemo:26 - AtomicInteger()：声明一个原子int类型，初始值设置为----0
2018-03-25 15:11:47 INFO  AtomicBasicDemo:27 - AtomicLong()：声明一个原子long类型，初始值设置为----0
2018-03-25 15:11:47 INFO  AtomicBasicDemo:28 - AtomicReference()：声明一个原子引用类型，初始值使用默认值----null2018-03-25 15:11:47 INFO  AtomicBasicDemo:36 - ===========原子类型的通用操作：get()/set()/getAndSet()/compareAndSet()/weakCompareAndSet()
2018-03-25 15:11:47 INFO  AtomicBasicDemo:38 - get()：设置当前的值(可见性)----now = true
2018-03-25 15:11:47 INFO  AtomicBasicDemo:39 - get()：设置当前的值(可见性)----now = 1
2018-03-25 15:11:47 INFO  AtomicBasicDemo:40 - get()：设置当前的值(可见性)----now = 1000
2018-03-25 15:11:47 INFO  AtomicBasicDemo:41 - get()：设置当前的值(可见性)----now = Hello World!
2018-03-25 15:11:47 INFO  AtomicBasicDemo:42 - ---------------------------------------------------------
2018-03-25 15:11:47 INFO  AtomicBasicDemo:48 - set()：获取当前的值(可见性)----now = false
2018-03-25 15:11:47 INFO  AtomicBasicDemo:49 - set()：获取当前的值(可见性)----now = 10
2018-03-25 15:11:47 INFO  AtomicBasicDemo:50 - set()：获取当前的值(可见性)----now = 1314
2018-03-25 15:11:47 INFO  AtomicBasicDemo:51 - set()：获取当前的值(可见性)----now = Good Day!
2018-03-25 15:11:47 INFO  AtomicBasicDemo:52 - ---------------------------------------------------------
2018-03-25 15:11:47 INFO  AtomicBasicDemo:58 - lazySet(newValue)：赋值(无可见性)----now = true
2018-03-25 15:11:47 INFO  AtomicBasicDemo:59 - lazySet(newValue)：赋值(无可见性)----now = 21
2018-03-25 15:11:47 INFO  AtomicBasicDemo:60 - lazySet(newValue)：赋值(无可见性)----now = 521
2018-03-25 15:11:47 INFO  AtomicBasicDemo:61 - lazySet(newValue)：赋值(无可见性)----now = Bad Day!
2018-03-25 15:11:47 INFO  AtomicBasicDemo:62 - ---------------------------------------------------------
2018-03-25 15:11:47 INFO  AtomicBasicDemo:64 - getAndSet(newValue)：赋新值，并返回旧值----old = true ,newValue = false ,now = false
2018-03-25 15:11:47 INFO  AtomicBasicDemo:65 - getAndSet(newValue)：赋新值，并返回旧值----old = 21 ,newValue = 5 ,now = 5
2018-03-25 15:11:47 INFO  AtomicBasicDemo:66 - getAndSet(newValue)：赋新值，并返回旧值----old = 521 ,newValue = 200L ,now = 200
2018-03-25 15:11:47 INFO  AtomicBasicDemo:67 - getAndSet(newValue)：赋新值，并返回旧值----old = Bad Day! ,newValue = Ni Hao! ,now = Ni Hao
2018-03-25 15:11:47 INFO  AtomicBasicDemo:68 - ---------------------------------------------------------
2018-03-25 15:11:47 INFO  AtomicBasicDemo:70 - compareAndSet(expect,update)：如果当前是期望的值则赋值----result = true
2018-03-25 15:11:47 INFO  AtomicBasicDemo:71 - compareAndSet(expect,update)：如果当前是期望的值则赋值----result = false
2018-03-25 15:11:47 INFO  AtomicBasicDemo:72 - compareAndSet(expect,update)：如果当前是期望的值则赋值----result = true
2018-03-25 15:11:47 INFO  AtomicBasicDemo:73 - compareAndSet(expect,update)：如果当前是期望的值则赋值----result = false
2018-03-25 15:11:47 INFO  AtomicBasicDemo:74 - ---------------------------------------------------------
2018-03-25 15:11:47 INFO  AtomicBasicDemo:75 - weakCompareAndSet(expect,update)的实现的效果与compareAndSet(expect,update)一致，但可能失败[其实不会失败，因为其源代码与后者一致。]
2018-03-25 15:11:47 INFO  AtomicBasicDemo:76 - ---------------------------------------------------------

4.AtomicInteger和AtomicLong的独有方法

然后学习AtomicInteger和AtomicLong独有的一些方法，这些方法如下：

getAndAdd(delta)：增量计算并返回旧值，具有原子性和可见性。
addAndGet(delta)：增量计算并返回新值，具有原子性和可见性。
getAndIncrement()：自增并返回旧值，类似i ++，具有原子性和可见性。
incrementAndGet()：自增并返回新值，类似++ i，具有原子性和可见性。
getAndDecrement()：自减并返回旧值，类似i --，具有原子性和可见性。
decrementAndGet()：自减并返回新值，类似-- i，具有原子性和可见性。