线程安全之原子操作

西魏陶渊明 ... 2021-12-25 Java进阶 大约 5 分钟

作者: 西魏陶渊明 博客: https://blog.springlearn.cn/ (opens new window)

西魏陶渊明

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

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

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


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

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

举一个🌰例子A:

int a = 1;
1

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

举一个🌰例子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。正常情况我们可以理解是单线程操作。结果也是没有问题的。

举一个🌰例子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变量出现了数据不一致情况。

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

# 问题分析

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

对变量的每次操作其实都有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。

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

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

# 如何解决这种问题

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

# 原子基础类

原子基础类API

# 原子数组类

原子更新数组API

# 原子引用类

注意:

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

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

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

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

最后求关注,求订阅,谢谢你的阅读!


本文由西魏陶渊明版权所有。如若转载,请注明出处:西魏陶渊明
上次编辑于: 2022年6月16日 21:10
贡献者: lxchinesszz