线程安全之原子操作_java

作者: 西魏陶渊明



西魏陶渊明

莫笑少年江湖梦,谁不少年梦江湖



原子特性: 原子是最小的粒子,不可再分

这并不是一个化学课,而是巧妙的借用了化学上的一个概念,即原子是最小的粒子,不可再分;原子操作也是不能再分的操作; 为了能把这个讲明白,下文基本都是大白话,其实Java本来并不是很难,而是总有一些人喜欢把简单的概念给复杂化。小编不喜欢 那种说辞,所以尽量简单易懂。如有问题,欢迎提出问题。共同交流进步,最后谢谢你的阅读。


# 举例说明原子操作重要性

在很多场景中我们需要我们的操作是原子特性的,如果我们写的程序都是单线程的,其实我们没必要考虑原子操作。但是假如 我们写多线程操作,或者是在Web服务中来更新对象属性,那么就必须要来考虑原子操作问题了。

举一个🌰例子A:



int a = 1;



1

可以看到程序对变量 ​​a​​ 操作,其实是有多个步骤进行的。在单线程环境下基本不会发生任何问题

线程安全之原子操作_赋值_02

举一个🌰例子B(单线程操作):



public class Tester {

private static Integer a = 1;

private static AtomicInteger aa = new AtomicInteger(1);

private static void restore() {
a = 1;
aa = new AtomicInteger(1);
}

public static void main(String[] args) {
for (int i = 0; i < 10; i++) {
test("第" + i + "次");
restore();
}
}

private static void test(String str) {
for (int i = 1; i <= 1000; i++) {
new Thread(() -> a = a + 1).start();
new Thread(() -> aa.addAndGet(1)).start();
}
System.out.print(str + "常规操作a=" + a);
System.out.println(" <===> "+str+"原子操作操作aa=" + aa);
}
}



1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27


规律:



/**
* i i+1
* 1: a = 1 + 1 = 2
* 2: a = 2 + 1 = 3
* 3: a = 3 + 1 = 4
* 4: a = 4 + 1 = 5
* 5: a = 5 + 1 = 6
* 6: a = 6 + 1 = 7
* 7: a = 7 + 1 = 8
* 8: a = 8 + 1 = 9
* 9: a = 9 + 1 = 10
* 10:a = 10 + 1 = 11
*/



1 2 3 4 5 6 7 8 9 10 11 12 13


如上面代码变量a是基本类型,变量aa是原子类型,正常情况对a或者aa进行1000次操作结果都应该是 ​​1001​​。正常情况我们可以理解是单线程操作。结果也是没有问题的。

线程安全之原子操作_赋值_03

举一个🌰例子C(多线程操作):



public class Tester {

private static Integer a = 1;

private static AtomicInteger aa = new AtomicInteger(1);

private static void restore() {
a = 1;
aa = new AtomicInteger(1);
}

public static void main(String[] args) throws Exception {
for (int i = 0; i < 10; i++) {
test("第" + i + "次");
restore();
}
}

private static void test(String str) throws Exception {
for (int i = 1; i <= 100; i++) {
new Thread(() -> a = a + 1).start();
new Thread(() -> a = a + 1).start();

new Thread(() -> aa.addAndGet(1)).start();
new Thread(() -> aa.addAndGet(1)).start();
Thread.sleep(1);
}
System.out.print(str + "常规操作a=" + a);
System.out.println(" <===> " + str + "原子操作操作aa=" + aa);
}

}



1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33


规律:



/**
* i 2 * i + 1
* 1: a = 1 + 1 + 1 = 3
* 2: a = 3 + 1 + 1 = 5
* 3: a = 5 + 1 + 1 = 7
* 4: a = 7 + 1 + 1 = 9
* 5: 11
* 6: 13
* 7: 15
* 8: 17
* 9: 19
* 10: 21
*/



1 2 3 4 5 6 7 8 9 10 11 12 13


多线程环境下操作会不会有问题呢? 出现了问题。我们看到使用常规操作的a变量出现了数据不一致情况。

线程安全之原子操作_jvm_04

实际上当循环的次数越多,出现错误的几率就越大,如下我们循环了1000次。

线程安全之原子操作_java_05

# 问题分析

我们思考为什么基本类型进行多线程操作时候会出现这种情况呢? 其实问题答案最开始已经说了。 我们通过这张图 就可以找到原因。

线程安全之原子操作_赋值_06

对变量的每次操作其实都有3个步骤

  1. 读取变量值
  2. 变量值操作
  3. 变量重新赋值。

我们模拟一下错误的原因。

当A线程读取a=1,并对1+1。但是还未对变量重新赋值a=2的时候, B线程也读取了A还未赋值的变量,此时变量还是1,那么B线程因为读取了还未更新的数据,所以也做1+1的操作。然后B对a 重新赋值了此时a=2,是B赋值的。这个时候A因为已经执行完了前两个步骤,最后也重新赋值了a=2。

这样数据就更新丢了。这就是因为数据更新不是原子性从而导致的问题。

因为数据更新丢了,所以出现了。

线程安全之原子操作_开发语言_07

# 如何解决这种问题

如何解决这种问题,其实很简单只要我们保证我们的操作是原子操作即可,简单来说就是将更新的三个步骤合并成一个步骤即可,在Java中JDK已经为我们提供了很多的 原子操作每一个基本类型都对应一个原子操作。

# 原子基础类

线程安全之原子操作_jvm_08

原子基础类API

线程安全之原子操作_jvm_09

# 原子数组类

线程安全之原子操作_java_10

原子更新数组API

线程安全之原子操作_赋值_11

# 原子引用类

线程安全之原子操作_原子操作_12

注意:

想要原子的更新字段,需要两个步骤:

1.每次使用的时候必须使用静态方法newUpdater()创建一个更新器,并且需要设置想要更新的类和属性

2.更新类的字段(属性)必须使用public volatile修饰符

# 最后我们看一下原子操作的原理

线程安全之原子操作_开发语言_13