12.并发编程-JMM底层实现原理(杂)

本文探讨了Java并发编程中的关键问题,包括JVM内存模型的实现,如对象在栈与堆的分布,以及重排序对一致性的影响。特别关注Happens-Before原则和Volatile关键字的内存语义,通过实例说明它们如何保证可见性和原子性。此外,还将介绍锁的内存语义和synchronized的实现原理,以及不同类型的锁。

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

并发编程领域的关键问题

在这里插入图片描述
在这里插入图片描述

JVM对java内存模型的实现

在java虚拟机中,所有对象的实列都是在推中,对象引用都在栈中,并且堆是线程共享区,栈是线程私有区。虽然说堆式线程共享区,但是前提是线程能够拿到这个对象的引用地址才行。

在这里插入图片描述

java调用方法时候,首先将方法打包成栈帧,加入到栈中。

在这里插入图片描述
在这里插入图片描述

Java内存模型的重排序

解决在并发下的问题

在这里插入图片描述
在这里插入图片描述

Happens-Before

在这里插入图片描述

在这里插入图片描述

Volatile的内存语义

在这里插入图片描述

public class TestDemo1 {

    private  volatile int a = 0;
    public  void  inc(){
       this.a = a+1;
    }
    public int getA() {
        return a;
    }

    public static void main(String[] args) throws InterruptedException {
        TestDemo1 testDemo1 = new TestDemo1();
        for (int i = 0; i < 1000; i++) {
            final int b = i;
            new Thread(()->{
                testDemo1.inc();
            }).start();
        }

        TimeUnit.MILLISECONDS.sleep(100);
        System.out.println("a理论值="+1000+",a的实际值="+testDemo1.getA());
    }
}

执行代码,会发现volatile虽然保证内存的可见性,但是它进行复合操作并不保证原子性。结果有时候并不是1000

在这里插入图片描述
在这里插入图片描述

锁的内存语义

在这里插入图片描述

final内存语义

在这里插入图片描述

synchronized的实现原理

在这里插入图片描述

了解各种锁

在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值