Volatile和Synchronized区别

本文深入探讨了Java并发中的Volatile和Synchronized的区别。Volatile确保了多线程环境中的变量可见性,而Synchronized提供原子性、可见性和有序性保障,并在方法和代码块级别实现同步。Volatile依赖于Lock前缀指令和缓存一致性协议,而Synchronized通过monitorenter/monitorexit指令和monitor实现线程同步。

在Java多线程并发中,Volatile和Synchronizedzed都扮演着重要的角色,Volatile是轻量级的Synchronized,它在多处理器开发中保证了共享变量的可见性。“可见性”是指当一个线程修改变量时,另一个线程也能读到修改后的值。

1:Volatile的定义和实现原理

Lock前缀指令会引发两件事:

1:当前处理器缓存行的数据写回系统内存

2:这个写回内存的操作会使得CPU里其他缓存了该内存地址的数据无效。

如果对申明了Volatile的变量进行写操作,JVM会向处理器发送一条Lock前缀的指令,将这个变量所在缓存行的数据写回系统内存。多处理器下,为保证各个处理器缓存是一致的,会实现缓存一致性协议,每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是否过期,如果发现缓存行对应的内存地址被修改,就会将当前处理器的缓存行设置为无效状态,当处理器对这个数据进行修改时,会重新从系统内存中将数据读到处理器缓存中。

2:Synchronized的定义和实现原理

Java 中的同步块用 synchronized 关键字标记。Java 中的同步块在某个对象上同步。在同一个对象上同步的所有同步块一次只能在其中执行一个线程。所有其他试图进入同步块的线程都被阻塞,直到同步块内的线程退出该块。

1、synchronized作用

原子性:synchronized保证语句块内操作是原子的
可见性:synchronized保证可见性(通过“在执行unlock之前,必须先把此变量同步回主内存”实现)
有序性:synchronized保证有序性(通过“一个变量在同一时刻只允许一条线程对其进行lock操作”)
2、synchronized的使用

修饰实例方法,对当前实例对象加锁
修饰静态方法,多当前类的Class对象加锁
修饰代码块,对synchronized括号内的对象加锁

 

实现原理:

jvm基于进入和退出Monitor对象来实现方法同步和代码块同步。

方法级的同步是隐式,即无需通过字节码指令来控制的,它实现在方法调用和返回操作之中。JVM可以从方法常量池中的方法表结构(method_info Structure) 中的 ACC_SYNCHRONIZED 访问标志区分一个方法是否同步方法。当方法调用时,调用指令将会 检查方法的 ACC_SYNCHRONIZED 访问标志是否被设置,如果设置了,执行线程将先持有monitor(虚拟机规范中用的是管程一词), 然后再执行方法,最后再方法完成(无论是正常完成还是非正常完成)时释放monitor。

代码块的同步是利用monitorenter和monitorexit这两个字节码指令。它们分别位于同步代码块的开始和结束位置。当jvm执行到monitorenter指令时,当前线程试图获取monitor对象的所有权,如果未加锁或者已经被当前线程所持有,就把锁的计数器+1;当执行monitorexit指令时,锁计数器-1;当锁计数器为0时,该锁就被释放了。如果获取monitor对象失败,该线程则会进入阻塞状态,直到其他线程释放锁。

这里要注意:

synchronized是可重入的,所以不会自己把,自己锁死
synchronized锁一旦被一个线程持有,其他试图获取该锁的线程将被阻塞。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值