在java中我们对于synchronized锁是不可避免的,在jdk1.5之前它是一个重量级锁,相对于juc 里的lock显得十分笨重。因此在jdk1.6之后Java官方对synchronized进行优化处理。
前言
在java中我们对于synchronized锁是不可避免的,在jdk1.5之前它是一个重量级锁,相对于juc 里的lock显得十分笨重。因此在jdk1.6之后Java官方对synchronized进行优化处理。
synchronized 是 Java 中的一个关键字,翻译成中文是同步的意思,主要解决的是多个线程之间访问资源的同步性,可以保证被它修饰的方法或者代码块在任意时刻只能有一个线程执行。在 Java 早期版本中,synchronized 属于 重量级锁,效率低下。这是因为监视器锁(monitor)是依赖于底层的操作系统的 Mutex Lock 来实现的,Java 的线程是映射到操作系统的原生线程之上的。如果要挂起或者唤醒一个线程,都需要操作系统帮忙完成,而操作系统实现线程之间的切换时需要从用户态转换到内核态,这个状态之间的转换需要相对比较长的时间,时间成本相对较高。
不过,在 Java 6 之后, synchronized 引入了大量的优化如自旋锁、适应性自旋锁、锁消除、锁粗化、偏向锁、轻量级锁等技术来减少锁操作的开销,这些优化让 synchronized 锁的效率提升了很多。因此, synchronized 还是可以在实际项目中使用的,像 JDK 源码、很多开源框架都大量使用了 synchronized 。
一、synchronized 使用
1、synchronized的作用
synchronized
的作用主要有三:
(1)原子性:多个操作执行过程中,要么全部执行完毕,要么就全部不执行。
(2)可见性:多个线程访问一个资源时,该资源的状态、信息等对于其他线程都是可见的。
(3)有序性:是指程序在执行过程中是有顺序的进行。synchronized保证了每一个时刻都只有一个线程访问同步代码块,确定了线程执行同步代码块的先后顺序,保证了有序性。
2、synchronized如何使用
Synchronized
主要有三种用法:
(1)修饰实例方法: 作用于当前对象实例加锁,进入同步代码前要获得 当前对象实例的锁
synchronized void method() {
//业务代码
}
(2)修饰静态方法: 也就是给当前类加锁,会作用于类的所有对象实例 ,进入同步代码前要获得 当前 class 的锁。因为静态成员不属于任何一个实例对象,是类成员( static 表明这是该类的一个静态资源,不管 new 了多少个对象,只有一份)。所以,如果一个线程 A 调用一个实例对象的非静态 synchronized 方法,而线程 B 需要调用这个实例对象所属类的静态 synchronized 方法,是允许的,不会发生互斥现象,因为访问静态 synchronized 方法占用的锁是当前类的锁,而访问非静态 synchronized 方法占用的锁是当前实例对象锁。
synchronized void staic method() {
//业务代码
}
(3)修饰代码块 :指定加锁对象,对给定对象/类加锁。synchronized(this|object) 表示进入同步代码库前要获得给定对象的锁。synchronized(类.class) 表示进入同步代码前要获得当前 class 的锁
synchronized(this) {
//业务代码
}
3、小结
synchronized 关键字加到 static 静态方法和 synchronized(class) 代码块上都是是给 Class 类上锁;
synchronized 关键字加到实例方法上是给对象实例上锁;
尽量不要使用 synchronized(String a) 因为 JVM 中,字符串常量池具有缓存功能。
二、synchronized 底层原理
1.原理探索
synchronized 关键字底层原理属于 JVM 层面的东西。
#synchronized 同步语句块的情况
public class SynchronizedDemo
{
public void method()
{
synchronized (this)
{
System.out.println("synchronized 代码块");
}
}
}
通过 JDK 自带的 javap 命令查看 SynchronizedDemo 类的相关字节码信息:首先切换到类的对应目录执行 javac SynchronizedDemo.java 命令生成编译后的 .class 文件,然后执行javap -c -s -v -l SynchronizedDemo.class。
由上图可以看出:synchronized同步语句块实现使用的是monitorenter和monitorexit指令。其中monitorenter指令指向同步代码块的起始位置,monitorexit指向同步代码块的结束位置。在执行monitorenter时线程会试图获取对象监视器monitor的objectmonitor对象。除了这个之外wait/notify等方法也是使用monitor对象,这也就是为什么同步块或方法里才能调用wait/notify等方法。不然就会抛出Java.lang.illegalMonitorStateException异常的原因。在执行monitorenter时,会尝试获取对象锁,如果锁的计数器为0 ,那么就是可以获取,获取后的计数器被设置为1。
对象锁的的拥有者线程才可以执行 monitorexit 指令来释放锁。在执行 monitorexit 指令后,将锁计数器设为 0,表明锁被释放,其他线程可以尝试获取锁。
如果获取对象锁失败,那当前线程就要阻塞等待,直到锁被另外一个线程释放为止。
#synchronized 修饰方法的的情况
public class SynchronizedDemo2 {
public synchronized void method() {
System.out.println("synchronized 方法");
}
}
synchronized 修饰的方法并没有 monitorenter 指令和 monitorexit 指令,取得代之的确实是 ACC_SYNCHRONIZED 标识,该标识指明了该方法是一个同步方法。JVM 通过该 ACC_SYNCHRONIZED 访问标志来辨别一个方法是否声明为同步方法,从而执行相应的同步调用。如果是实例方法,JVM 会尝试获取实例对象的锁。如果是静态方法,JVM 会尝试获取当前 class 的锁。
2.小结
synchronized 同步语句块的实现使用的是 monitorenter 和 monitorexit 指令,其中 monitorenter 指令指向同步代码块的开始位置,monitorexit 指令则指明同步代码块的结束位置。synchronized 修饰的方法并没有 monitorenter 指令和 monitorexit 指令,取得代之的确实是 ACC_SYNCHRONIZED 标识,该标识指明了该方法是一个同步方法。