java中synchronized关键字

简介: java中synchronized关键字

java中synchronized关键字

synchronized的用法

synchronized是java中一个用于并发控制的关键字。它的用法主要有两个:

  1. 用于修饰方法。如 :
public synchronized void test(){
    ....
}
  1. 用于修饰代码块。如:
public class Test{
    public void test(){
        synchronized(Test.class){
            ...
        }
    }
}

synchronized修饰的方法或代码块同一时间只能被一个线程调用。

synchronized的原理

synchronized的原理,在修饰方法和修饰代码块的时候是不一样的。

修饰方法的时候,是隐式的。同步方法的常量池中会添加一个ACC_SYNCHRONIZED标识。当一个线程调用方法的时候,会先判断是否含有此标识。
若有此标识,会先请求获取监视器锁。获得锁后,开始执行该方法,执行完毕释放锁。在执行期间如果有其他线程请求调用该方法,会因为无法获取
锁而被阻塞,直到获取锁才能执行。这里如果执行期间出现错误,在抛错前,会先释放监视器锁。

修饰代码块的时候,是通过monitorentermonitorexit两个指令实现的。可以将两个指令理解为:执行monitorenter为加锁,执行monitorexit
为解锁。当一个线程获得锁,即执行monitorenter后,会有一个计数器进行加一操作。这个计数器是每个线程被锁次数的统计,未被加锁时该值为0。
当线程释放锁,即执行monitorexit时,计数器减一操作。当计数器为0时,锁被完全释放,其他线程才能进行调用。这里可能会有个疑问,就是为什么
这个计数器数值会累加,为什么会反复加锁?这是因为,synchronized的锁时允许重入的。即同一个线程,可以反复获取锁。至于为什么这样设计,我们稍后再说。

synchronized_原子性

我们在之前的java中volatile关键字里提到过。所谓原子性,就是一个操作,要不全部执行完毕,要不全部不执行。而CPU在处理的时候,因为有时间片的概念。
会根据不同的调度算法进行线程调度。当一个线程获得时间片之后开始执行,在时间片耗尽之后,就会失去CPU使用权。所以在多线程场景下,由于时间片在线程间轮换,就会发生原子性问题。

在前面我们提到了,java语言为了保证原子性,提供了两个字节码指令monitorentermonitorexitsynchronized关键字就是通过这两个指令来保证原子性的。

大概的原理是这样的:在多线程并发执行时,其中一个线程执行monitorenter后获得锁,此时其他线程由于无法获得锁,只能阻塞等待。这时候就算是CPU时间片耗尽了,正在执行的线程放弃了CPU,
但由于并未完全解锁,其他线程还是无法获取到锁,也就无法执行。而这里因为synchronized的锁是可以重入的,这样就是下一个时间片,还是会被拥有锁的线程获取到,它还会继续执行代码,
直到代码全部执行完毕,然后释放锁。这就保证了原子性问题,也解释了前面提到的,为什么synchronized的锁被设计成可重入的。

synchronized是可以保证原子性操作的。

synchronized_可见性

所谓可见性,就是当一个线程对某个变量进行操作后,其他线程可以立即看得到修改的值。

java中volatile关键字一文中提到过,由于计算机的缓存机制,会导致缓存一致性问题,也就是对应的可见性问题。而java的内存模型规定,每个线程有自己的工作内存,工作内存之间不交互,
它们通过主内存进行交互。

synchronized是如何保证可见性的呢,其实很简单,之前说过,它再开始执行时会获得一个锁,执行结束会释放锁。这里有个规定是这样的:对一个变量解锁之前,必须先把此变量同步回主存中。
有了这条规定,就能保证每次解锁后,其它线程就能访问到主内存中的已被修改后的值。

所以,synchronized是解决可见性问题的。

synchronized_有序性

java中volatile关键字中,我们说volatile可以解决有序性问题,是因为其可以禁止处理器优化乱序执行和指令重排等操作。那么synchronized是否也可以禁止这些操作,从而解决有序性问题呢?

答案是否定的,很遗憾synchronized关键字无法禁止乱序执行和指令重排。但是,synchronized可以解决有序性问题的,我们来看一下它是如何解决的。

其实很简单,因为在Java中,同一个线程内,所有操作其实是天然有序的,而synchronized又可以保证同一时间只有一个线程在执行操作。

所以,synchronized是可以解决有序性问题的。

总结

本文主要就是针对synchronized关键字做了简单的说明。

  1. synchronized的原理。
  2. synchronized与可见性、有序性和原子性问题的相关知识。
  3. 简单描述了java中的锁机制。

之后会再出文描述java中的锁优化问题(自旋锁,锁粗化,锁消除等)。

相关文章
|
13天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
13天前
|
安全 Java Kotlin
Java多线程——synchronized、volatile 保障可见性
Java多线程中,`synchronized` 和 `volatile` 关键字用于保障可见性。`synchronized` 保证原子性、可见性和有序性,通过锁机制确保线程安全;`volatile` 仅保证可见性和有序性,不保证原子性。代码示例展示了如何使用 `synchronized` 和 `volatile` 解决主线程无法感知子线程修改共享变量的问题。总结:`volatile` 确保不同线程对共享变量操作的可见性,使一个线程修改后,其他线程能立即看到最新值。
|
13天前
|
缓存 安全 Java
Java volatile关键字:你真的懂了吗?
`volatile` 是 Java 中的轻量级同步机制,主要用于保证多线程环境下共享变量的可见性和防止指令重排。它确保一个线程对 `volatile` 变量的修改能立即被其他线程看到,但不能保证原子性。典型应用场景包括状态标记、双重检查锁定和安全发布对象等。`volatile` 适用于布尔型、字节型等简单类型及引用类型,不适用于 `long` 和 `double` 类型。与 `synchronized` 不同,`volatile` 不提供互斥性,因此在需要互斥的场景下不能替代 `synchronized`。
2105 3
|
13天前
|
安全 Java 编译器
深入理解Java中synchronized三种使用方式:助您写出线程安全的代码
`synchronized` 是 Java 中的关键字,用于实现线程同步,确保多个线程互斥访问共享资源。它通过内置的监视器锁机制,防止多个线程同时执行被 `synchronized` 修饰的方法或代码块。`synchronized` 可以修饰非静态方法、静态方法和代码块,分别锁定实例对象、类对象或指定的对象。其底层原理基于 JVM 的指令和对象的监视器,JDK 1.6 后引入了偏向锁、轻量级锁等优化措施,提高了性能。
35 3
|
2月前
|
JavaScript 前端开发 Java
java中的this关键字
欢迎来到我的博客,我是瑞雨溪,一名热爱JavaScript与Vue的大一学生。自学前端2年半,正向全栈进发。若我的文章对你有帮助,欢迎关注,持续更新中!🎉🎉🎉
56 9
|
2月前
|
设计模式 JavaScript 前端开发
java中的static关键字
欢迎来到瑞雨溪的博客,博主是一名热爱JavaScript和Vue的大一学生,致力于全栈开发。如果你从我的文章中受益,欢迎关注我,将持续分享更多优质内容。你的支持是我前进的动力!🎉🎉🎉
56 8
|
2月前
|
Java 开发者
在Java多线程编程的世界里,Lock接口正逐渐成为高手们的首选,取代了传统的synchronized关键字
在Java多线程编程的世界里,Lock接口正逐渐成为高手们的首选,取代了传统的synchronized关键字
49 4
|
3月前
|
Java 程序员
在Java编程中,关键字不仅是简单的词汇,更是赋予代码强大功能的“魔法咒语”。
【10月更文挑战第13天】在Java编程中,关键字不仅是简单的词汇,更是赋予代码强大功能的“魔法咒语”。本文介绍了Java关键字的基本概念及其重要性,并通过定义类和对象、控制流程、访问修饰符等示例,展示了关键字的实际应用。掌握这些关键字,是成为优秀Java程序员的基础。
39 3
|
3月前
|
存储 安全 Java
了解final关键字在Java并发编程领域的作用吗?
在Java并发编程中,`final`关键字不仅用于修饰变量、方法和类,还在多线程环境中确保对象状态的可见性和不变性。本文深入探讨了`final`关键字的作用,特别是其在final域重排序规则中的应用,以及如何防止对象的“部分创建”问题,确保线程安全。通过具体示例,文章详细解析了final域的写入和读取操作的重排序规则,以及这些规则在不同处理器上的实现差异。
了解final关键字在Java并发编程领域的作用吗?
|
3月前
|
Java 程序员 编译器