java并发之volatile

最新推荐文章于 2024-10-08 15:07:49 发布

飘啊飘飘啊飘

最新推荐文章于 2024-10-08 15:07:49 发布

阅读量81

点赞数

分类专栏：多线程文章标签：多线程 java

本文链接：https://blog.csdn.net/mantowild/article/details/116059001

版权

多线程专栏收录该内容

3 篇文章 0 订阅

订阅专栏

java并发之volatile

作用：保证变量的可见性

可见性问题的由来：

由于CPU比内存以及磁盘的速度快得多，CPU操作一个变量需要等到内存、磁盘读取成功。这时的CPU会死等在这里，极大的影响了CPU利用率。为了解决这个问题、硬件工程师先是增加了高速缓存，事先让一些常用变量加载到高速缓存中，这样CPU就不需要等待内存加载成功，这样提高了CPU的利用率，但是体验还是不行。为了提升CPU的利用率，发明了线程，在CPU死等的时候去运行其他的内容，极大地利用了CPU资源。但是工程师没有满足，为了得到更快的运行效率，提出了多核CPU。本来在单核CPU的多线程环境中没有可见性问题，但是随着CPU从单核变为多核就出现了可见性问题。

可见性问题：

有一个场景，有两个CPU核心，每个CPU核心有一个缓存。主内存保存有count=0；有两个线程对count进行循环加一操作。

当第一个线程得到CPU0的时间片时，对count进行加操作。即从0开始加。

而此时第二个线程恰好得到CPU1的时间片，也会进行count的加操作。也会从缓存里面读出值，此时CPU1缓存中的值还是0，并不是CPU0中已经计算到的值。就会进行从0开始加的操作。这个就是可见性问题。

其原因是因为不同CPU的缓存中的数据没有共享。、

解决可见性问题

因为CPU的缓存数据没有共享，才导致可见性问题，解决方法当然是让数据共享，即让不同CPU的缓存一致。可以通过缓存锁的的方式来保证缓存一致。即让CPU读写是遵循缓存一致性协议，比如MESI协议。该协议规定了缓存的四种状态。其中M、S、E状态下CPU可以从缓存中读取数据，当缓存处于I状态，CPU只能从主内存中读取数据。这样就可以保证缓存一致性。大致思路是如果一个CPU修改了值，他会告知其他CPU他缓存中的值现在已经无效了，需要从主内存里面重新加载，其他的CPU在接受到这个信息之后，会返回一个ACK给修改值的CPU。CPU接收到值之后才进行将数据同步到主内存，再接着运行其他指令，当然这个过程是阻塞的。为了解决阻塞问题，提高CPU的利用率，引入了一个称作StoreBuffer的东西，即CPU在通知其他CPU之后，就将该数据保存在StoreBuffer，自己去执行其他代码去了，不阻塞在这里。等到ACK返回之后，再将StoreBuffer中的数据同步到缓存以及主内存中。

重排序问题

但是，通过该方式还有一个问题没有解决，就是指令重排序的问题。上面讲到，为了最大化利用CPU资源，CPU死等其他CPU的ACK，它会先运行其他指令。这样就会打乱一些变量之间的逻辑关系。举个简单的例子。见下面代码。

package com.test.demo;

public class VolatileTest {

    static  boolean is_Finish =false;
    static  int i =0;
    
    public static void main(String[] args) {
        
        Thread thread = new Thread(() -> {
            i = 10;
            is_Finish = true;
        });

        Thread thread1 = new Thread(() -> {
            if (is_Finish) {
                if (i == 10) {
                    System.out.println("true");
                }else{
                    System.out.println("false");
                }
            }
        });
        
        thread.start();
        thread1.start();

    }
}