无论是对一个对象进行加锁还是对一个方法进行加锁,实际上都是对对象进行加锁。
虚拟机会根据synchronized修饰的是实例方法还是类方法,去取对应的实例对象或者Class对象来进行加锁。
synchronized这个关键字是一个重量级锁,开销很大,但到了jdk1.6之后,该关键字被进行了很多的优化。
锁对象
锁实际上是加在对象上的,那么被加了锁的对象我们称之为锁对象,在java中,任何一个对象都能成为锁对象。
java对象在内存中的存储结构主要有一下三个部分:
- 对象头,主要是一些运行时的数据
- 实例数据
- 填充数据
长度 | 内容 | 说明 |
---|---|---|
32/64bit | Mark Work | hashCode,GC分代年龄,锁信息 |
32/64bit | Class Metadata Address | 指向对象类型数据的指针 |
32/64bit | Array Length | 数组的长度(当对象为数组时) |
从该表格中我们可以看到,对象中关于锁的信息是存在Markword里的。
当我们创建一个对象LockObject时,该对象的部分Markword关键数据如下。
bit fields | 是否偏向锁 | 锁标志位 |
---|---|---|
hash | 0 | 01 |
从图中可以看出,偏向锁的标志位是“01”,状态是“0”,表示该对象还没有被加上偏向锁。(“1”是表示被加上偏向锁)。该对象被创建出来的那一刻,就有了偏向锁的标志位,这也说明了所有对象都是可偏向的,但所有对象的状态都为“0”,也同时说明所有被创建的对象的偏向锁并没有生效。
偏向锁
当线程执行到临界区(critical section)时,会利用CAS(Compare and Swap)操作,将线程ID插入到Markword中,同时修改偏向锁的标志位。
此时的Mark word的结构信息如下:
bit fields | 是否偏向锁 | 锁标志位 | |
---|---|---|---|
threadId | epoch | 1 | 01 |
此时偏向锁的状态为“1”,说明对象的偏向锁生效了,同时也可以看到,哪个线程获得了该对象的锁。
偏向锁是jdk1.6引入的一项锁优化,这个锁会偏向于第一个获得它的线程,在接下来的执行过程中,假如该锁没有被其他线程所获取,没有其他线程来竞争该锁,那么持有偏向锁的线程将永远不需要进行同步操作。在此线程之后的执行过程中,如果再次进入或者退出同一段同步块代码,并不再需要去进行加锁或者解锁操作。
一个线程需要进行以下的步骤:
- Load-and-test,也就是简单判断一下当前线程id是否与Markword当中的线程id是否一致
- 如果一致,则说明此线程已经成功获得了锁,继续执行下面的代码
- 如果不一致,则要检查一下对象是否还是可偏向,即“是否偏向锁”标志位的值
- 如果还未偏向,则利用CAS操作来竞争锁,也即是第一次获取锁时的操作
如果此对象已经偏向了,并且不是偏向自己,则说明存在了竞争。此时可能就要根据另外线程的情况,可能是重新偏向,也有可能是做偏向撤销,但大部分情况下就是升级成轻量级锁了。
偏向锁是针对于一个线程而言的,线程获得锁之后就不会再有解锁等操作了,这样可以省略很多开销。假如有两个线程来竞争该锁话,那么偏向锁就失效了,进而升级成轻量级锁了。
在Jdk1.6中,偏向锁的开关是默认开启的,适用于只有一个线程访问同步块的场景。
锁膨胀
当出现有两个线程来竞争锁的话,那么偏向锁就失效了,此时锁就会膨胀,升级为轻量级锁。这就是所谓的锁膨胀
锁撤销
由于偏向锁失效了,需要把该锁撤销,大概的过程如下:
- 在一个安全点停止拥有锁的线程。
- 遍历线程栈,如果存在锁记录的话,需要修复锁记录和Markword,使其变成无锁状态。
- 唤醒当前线程,将当前锁升级成轻量级锁。
锁撤销开销比较大,某些同步代码块大多数情况下都是有两个及以上的线程竞争的话,那么偏向锁就会是一种累赘,对于这种情况,我们可以一开始就把偏向锁这个默认功能给关闭。
轻量级锁
轻量级锁也被称为非阻塞同步、乐观锁,因为这个过程并没有把线程阻塞挂起,而是让线程空循环等待,串行执行。
锁撤销升级为轻量级锁之后,那么对象的Markword也会进行相应的的变化。
大概的过程如下:
- 线程在自己的栈桢中创建锁记录 LockRecord。
- 将锁对象的对象头中的MarkWord复制到线程的刚刚创建的锁记录中。
- 将锁记录中的Owner指针指向锁对象。
- 将锁对象的对象头的MarkWord替换为指向锁记录的指针。
Markwork如下:(锁标志位”00”表示轻量级锁)
bit fields | 锁标志位 |
---|---|
指向LockRecord的指针 | 00 |
自旋锁
当有另外一个线程来竞争锁时,这个线程会在原地循环等待,而不是把该线程给阻塞,直到那个获得锁的线程释放锁之后,这个线程就可以马上获得锁的。
锁在原地循环的时候,是会消耗cpu的,就相当于在执行一个啥也没有的for循环。所以,轻量级锁适用于那些同步代码块执行的很快的场景,这样,线程原地等待很短很短的时间就能够获得锁了。
- 如果同步代码块执行的很慢,需要消耗大量的时间,其他线程在原地等待空消耗cpu,这会让人很难受。
- 本来一个线程把锁释放之后,当前线程是能够获得锁的,但是假如这个时候有好几个线程都在竞争这个锁的话,那么有可能当前线程会获取不到锁,还得原地等待继续空循环消耗cup,甚至有可能一直获取不到锁。
基于这个问题,我们必须给线程空循环设置一个次数,当线程超过了这个次数,我们就认为,继续使用自旋锁就不适合了,此时锁会再次膨胀,升级为重量级锁。默认情况下,自旋的次数为10次,用户可以通过-XX:PreBlockSpin来进行更改。
自适应自旋锁
线程空循环等待的自旋次数并非是固定的,而是会动态着根据实际情况来改变自旋等待的次数。
假如一个线程1刚刚成功获得一个锁,当它把锁释放了之后,线程2获得该锁,并且线程2在运行的过程中,此时线程1又想来获得该锁了,但线程2还没有释放该锁,所以线程1只能自旋等待,但是虚拟机认为,由于线程1刚刚获得过该锁,那么虚拟机觉得线程1这次自旋也是很有可能能够再次成功获得该锁的,所以会延长线程1自旋的次数。
如果对于某一个锁,一个线程自旋之后,很少成功获得该锁,那么以后这个线程要获取该锁时,是有可能直接忽略掉自旋过程,直接升级为重量级锁的,以免空循环等待浪费资源。
重量级锁
轻量级锁膨胀之后,就升级为重量级锁了。
互斥锁(重量级锁)也称为阻塞同步、悲观锁。
重量级锁是依赖对象内部的monitor锁来实现的,而monitor又依赖操作系统的MutexLock(互斥锁)来实现的,所以重量级锁也被成为互斥锁。
Markword部分如下
bit fields | 锁标志位 |
---|---|
指向Mutex的指针 | 10 |
当系统检查到锁是重量级锁之后,会把等待想要获得锁的线程进行阻塞,被阻塞的线程不会消耗cup。但是阻塞或者唤醒一个线程时,都需要操作系统来帮忙,这就需要从用户态转换到内核态,而转换状态是需要消耗很多时间的,有可能比用户执行代码的时间还要长。