Java并发 - volatile 及其四大特征

最新推荐文章于 2025-05-29 22:27:42 发布

MrDJun

最新推荐文章于 2025-05-29 22:27:42 发布

阅读量224

点赞数

CC 4.0 BY-SA版权

分类专栏： JUC

本文链接：https://blog.csdn.net/qq_41647999/article/details/119879675

JUC 专栏收录该内容

22 篇文章

订阅专栏

本文深入探讨了Java中volatile关键字的作用，它确保了线程间变量的可见性，但不保证原子性。通过示例代码展示了volatile在多线程环境下无法保证原子性的问题，并提出使用AtomicInteger来解决这一问题。此外，还简要提及了volatile防止指令重排以保证内存可见性的原理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

线程的三大特性：原子性、有序性、可见性。

volatile 是Java虚拟机提供轻量级的同步机制，遵循happen-before规则，解决线程可见性的问题，让一个线程对共享变量的修改能够及时让其它线程看到。

对于一个volatile 变量的写操作先行发生于每个后续对该volatile变量的读操作。

1、保证可见性

操作的变量发生变化时，能够及时通知正在操作该值的线程。

2、不保证原子性

原子性：线程执行任务的时候，不能被打扰，也不能被分割。要么同时成功，要么同时失败。

如何证明不保证原子性？

public volatile static int n = 0;
public void add() {n++;}
public void test2() {
    // 开启20个线程，每个线程从0加到1000，按理结果应该为20*1000=20000
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            for (int j = 0; j < 1000; j++) {
                add();
            }
        }).start();
    }
    
    // Java中main线程和gc线程是默认在执行的，
    while (Thread.activeCount() > 2) {
        Thread.yield();
    }
	// 能够执行到这里，说明所有的线程一定执行完毕
    System.out.println(Thread.currentThread().getName() + " => " + n); // n=19494
}

执行结果不为期望的 2w，说明执行期间变量 n 被别人占用导致没有加到2w。所以，volatile是不保证原子性的。

不使用Lock锁和synchronized关键字如何保证原子性？

分析： n++不是一个原子性操作。在方法 add() 编译后的字节码中，可以看出执行步骤包含：从常量池获取到值，进行加一，放进常量池，返回结果。多线程都可以进来修改，存在线程安全问题。

public void add();
   Code:
      0: getstatic     #5                  // Field n:I
      3: iconst_1
      4: iadd
      5: putstatic     #5                  // Field n:I
      8: return

解决：使用JUC包下的Atomic类来解决原子性问题。

public volatile static AtomicInteger n2 = new AtomicInteger();
/**
 * 使用Java原子类(原理是 CAS)
 */
public static void addAtomic() {
    // AtomicInteger 的 +1 操作
    n2.getAndIncrement();
}

public void test3() {
    for (int i = 0; i < 20; i++) {
        new Thread(() -> {
            for (int j = 0; j < 1000; j++) {
                addAtomic();
            }
        }).start();
    }

    while (Thread.activeCount() > 2) {
        Thread.yield();
    }

    System.out.println(Thread.currentThread().getName() + " => " + n2.get());
}