什么是JMM?

Java Memory Model:Java内存模型

白话:JMM定义了一套在多线程读写共享数据时,对数据可见效有序性原子性的规则和保障

  • 原子性:一个或多个操作要么全部执行成功,要么全部执行失败。synchronized关键字可以保证只有一个线程拿到锁,访问共享资源。
  • 可见性:当一个线程对共享变量进行修改后,其他线程可以立刻看到。执行synchronized时,会对应执行 lockunlock原子操作,保证可见性。
  • 有序性:程序的执行顺序会按照代码的先后顺序执行。

synchronized 保证了并发编程的三大特性

语法

synchroniezd(对象){
    // 操作
}

volatile 只保证可见性

    //volatile static boolean run = true;
    static boolean run = true;

    @SneakyThrows
    public static void main(String[] args) throws ClassNotFoundException {
        new Thread(() -> {
            while (run) {
                // 注意,如果此代码下有任何方法中有synchronized,就会强制放弃JIT优化,直接读取主内存的数据!
            }
        }).start();
        Thread.sleep(1000L);
        run = false;
        System.out.println("主线程已修改run值");
    }

结果就是:主线程操作的数据,子线程会经过JIT编译后相当于copy一份放入高速缓存中,主线程修改了内存数据,子线程的告诉缓存可没发生变化。所以添加volatile修饰后,就正常了,保证了可见效。

有序性

多个线程之间,需要执行多行代码,由于线程去争抢CPU时间点,就会造成某线程执行第一行,另一个线程执行完毕。也有可能是线程执行完毕,才会执行另一个线程。所以在多线程中,代码有序性是无法保证的。只能通过加锁的方式,保证某线程彻底执行完毕。

其底层是JVM的指令重排。在多线程环境下,可能会影响运行的顺序。

特殊说明:
上述文章均是作者实际操作后产出。烦请各位,请勿直接盗用!转载记得标注原文链接:www.zanglikun.com
第三方平台不会及时更新本文最新内容。如果发现本文资料不全,可访问本人的Java博客搜索:标题关键字。以获取全部资料 ❤