Java内存模型 && JVM 内存模型

本文深入解析Java内存模型(JMM),涵盖Happens-Before规则,包括程序顺序、监视器锁、volatile变量、线程启动与结束、中断及终结器规则。理解这些规则对于确保Java程序的正确性和并发安全性至关重要。

一 . Java内存模型
Java 内存模型是通过各种操作来定义的,包括对变量的读/写操作,监视器的加锁喝释放操作,以及线程的启动和合并操作。JMM为程序中的所有操作定义了一个偏序关系,称之为Happens-Before。如果两个操作之间缺乏Happens-Before关系,那么JVM可以对他们任意地重排序。
Happens-Before 规则:
1.程序顺序规则。如果程序中操作A在操作B之前,那么线程中A操作将在B操作之前执行。
2.监视器锁规则。在监视器锁上的解锁操作必须在同一个监视器锁上的加锁操作之前执行。
3.volatile 变量规则。对volatile 变量的写入操作必须在对该变量的读操作之前执行。
4.线程启动规则。在线程上对Thread.Start的调用必须在该线程中执行任何操作之前执行。
5.线程结束规则。在线程中的任何操作都必须在其他线程检测到该线程已经结束之前执行。或者从Thread.join 中成功返回,或者在调用Thread.isAlive时返回false。
6.中断规则。当一个线程在另一个线程上调用 interrupt 时,必须在被中断线程检测到 interrupt 调用之前执行(通过抛出InterruptedException,或者调用 isInterrupted和 interrupted )。
7.终结器规则。对象的构造函数必须在启动该对象的终结器之前执行完成。
8.传递性。如果操作A 在操作B 之前执行,并且操作B 在操作C 之前执行,那么操作A必须在操作C之前执行。
二 . jvm 内存模型
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值