目录
java.util.concurrent.atomic 包, 这个包中的原子操作类提供了一种用法简单、性能高效、线程安全地更新一个变量的方 式。因为变量的类型有很多种,所以在 Atomic 包里一共提供了 13 个类,属于 4 种类型 的原子更新方式,分别是原子更新基本类型、原子更新数组、原子更新引用和原子更新属性(字段)。Atomic 包里的类基本都是使用 Unsafe 实现的包装类。
原子更新基本类型类
- AtomicBoolean:原子更新布尔类型。
- AtomicInteger:原子更新整型。
- AtomicLong:原子更新长整型。
AtomicInteger 的常用方法如下。
- int addAndGet(int delta):以原子方式将输入的数值与实例中的值 (AtomicInteger 里的 value)相加,并返回结果。
- boolean compareAndSet(int expect,int update):如果输入的数值等于预期值, 则以原子方式将该值设置为输入的值。
- int getAndIncrement():以原子方式将当前值加 1,注意,这里返回的是自增前的 值。
- void lazySet(int newValue):最终会设置成 newValue,使用 lazySet 设置值后, 可能导致其他线程在之后的一小段时间内还是可以读到旧的值。关于该方法的更 多信息可以参考并发编程网翻译的一篇文章《AtomicLong.lazySet 是如何工作 的?》,文章地址是“http://ifeve.com/how-does-atomiclong-lazyset-work/”。
- int getAndSet(int newValue):以原子方式设置为 newValue 的值,并返回旧值。
public final int getAndIncrement() {
for (; ; ) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next)) return current;
}
}
public final boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
/**
* 如果当前数值是 expected,则原子的将 Java 变量更新成 x
*
* @return 如果更新成功则返回 true
*/
public final native boolean compareAndSwapObject(Object o, long offset,
Object expected,
Object x);
public final native boolean compareAndSwapInt(Object o, long offset, int expected, int
x);
public final native boolean compareAndSwapLong(Object o, long offset, long expected,
long x);
Unsafe 只提供了 3 种 CAS 方法:compareAndSwapObject、 compareAndSwapInt 和 compareAndSwapLong,再看 AtomicBoolean 源码,发现它是先把 Boolean 转换成整型,再使用 compareAndSwapInt 进行 CAS,所以原子更新 char、float 和 double 变量也可以用类似的思路来实现。
原子更新数组
- AtomicIntegerArray:原子更新整型数组里的元素。
- AtomicLongArray:原子更新长整型数组里的元素。
- AtomicReferenceArray:原子更新引用类型数组里的元素。
- AtomicIntegerArray 类主要是提供原子的方式更新数组里的整型。
常用方法如 下。
• int addAndGet(int i,int delta):以原子方式将输入值与数组中索引 i 的元素相 加。
• boolean compareAndSet(int i,int expect,int update):如果当前值等于预期值, 则以原子方式将数组位置 i 的元素设置成 update 值。
数组 value 通过构造方法传递进去,然后 AtomicIntegerArray 会将当前数组复制一份,所以当 AtomicIntegerArray 对内部的数组元素进行修改时,不会影响 传入的数组。
原子更新引用类型
- AtomicReference:原子更新引用类型。
- AtomicReferenceFieldUpdater:原子更新引用类型里的字段。
- AtomicMarkableReference:原子更新带有标记位的引用类型。可以原子更新一个布尔类型的标记位和引用类型。构造方法是 AtomicMarkableReference(V initialRef,boolean initialMark)。
原子更新字段类
- AtomicIntegerFieldUpdater:原子更新整型的字段的更新器。
- AtomicLongFieldUpdater:原子更新长整型字段的更新器。
- AtomicStampedReference:原子更新带有版本号的引用类型。该类将整数值与引 用关联起来,可用于原子的更新数据和数据的版本号,可以解决使用 CAS 进行 原子更新时可能出现的 ABA 问题。
public class AtomicIntegerFieldUpdaterTest {
// 创建原子更新器,并设置需要更新的对象类和对象的属性
private static AtomicIntegerFieldUpdater<User> a = AtomicIntegerFieldUpdater.
newUpdater(User.class, "old");
public static void main(String[] args) { // 设置柯南的年龄是 10 岁
User conan = new User("conan", 10);
// 柯南长了一岁,但是仍然会输出旧的年龄
System.out.println(a.getAndIncrement(conan));
// 输出柯南现在的年龄
System.out.println(a.get(conan));
}
public static class User {
private String name;
public volatile int old;
public User(String name, int old) {
this.name = name;
this.old = old;
}
public String getName() {
return name;
}
public int getOld() {
return old;
}
}
}
代码执行后输出如下。
10
11