并发编程| 并发编程之synchronize

2024-06-09 12:08
文章标签 并发 编程 synchronize

本文主要是介绍并发编程| 并发编程之synchronize,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

主要介绍synchronized的用法、synchronized的原理,以及synchronized是如何提供原子性、可见性和有序性保障的等。

文章目录

  • 一.synchronize 的用法
  • 二.synchronize 的原理
  • 三.synchronized 保证线程安全
    • synchronized是如何提供原子性
    • synchronized是如何提供可见性
    • synchronized是如何提供有序性
  • 四.synchronized实战例子
    • synchronized-synchronized设计一个死锁程序
    • synchronized-synchronized脏读例子
    • synchronized-synchronized可重入锁例子
    • synchronized-锁对象引用的改变,会影响锁的情况
    • synchronized-锁对象中属性值的改变,不会影响锁的情况
    • synchronized-锁引用的分类: 类锁,本对象锁,任意对象锁
    • synchronized-使用同步代码块减小锁的粒度,提高性能


一.synchronize 的用法

synchronized是Java提供的一个并发控制的关键字。主要有两种用法,分别是同步方法同步代码块。也就是说,synchronized既可以修饰方法也可以修饰代码块。

/*** * @author YvesHe**/
public class SynchronizedDemo {// 同步方法public synchronized void doSth() {System.out.println("Hello World");}// 同步代码块public void doSth1() {synchronized (SynchronizedDemo.class) {System.out.println("Hello World");}}
}

被synchronized修饰的代码块及方法,在同一时间,只能被单个线程访问。


二.synchronize 的原理

public synchronized void doSth();descriptor: ()Vflags: ACC_PUBLIC, ACC_SYNCHRONIZEDCode:stack=2, locals=1, args_size=10: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;3: ldc           #3                  // String Hello World5: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V8: returnpublic void doSth1();descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=3, args_size=10: ldc           #5                  // class com/hollis/SynchronizedTest2: dup3: astore_14: monitorenter5: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;8: ldc           #3                  // String Hello World10: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V13: aload_114: monitorexit15: goto          2318: astore_219: aload_120: monitorexit21: aload_222: athrow23: return

通过反编译后代码可以看出:
对于同步方法,JVM采用ACC_SYNCHRONIZED标记符来实现同步。
对于同步代码块。JVM采用monitorenter、monitorexit两个指令来实现同步。

无论是ACC_SYNCHRONIZED还是monitorenter、monitorexit都是基于Monitor实现的,在Java虚拟机(HotSpot)中,Monitor是基于C++实现的,由ObjectMonitor实现。
ObjectMonitor类中提供了几个方法,如enter、exit、wait、notify、notifyAll等。sychronized加锁的时候,会调用objectMonitor的enter方法,解锁的时候会调用exit方法。

参考:
https://blog.csdn.net/u012465296/article/details/53022317
http://www.hollischuang.com/archives/1883
http://cmsblogs.com/?p=2071


三.synchronized 保证线程安全

synchronized是如何提供原子性

原子性是指一个操作是不可中断的,要全部执行完成,要不就都不执行。

在Java中,为了保证原子性,提供了两个高级的字节码指令monitorenter和monitorexit。在synchronize 的原理中介绍过,这两个字节码指令,在Java中对应的关键字就是synchronized。
通过monitorenter和monitorexit指令,可以保证被synchronized修饰的代码在同一时间只能被一个线程访问,在锁未释放之前,无法被其他线程访问到。因此,在Java中可以使用synchronized来保证方法和代码块内的操作是原子性的。

synchronized是如何提供可见性

可见性是指当多个线程访问同一个变量时(可以理解成类中的全局变量),一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。

Java内存模型规定了所有的变量都存储在主内存中,每条线程还有自己的工作内存,线程的工作内存中保存了该线程中是用到的变量的主内存副本拷贝,线程对变量的所有操作都必须在工作内存中进行,而不能直接读写主内存。不同的线程之间也无法直接访问对方工作内存中的变量,线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行。所以,就可能出现线程1改了某个变量的值,但是线程2不可见的情况。
在java中synchronized修饰的代码,在开始执行时会加锁,执行完成后会进行解锁。而为了保证可见性,有一条规则是这样的:对一个变量解锁之前,必须先把此变量同步回主存中。这样解锁后,后续线程就可以访问到被修改后的值。
所以,synchronized关键字锁住的对象,其值是具有可见性的。

synchronized是如何提供有序性

有序性即程序执行的顺序按照代码的先后顺序执行。

在java内存模型中,由于处理器优化和指令重排等,CPU还可能对输入代码进行乱序执行,比如 load->add->save 有可能被优化成 load->save->add 。这就是可能存在有序性问题。
synchronized是无法禁止指令重排和处理器优化的。也就是说,synchronized无法避免上述提到的问题。那么它是如何做到保证代码的有序性的呢?

这里需要提到as-if-serial语义

as-if-serial语义的意思是:不管怎么重排序(编译器和处理器为了提高并行度),(单线程)程序的执行结果不会改变。编译器和处理器无论如何优化,都必须遵守as-if-serial语义。
简单说就是,as-if-serial语义保证了单线程中,指令重排是有一定的限制的,而只要编译器和处理器都遵守了这个语义,那么就可以认为单线程程序是按照顺序执行的.
当然,实际上还是有重排的,只不过我们无须关心这种重排的干扰。

由于synchronized修饰的代码,同一时间只能被同一线程访问。也就是单线程执行的。遵循as-if-serial语义,所以它可以保证程序的整体有序性。


四.synchronized实战例子

synchronized-synchronized设计一个死锁程序

/*** 死锁问题,在设计程序时就应该避免双方相互持有对方的锁的情况** @author YvesHe**/
public class DeadLock implements Runnable {private String tag;private static Object lock1 = new Object();private static Object lock2 = new Object();public void setTag(String tag) {this.tag = tag;}@Overridepublic void run() {if (tag.equals("a")) {synchronized (lock1) {try {System.out.println("当前线程 : " + Thread.currentThread().getName() + " 进入lock1执行");Thread.sleep(2000);} catch (InterruptedException e) {e.printStackTrace();}synchronized (lock2) {System.out.println("当前线程 : " + Thread.currentThread().getName() + " 进入lock2执行");}}}if (tag.equals("b")) {synchronized (lock2) {try {System.out.println("当前线程 : " + Thread.currentThread().getName() + " 进入lock2执行");Thread.sleep(2000);} catch (InterruptedException e) {e.printStackTrace();}synchronized (lock1) {System.out.println("当前线程 : " + Thread.currentThread().getName() + " 进入lock1执行");}}}}public static void main(String[] args) {DeadLock d1 = new DeadLock();d1.setTag("a");DeadLock d2 = new DeadLock();d2.setTag("b");Thread t1 = new Thread(d1, "t1");Thread t2 = new Thread(d2, "t2");t1.start();try {Thread.sleep(500);} catch (InterruptedException e) {e.printStackTrace();}t2.start();}}

synchronized-synchronized脏读例子

业务整体需要使用完整的synchronized,保持业务的原子性。所以应该在使用共用变量(读取和设置)的方法中都使用synchronized来进行同步.

public class DirtyRead {public static void main(String[] args) throws Exception {final User dr = new User();Thread t1 = new Thread(new Runnable() {@Overridepublic void run() {dr.setValue("newName", "newPassword");}});t1.start();Thread.sleep(1000);dr.getValue();}public static class User {private String username = "oldName";private String password = "oldPassword";public synchronized void setValue(String username, String password) {this.username = username;try {Thread.sleep(2000);} catch (InterruptedException e) {e.printStackTrace();}this.password = password;System.out.println("setValue最终结果:username = " + username+ " , password = " + password);}// public synchronized void getValue() {public void getValue() {System.out.println("getValue方法得到:username = " + this.username+ " , password = " + this.password);}}}

结果:
在这里插入图片描述

synchronized-synchronized可重入锁例子

public class Reentry1 {public synchronized void method1() {System.out.println("method1..");method2();// 重入method2}public synchronized void method2() {System.out.println("method2..");method3();// 重入method3}public synchronized void method3() {System.out.println("method3..");}public static void main(String[] args) {final Reentry1 sd = new Reentry1();Thread t1 = new Thread(new Runnable() {@Overridepublic void run() {sd.method1();}});t1.start();}
}// 运行结果:
// method1..
// method2..
// method3..

例子2:

public class Reentry2 {static class Main {public int i = 10;public synchronized void operationSup() {try {i--;System.out.println("Main print i = " + i);Thread.sleep(100);} catch (InterruptedException e) {e.printStackTrace();}}}static class Sub extends Main {public synchronized void operationSub() {try {while (i > 0) {i--;System.out.println("Sub print i = " + i);Thread.sleep(100);this.operationSup();}} catch (InterruptedException e) {e.printStackTrace();}}}public static void main(String[] args) {Thread t1 = new Thread(new Runnable() {@Overridepublic void run() {Sub sub = new Sub();sub.operationSub();}});t1.start();}}// 运行结果:
// Sub print i = 9
// Main print i = 8
// Sub print i = 7
// Main print i = 6
// Sub print i = 5
// Main print i = 4
// Sub print i = 3
// Main print i = 2
// Sub print i = 1
// Main print i = 0

synchronized-锁对象引用的改变,会影响锁的情况

public class ChangeLock {private String lock = "lock";private void method() {synchronized (lock) {try {System.out.println("当前线程 : " + Thread.currentThread().getName() + "开始");lock = "change lock";// 改变锁引用Thread.sleep(2000);System.out.println("当前线程 : " + Thread.currentThread().getName() + "结束");} catch (InterruptedException e) {e.printStackTrace();}}}public static void main(String[] args) {final ChangeLock changeLock = new ChangeLock();Thread t1 = new Thread(new Runnable() {@Overridepublic void run() {changeLock.method();}}, "t1");Thread t2 = new Thread(new Runnable() {@Overridepublic void run() {changeLock.method();}}, "t2");t1.start();try {Thread.sleep(100);} catch (InterruptedException e) {e.printStackTrace();}t2.start();}}

结果:
我们发现么有等t1结束t2就获得锁开始了.
在这里插入图片描述

synchronized-锁对象中属性值的改变,不会影响锁的情况

synchronized-锁引用的分类: 类锁,本对象锁,任意对象锁

synchronized-使用同步代码块减小锁的粒度,提高性能


参考:
http://cmsblogs.com/?p=1643#13synchronized (Java并发编程实战—–synchronized)
https://www.hollischuang.com/archives/2637(synchronized是什么)
http://www.hollischuang.com/archives/2550 (Java内存模型是什么)

这篇关于并发编程| 并发编程之synchronize的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1045134

相关文章

MySQL的JDBC编程详解

《MySQL的JDBC编程详解》:本文主要介绍MySQL的JDBC编程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录前言一、前置知识1. 引入依赖2. 认识 url二、JDBC 操作流程1. JDBC 的写操作2. JDBC 的读操作总结前言本文介绍了mysq

Web服务器-Nginx-高并发问题

《Web服务器-Nginx-高并发问题》Nginx通过事件驱动、I/O多路复用和异步非阻塞技术高效处理高并发,结合动静分离和限流策略,提升性能与稳定性... 目录前言一、架构1. 原生多进程架构2. 事件驱动模型3. IO多路复用4. 异步非阻塞 I/O5. Nginx高并发配置实战二、动静分离1. 职责2

Python异步编程之await与asyncio基本用法详解

《Python异步编程之await与asyncio基本用法详解》在Python中,await和asyncio是异步编程的核心工具,用于高效处理I/O密集型任务(如网络请求、文件读写、数据库操作等),接... 目录一、核心概念二、使用场景三、基本用法1. 定义协程2. 运行协程3. 并发执行多个任务四、关键

AOP编程的基本概念与idea编辑器的配合体验过程

《AOP编程的基本概念与idea编辑器的配合体验过程》文章简要介绍了AOP基础概念,包括Before/Around通知、PointCut切入点、Advice通知体、JoinPoint连接点等,说明它们... 目录BeforeAroundAdvise — 通知PointCut — 切入点Acpect — 切面

Spring Security 前后端分离场景下的会话并发管理

《SpringSecurity前后端分离场景下的会话并发管理》本文介绍了在前后端分离架构下实现SpringSecurity会话并发管理的问题,传统Web开发中只需简单配置sessionManage... 目录背景分析传统 web 开发中的 sessionManagement 入口ConcurrentSess

C#异步编程ConfigureAwait的使用小结

《C#异步编程ConfigureAwait的使用小结》本文介绍了异步编程在GUI和服务器端应用的优势,详细的介绍了async和await的关键作用,通过实例解析了在UI线程正确使用await.Conf... 异步编程是并发的一种形式,它有两大好处:对于面向终端用户的GUI程序,提高了响应能力对于服务器端应

MySQL中处理数据的并发一致性的实现示例

《MySQL中处理数据的并发一致性的实现示例》在MySQL中处理数据的并发一致性是确保多个用户或应用程序同时访问和修改数据库时,不会导致数据冲突、数据丢失或数据不一致,MySQL通过事务和锁机制来管理... 目录一、事务(Transactions)1. 事务控制语句二、锁(Locks)1. 锁类型2. 锁粒

深入解析Java NIO在高并发场景下的性能优化实践指南

《深入解析JavaNIO在高并发场景下的性能优化实践指南》随着互联网业务不断演进,对高并发、低延时网络服务的需求日益增长,本文将深入解析JavaNIO在高并发场景下的性能优化方法,希望对大家有所帮助... 目录简介一、技术背景与应用场景二、核心原理深入分析2.1 Selector多路复用2.2 Buffer

C# async await 异步编程实现机制详解

《C#asyncawait异步编程实现机制详解》async/await是C#5.0引入的语法糖,它基于**状态机(StateMachine)**模式实现,将异步方法转换为编译器生成的状态机类,本... 目录一、async/await 异步编程实现机制1.1 核心概念1.2 编译器转换过程1.3 关键组件解析

go动态限制并发数量的实现示例

《go动态限制并发数量的实现示例》本文主要介绍了Go并发控制方法,通过带缓冲通道和第三方库实现并发数量限制,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面... 目录带有缓冲大小的通道使用第三方库其他控制并发的方法因为go从语言层面支持并发,所以面试百分百会问到