java多线程Synchronized实现可见性原理解析
作者:阳光下的米雪 发布时间:2021-08-26 02:10:02
标签:java,多线程,Synchronized,可见性
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
0
投稿
猜你喜欢
- 问题现象今天在做一个需求:将存入数据库中的数据读到后解析成list遍历分析数据格式:"[1677660600000, 167766
- 1 自定义类加载器自定义类加载器的代码很简单,只需要继承ClassLoader类,覆写findClass方法即可其默认实现是会抛出一个异常:
- 介绍责任链模式是一种行为型设计模式,其目的是将请求从一个对象传递到另一个对象,直到找到能够处理该请求的对象为止.再责任链模式中,每个对象都持
- Java类加载全过程一个java文件从被加载到被卸载这个生命过程,总共要经历4个阶段:加载->链接(验证+准备+解析)->初始化
- springboot对kafka的client很好的实现了集成,使用非常方便,本文也实现了一个在springboot中实现操作kafka的d
- 本文实例讲述了Android编程实现WebView添加进度条的方法。分享给大家供大家参考,具体如下:标准的XML界面<?xml ver
- Java-关键字:final1 .final可以用来修饰的结构:类、方法、变量2.final 用来修饰一个类:此类不能被其他类所继承比如:S
- 前言惰性计算(尽可能延迟表达式求值)是许多函数式编程语言的特性。惰性集合在需要时提供其元素,无需预先计算它们,这带来了一些好处。首先,您可以
- 出处:https://www.cnblogs.com/SunSpring作为初学者配置maven一般网上搜索。然后你就看到各种配置文件片段,
- 本文实例讲述了java生成随机数的方法。分享给大家供大家参考。具体实现方法如下:package com.tool.code; import
- 功能:解决web站点的登录,权限验证,授权等功能优点:在不影响站点业务代码,可以权限的授权与验证横切到业务中1、要添加的依赖<!--t
- 本文研究的主要是Java编程中的复用类,那么到底复用类是什么东西,又有什么用法,下面具体介绍。看了老罗罗升阳的专访,情不自禁地佩服,很年轻,
- 1. 使用方法首先从http://repo1.maven.org/maven2/com/alibaba/druid/&
- 前言Spring是一个开源框架,Spring是于2003 年兴起的一个轻量级的Java 开发框架,由Rod Johnson 在其著作Expe
- 前言代码生成器,也叫逆向工程,是根据数据库里的表结构,自动生成对应的实体类、映射文件和接口。看到很多小伙伴在为数据库生成实体类发愁,现分享给
- 昨天下午快下班的时候,无意中听到公司两位同事在探讨批量向数据库插入数据的性能优化问题,顿时来了兴趣,把自己的想法向两位同事说了一下,于是有了
- 目录了解程序集如何在C#.NET中加载程序集,模块和引用.NET中的程序集绑定绑定重定向当问题开始发生时故障排除边注References了解
- 什么是Aop主要介绍springboot中aop的使用,用过Spring框架的都知道,aop是spring框架的两大核心功能之一,还有一个就
- Java 线程池ExecutorService1.线程池1.1什么情况下使用线程池单个任务处理的时间比较短.将需处理的任务的数量大.1.2使
- 1.根据单个分隔字符用split截取例如string st="GT123_1";string[] sArray=st.s