java多线程Synchronized实现可见性原理解析
作者:阳光下的米雪 时间:2021-08-26 02:10:02
Synchronized实现可见性原理
可见性
要实现共享变量的可见性,必须保证两点:
线程修改后的共享变量值能够及时从工作内存刷新到主内存中
其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中
Java语言层面支持的可见性的实现方式
synchronized
volatile
synchronized实现可见性
synchronized能够实现:
原子性(同步)
可见性
JMM关于synchronized的两条规定:
1.线程解锁前,必须把贡献变量的最新值刷新到主内存中
2.线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注意:加锁与解锁需要同一把锁)
线程解锁前对共享变量的修改在下次加锁时对其他线程可见
线程执行互斥代码的过程
获取互斥锁
清空工作内存
从主内存拷贝变量的最新副本到工作内存
执行代码
将更改后的共享变量的值刷新到主内存
释放互斥锁
重排序:
代码书写的顺序与实际执行的顺序不同,指令重排序是编译器或处理器为了提高程序性能而做得优化
编译器优化的重排序(编译器优化)
指令级并行重排序(处理器优化)
内存系统的重排序(处理器优化)
as-if-serial
as-if-serial:无论如何重排序,程序执行的结果应该与代码顺序执行的结果一致(Java编译器、运行时和处理器都会保证Java在单线程下遵循as-if-serial语义)
public class SynchronizedTest {
/**
* 共享变量
*/
private boolean ready = false;
private int result = 0;
private int number = 1;
/**
* 写操作
*/
public void write(){
ready = true;//1.1
number = 2;//1.2
}
/**
* 读操作
*/
public void read(){
if(ready){//2.1
result=number*3;//2.2
}
System.out.println("result的值为:"+result);
}
/**
* 内部线程类
*/
private class ReadWriteThread extends Thread{
//根据构造方法中传入的flag参数,确定线程执行读操作还是写操作
private boolean flag;
public ReadWriteThread(boolean flag){
this.flag=flag;
}
@Override
public void run() {
if(flag){
//构造方法中传入true,执行写操作
write();
}else{
//构造方法中传入false,执行读操作
read();
}
}
}
public static void main(String[] args) {
SynchronizedTest synchronizedTest = new SynchronizedTest();
//启动线程执行写操作
synchronizedTest.new ReadWriteThread(true).start();
//启动线程执行读操作
synchronizedTest.new ReadWriteThread(false).start();
}
}
导致共享变量在线程间不可见的原因
1.线程的交叉执行
eg:上述程序执行步骤为1.1-》2.1-》2.2-》1.2
eg:上述程序执行步骤为1.2-》2.1-》2.2-》1.1
2.重排序结合线程交叉执行
eg: 2.1和2.2重排序后
int mid = number*3;
if(ready){
result=mid;
}
共享变量更新后的值没有在工作内存与主内存间及时更新
安全性代码
public class SynchronizedTest {
/**
* 共享变量
*/
private boolean ready = false;
private int result = 0;
private int number = 1;
/**
* 写操作
*/
public synchronized void write(){
ready = true;//1.1
number = 2;//1.2
}
/**
* 读操作
*/
public synchronized void read(){
if(ready){//2.1
result=number*3;//2.2
}
System.out.println("result的值为:"+result);
}
/**
* 内部线程类
*/
private class ReadWriteThread extends Thread{
//根据构造方法中传入的flag参数,确定线程执行读操作还是写操作
private boolean flag;
public ReadWriteThread(boolean flag){
this.flag=flag;
}
@Override
public void run() {
if(flag){
//构造方法中传入true,执行写操作
write();
}else{
//构造方法中传入false,执行读操作
read();
}
}
}
public static void main(String[] args) {
SynchronizedTest synchronizedTest = new SynchronizedTest();
//启动线程执行写操作
synchronizedTest.new ReadWriteThread(true).start();
//启动线程执行读操作
synchronizedTest.new ReadWriteThread(false).start();
}
}
来源:https://blog.csdn.net/qq_38530648/article/details/121676186
标签:java,多线程,Synchronized,可见性
0
投稿
猜你喜欢
RocketMQ存储文件的实现
2023-03-16 15:11:27
Java流处理stream使用详解
2021-09-17 18:27:58
C++实现的链表类实例
2023-07-04 08:36:36
android压力测试命令monkey详解
2023-06-17 00:36:29
java异步上传图片示例
2023-05-31 13:42:51
使用Spring Boot进行单元测试详情
2023-11-10 08:01:53
maven之packaging标签的使用
2021-10-25 05:14:42
详解C#对XML、JSON等格式的解析
2022-06-04 22:45:50
spring boot自带图片服务器使用详解
2021-11-07 07:49:39
Spring Security实现用户名密码登录详解
2021-05-24 14:32:36
Java回调函数与观察者模式实例代码
2023-11-16 17:30:11
JAVA MyBatis入门学习过程记录
2022-04-23 13:49:24
SpringMVC + servlet3.0 文件上传的配置和实现代码
2023-08-08 16:42:43
Spring Boot实现异步请求(Servlet 3.0)
2023-11-27 06:26:47
C#日期格式强制转换方法(推荐)
2022-09-19 10:24:57
Spring Boot项目如何同时支持HTTP和HTTPS协议的实现
2023-11-19 19:57:05
Spring Cloud Ribbon配置详解
2023-11-25 01:32:50
Java BoxLayout(盒子布局)布局管理器解析
2022-07-19 05:26:09
Spring IOC:CreateBean环节中的流程转换
2022-06-10 12:28:31
spring boot使用logback日志级别打印控制操作
2021-08-11 07:40:03