volatile实现内存可见性

本文探讨了volatile关键字如何通过内存屏障实现内存可见性,但无法保证复合操作的原子性。介绍了三种实现自增变量线程安全的方法:使用ReentrantLock、synchronized和AtomicInteger。

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

volatile实现内存可见性

深入来讲:
通过加入内存屏障和禁止重排序优化来实现的
对volatile变量执行写操作时,会在写操作后加入一条store的屏障指令
对volatile变量执行读操作时,会在读操作前加入一条load屏障指令

线程写volatile变量的过程
1.改变线程工作内存中volatile变量副本的值
2.将改变工作内存副本中的值刷新到主内存中区

线程读volatile变量的过程
1.从主内存中读取volatile变量的最新值到线程的工作内存中
2.从工作内存中读取volatile变量的副本


volatile不能保证变量复合操作的原子性
private int number=0;
number++;
1.读取number的值
2.将number的值加1
3.写入最新的number

 

注意:

volatile不能实现原子性,不是线程安全的

package com.example.demo;

import java.util.concurrent.CountDownLatch;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

/**
 * Created by 小波哥  2018/9/28 9:51
  实现自增变量线程安全性的三种办法
  第一种:使用jdk1.5 java.util.concurrent 自带的lock锁
  第二种:使用同步锁 synchronizend 实现
  第三种:使用jdk1.5后提供的Atomic下的AtomicInteger 或者使用LongAddr
 */
public class ThreadSafeAddCount {

    public static void main(String[] args) {


        CountDownLatch latch=new CountDownLatch(1000);
        ThreadSafeCount count=new ThreadSafeCount(latch);
        for (int i = 0; i <1000 ; i++) {
            new Thread(count,"线程"+i).start();
        }

        try {
            latch.await();
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count.getCount());
    }

}
class ThreadSafeCount implements  Runnable{

    private CountDownLatch latch;

    public ThreadSafeCount(CountDownLatch latch){
        this.latch=latch;
    }
    
    Lock lock=new ReentrantLock();  

    
   /*
   使用Atomicinter实现
    private AtomicInteger count=new AtomicInteger();

    public  int getCount() {
        return count.getAndIncrement();
    }

 */

 

/**
    使用synchronized 实现
 *  public synchronized int getCount() {
 *         return count++;
 *     }
 */

    private int count;

    public  int getCount() {
        return count++;
    }
   

    @Override
    public void run() {
        try{
            Thread.sleep(100);
            lock.lock();
            getCount();
        }catch (Exception e){
            e.printStackTrace();
        }finally {
           lock.unlock();
            latch.countDown();
        }
    }
}

 

默认使用lock实现

<think>嗯,用户想了解Java中volatile关键字如何实现可见性,特别是在多线程环境下的工作机制和使用方法。我需要结合之前提供的引用内容来解答这个问题。首先,我得回忆一下volatile的作用,它主要是确保共享变量在多线程中的可见性,避免线程使用缓存中的旧值。 根据引用[1],volatile通过Java内存模型确保所有线程看到一致的值。引用[2]提到硬件层面,比如Intel处理器如何实现可见性,可能涉及缓存一致性协议。还有引用[3]和[4]解释了volatile适用于共享变量,而局部变量不存在可见性问题。此外,引用[5]提到了内存屏障和字节码层面的实现。 我应该先定义可见性,然后解释volatile如何通过内存屏障和缓存机制来实现。需要区分volatilesynchronized的不同,指出volatile是轻量级的。还要举例子说明没有volatile时的问题,比如引用[2]中的案例,线程无法感知停止请求。另外,内存屏障的具体作用,比如Store和Load屏障,确保写操作立即刷新到主存,读操作从主存获取最新值。 可能还需要提到JMM(Java内存模型)的规定,以及底层如何通过MESI协议等实现缓存一致性。最后,给出使用场景和注意事项,比如不适合复合操作,此时需要用synchronized或原子类。 用户可能还关心如何正确使用volatile,所以需要给出代码示例,比如用volatile修饰变量,并对比有无volatile时的不同结果。同时,要指出常见误区,比如不能依赖volatile解决原子性问题。</think>### Java volatile关键字可见性实现原理 #### 一、可见性问题本质 当多个线程访问共享变量时,每个线程会将变量从主内存**复制到工作内存(CPU缓存)**中进行操作。若未正确同步,可能导致线程间**无法感知变量值的更新**。例如: ```java // 引用[2]的案例:线程无法感知stopRequested的修改 private static boolean stopRequested = false; // 未加volatile时 ``` #### 二、volatile实现机制 1. **内存屏障(Memory Barriers)** - **写操作屏障**:强制将工作内存中的修改**立即刷回主内存** - **读操作屏障**:强制从主内存**重新加载最新值** - 具体屏障类型(引用[5]): ```asm StoreStore Barrier | volatile写操作 | StoreLoad Barrier LoadLoad Barrier | volatile读操作 | LoadStore Barrier ``` 2. **缓存一致性协议支持** - 通过**MESI协议**实现缓存行状态同步(引用[2]硬件层面) - 当volatile变量被修改时,会触发CPU的**缓存失效机制** 3. **JVM层面的实现** - 字节码添加`ACC_VOLATILE`标志(引用[5]) - JIT编译器不会对volatile变量进行**指令重排序优化** #### 三、与普通变量的对比 | 特征 | 普通变量 | volatile变量 | |---------------------|--------------------------|---------------------------| | 可见性保证 | 无 | 有 | | 原子性 | 单操作具备,复合操作无 | 单操作具备,复合操作无 | | 指令重排序限制 | 允许 | 禁止 | #### 四、正确使用场景(引用[4]) 1. **状态标志位** ```java volatile boolean shutdownRequested; // 所有线程可见的终止标志 ``` 2. **单次写入的发布对象** ```java volatile Singleton instance; // 双重检查锁定模式 ``` #### 五、代码验证示例 ```java public class VisibilityDemo { // 不加volatile时程序不会终止 volatile static boolean flag = true; public static void main(String[] args) throws InterruptedException { new Thread(() -> { while (flag) {} // 此处会持续读取主内存最新值 System.out.println("Thread stopped"); }).start(); Thread.sleep(1000); flag = false; // 修改后立即同步到主内存 } } ``` #### 六、注意事项 1. **不保证原子性**:`volatile int i=0; i++`仍存在线程安全问题 2. **复合操作需同步**:对`volatile Map`的`put`和`get`需配合`synchronized` 3. **性能影响**:频繁写操作会因内存屏障降低性能 [^1][^2][^3][^4][^5]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值