synchronize的底层实现和重入的底层原理-百度&阿里

synchronized浅谈

synchronized的三个特性

• 原子性：线程互斥的访问同步代码块，可以将小原子合成大原子
• 可见性：synchronized解锁之前，必须将工作内存中的数据同步到主内存，其它线程操作该变量时每次都可以看到被修改后的值
• 有序性：一个线程的加锁，必须等到其它线程将锁释放；一个线程要释放锁，首先要加锁

synchronized底层功能的实现

• 使用synchronize关键字需要配合一个引用类型变量，通常称为monitor（监听器），当一个线程执行同步代码块时，首先需要获取锁，代码块执行完后会释放锁。
  

synchronized的重入原理

• synchronized是可重入的，意味着已经获取到锁的线程可重复获取该锁，底层实现是采用了一个计数器，当一个线程获取锁该锁时，计数器加一，重复获取该锁时次数器不断加一，当释放锁时计数器减一，直到计数器为零时才可被其他线程获取

Java对象内存模型

• Mark Word
• 类型指针
• 真实数据
• 内存补齐

Java对象再内存中由MarkWord、类型指针、真实数据、内存补齐四部分组成，MarkWord和类型指针部分为对象的头部，其中MarkWord可存储：

锁状态	存储内容
无锁状态	对象hashcode、分代年龄
轻量级锁	指向锁记录的指针
重量级锁	指向重量级锁的指针
偏向锁	线程ID、对象分代年龄

synchronized对锁的升级

偏向锁的引用

• HotSpot很多作者发现，通常的80%情况下是不存在锁的竞争的，一般都是由一个线程多次获取同一把锁，为了降低竞争锁产生的代价，才引入的偏向锁；偏向锁会慢于程序启动4秒左右

    取消该延迟可使用：
    -XX:BiasedLockingStartUpDelay=0；
    
    取消偏向锁可使用：
    -XX:-UseBiasedLocking = false
  

  注意： 一旦线程发生竞争时，偏向锁会升级为轻量级锁

轻量级锁和重量级锁

• 轻量级锁通常采用CAS（Compare And Swap）来实现，其底层原理是读取到内存中的数据时，先将其保存然后进行操作，写入时判断保存数据是否与原来数据相同，相同则写入，不同则重复进行判断，所以又叫自旋锁，同时为了保证判断相同和写入这两个步骤的原子性，底层采用了C++语言的lock语句实现

• 重量级锁是在自旋锁循环到一定次数之后升级而成的，由于自旋锁在循环执行的过程中会占用CPU，如果有多个线程在竞争锁，那么自旋锁会无用的循环占用CPU很长时间，这个时候我们就判定自旋锁不适合，转而升级为重量级锁