JAVA高并发从内存分析数据不一致的原因

并发: 多线个线程操作相同的资源,保证线程安全,合理使用资源

高并发: 服务能短时间同时处理很多请求,提高程序性能

以下代码,通过对共享变量进行累加操作,模拟200个线程,客户端500个请求

    private static int threadTotal = 200;
    private static int clientTotal = 500;

    private static long count = 0;

    public static void main(String[] args) {
        ExecutorService exec = Executors.newCachedThreadPool();

        final Semaphore semaphore = new Semaphore(threadTotal);
        for (int index = 0; index < clientTotal; index++) {
            exec.execute(() -> {
                try {
                    semaphore.acquire();
                    add();
                    semaphore.release();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            });

        }
        exec.shutdown();
        log.info("count={}", count);
    }

    private static void add() {
        count++;
    }

多次运行程序,会发现每次计算的结果不一致,如果将threadTotal改成1,单个线程执行,多次运行的结果又会一致,

当JAVA程序多条线程执行主内存中的共享变量时,线程与线程之间是如何通信的呢?

假设A线程先执行,会从本地内存A中(抽象模型)取出更新过的共享变量副本刷新到主内存中去,

线程B会去主内存读取线程A更新过的共享变量

假设上述代码主内存中共享变量的值为1,线程A和线程B同时执行,线程A从主内存读取到的值是1,提取到自己的本地内存中进行+1的操作,将得到的结果2更新到主内存的共享变量

同时线程B,线程A从主内存拿到值为1的同时,线程B也拿到了1,放入B的本地内存进行+1操作等到2,线程A将结果2更新到主内存的同时,线程B也将结果2更新到主内存,而不是先读取线程A更新的2之后再重新计算!因此出现了错误

解决方案:增加同步的操作

同步的8种操作

lock(锁定): 作用于主内存的变量,把一个变量标识为一条线程独占状态

unlock(解锁):作用于主内存的变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定

read(读取):作用于主内存的变量,把一个变量值从主内存传输到线程的工作内存中,以便随后的load动作使用

load(载入):作用域工作内存的变量,它把read操作从主内存中得到的变量值放入工作内存的变量副本中

user(使用):作用于工作内存的变量,把工作内存中的一个变量值传递给执行引擎

assign(赋值):作用于工作内存的变量,它把一个从执行引擎接收到的值赋值给工作内存的变量

store(存储):作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,以便随后的write的操作

write(写入):作用于主内存的变量,它把store操作从工作内存中一个变量的值传送到主内存的变量中