线程安全 Synchronize

Synchronize 使用

Synchronize 使用位置

• 修饰方法：使用的锁是 this monitor 锁
• 修饰代码块： 指定对象的 monitor 锁
• 修饰静态方法： 当前类的class 锁 | 在同一个JVM里是没有问题的

特性

• 可重入
• 独占
• 悲观锁
• 阻塞

特殊优化

• 锁消除

对不会存在线程安全的锁进行消除

• 锁粗化

如果JVM检测到有一系列的操作都对同一个对象加锁，将会把锁粗化到整个操作外部

• 偏向锁

如果在运行过程中，同步锁只有一个线程访问，不存在多线程争用的情况，则线程是不需要触发同步的，这种情况下，就会给线程加一个偏向锁
如果在运行过程中，遇到了其他线程抢占锁，则持有偏向锁的线程会被挂起，JVM会消除它身上的偏向锁，将锁恢复到标准的轻量级锁。

Note

Synchronized 关键字，不仅实现同步，JMM中规定，Synchronized 要保证可见性(结果不能够被缓存)

Synchronize 原理

补充知识

Object 组成

1. 对象头
2. 对象实际数据
3. 填充(可能存在)

对象头组成

1. MarkWord
2. Class元数据地址
3. 数组长度(只在数组中出现)

MarkWord 组成

Monitor

Monitor是一个同步工具，它内置于每一个Object对象中，相当于一个许可证。拿到许可证即可以进行操作，没有拿到则需要阻塞等待。

Synchronize 工作流程

1. 第一个线程去通过CAS 去争抢锁，在Tag 为 01(未锁定)时 ，MarkWord 改变状态，并记录拿到锁的线程地址，Tag 变为00(轻量级锁)

开启偏向锁时，第一个线程进入时 hashcode 记录了线程的id ，直到出现争抢

2. 当另一个线程通过CAS 去争抢锁，此时 Tag 为 00(轻量级锁)，则自旋，当自旋到达一定次数Mark Word 中的Tag 变为 10(重量级锁)，地址记录是Monitor地址，当前线程和后续线程进入Block状态并放入monitor 中的 entrylist中。
3. 当拿到锁释放，Monitor 中的 EntryList 继续争抢 Owner ，未拿到的则放入 WaitList ，等待下一次唤醒
4. 当不在有任务，则MonitorExit 退出

锁升级

无锁->偏向锁->轻量级锁->重量级锁