原子性及CAS算法

java.util.concurrent.atomic 包下提供了一些原子变量

非原子性操作问题：

package com.mock;

import org.junit.jupiter.api.Test;

public class TestAtomic {


    @Test
    public void test() throws InterruptedException {
        ThreadTest t = new ThreadTest();
        for (int i = 0; i < 10; i++) {
            new Thread(t).start();
        }
        Thread.sleep(3000);
    }

}

class ThreadTest implements Runnable {
    private int mock = 0;

    @Override
    public void run() {
        try {
            Thread.sleep(1000);
            System.out.println(getMock());
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }

    public int getMock() {
        return mock++;
    }
}

0
1
2
3
4
5
7
6
5
7

Process finished with exit code 0

问题描述：

mock++ 计算机底层运算分3步
int mock=0
mock = mock++ //mock的值为0

int tmp = mock
mock = mock + 1
mock = tmp

所以多线程下会出现非原子性问题

问题解决：

class ThreadTest implements Runnable {
    private AtomicInteger mock = new AtomicInteger(0);

    @Override
    public void run() {
        try {
            Thread.sleep(1000);
            System.out.println(getMock());
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }

    public int getMock() {
        return mock.incrementAndGet();
    }
}

CAS（Compare-And-Swap） 算法保证数据变量的原子性
CAS 算法是硬件对于并发操作的支持
CAS 包含了三个操作数：
1、内存值 V
2、预估值 A
3、更新值 B
当且仅当 V == A 时， V = B; 否则，不会执行任何操作。