聊聊jvm中内存模型的坑

jvm线程的内存模型

看图,简单来说线程中操作的变量是副本。在并发情况下,如果数据发生变更,副本的数据就变为脏数据。这个时候就会有并发问题。

参考:https://www.cnblogs.com/yeyang/p/12580682.html

怎么解决并发问题

解决的方案有两种:

  1. 加排它锁,将并发的操作变成串行的操作。

  2. 无锁方案:通过cas操作,并保证如果变量发生变更,其它的线程需要立即知道。(java的原子操作类使用的就是这种方案:cas+volatile)

volatile关键字实战

先说结论, 从实战效果上看,whlie循环中的变量是无法感知到其它线程对变量的修改的,但是再加上volatile关键字修饰之后可以感知到。而for循环中即使不加关键字volatile修饰,也是可以感知到变化的。这点在写代码时特别要注意。

测试代码如下:

java 复制代码
//结论: while循环的写法,可以反应出变量的可见性问题,for循环的写法不能反应可见性问题
public class Demo {
    static AtomicLong atomicLong = new AtomicLong(0);
    public static int a = 0;
    //public volatile static int a = 0;
    @SneakyThrows
    public static void main(String[] args) {
        test03();
    }

    //while循环在变量不加volatile关键字修饰时,无法感知到变量变化。
    public static void test02() throws InterruptedException {
        Thread thread01 = new Thread(new Runnable() {
            @SneakyThrows
            @Override
            public void run() {
                System.out.println("test01:"+a);
                while (true) {
                    if (a >= 2) {
                        System.out.println("我变了");
                    }
                }
            }
        });
        thread01.start();

        Thread thread02 = new Thread(new Runnable() {
            @SneakyThrows
            @Override
            public void run() {
                for(int i=0;i<2;i++){
                    a++;
                    System.out.println("test02:" + a);
                }
            }
        });
        thread02.start();
        Thread.sleep(10000);
    }

    //for循环即使不加volatile关键字修饰,也可以感知到变量变化。
    public static void test03() throws InterruptedException {
        Thread thread01 = new Thread(new Runnable() {
            @SneakyThrows
            @Override
            public void run() {
                System.out.println("test01:"+a);
                for(int i=0; i<10000; i++){
                    if (i==0) {
                        Thread.sleep(1000);
                    }
                    if (a >= 2) {
                        System.out.println("我变了");
                    }
                }
            }
        });
        thread01.start();

        Thread thread02 = new Thread(new Runnable() {
            @SneakyThrows
            @Override
            public void run() {
                for(int i=0;i<2;i++){
                    a++;
                    System.out.println("test02:" + a);
                }
            }
        });
        thread02.start();
        Thread.sleep(10000);
    }
}
相关推荐
用户0942485680310 小时前
第23章:OpenJDK逃逸分析、标量替换与锁优化
java·jvm
wuminyu10 小时前
LockStack在虚拟线程Mount和Unmount拷贝过程剖析
java·linux·c语言·jvm·c++
2601_9620715715 小时前
类变量和全局变量的隔离性有什么区别?
java·开发语言·jvm
估值探索者17 小时前
【Python量化系统工程实战 #01】数据存储选型 CSVSQLiteMySQL 对比与 SQLite 实战建库
开发语言·jvm·python·sqlite·api接口·数据api接口·股票数据api接口
打工仔折腾 AI1 天前
从 Demo 到生产级 Agent:8 个关键设计机制与 Python 实现拆解
java·jvm·人工智能·后端·python·langchain·ai agent 实战
用户094248568031 天前
第22章:JIT编译分层——Interpreter、C1、C2与热点探测
java·jvm
乌暮1 天前
JVM 原理与实践:从运行时数据区到线上故障排查
java·开发语言·jvm·后端·学习·面试
长河2 天前
Java的GC(垃圾回收)中,标记无用对象的核心方法是可达性分析算法
java·jvm·算法
可乐ea2 天前
GitHub Security Lab 开源 Fuzzing Taskflow:让 LLM 智能体自己跑完 C/C++ 模糊测试
jvm·c++·github·模糊测试·mcp·代码agent·智能体自动化
一条破秋裤2 天前
Linux 线程同步:读写锁
java·linux·jvm