【JavaEE】Java中复杂的Synchronized关键字

目录

 一、synchronized的特性

（1）互斥

（2）刷新内存

（3）可重入

二、synchronized的使用

（1）修饰普通方法

（2）修饰静态方法

（3）修饰代码块

三、synchronized的锁机制

（1）基本特点

（2）加锁工作过程

1.偏向锁

2.轻量级锁

3.重量级锁

（3）优化操作

1.锁消除

2.锁粗化

四、synchronized和volatile的区别

---

 

 一、synchronized的特性

（1）互斥

         synchronized 通过互斥达到原子性（线程安全的四大特性之一）

        synchronized 会起到互斥效果，某个线程执行到某个对象的 synchronized 中时，其他线程如果也执行到同一个对象 synchronized 就会阻塞等待。同一时间，只能一个线程拥有这把锁，去执行代码。
1.进入 synchronized 修饰的代码块, 相当于 加锁。
2.退出 synchronized 修饰的代码块, 相当于 解锁。

synchronized void increase（）{//进入方法内部，相当于针对当前对象 
        count++;

}//执行完毕相当于针对当前对象“解锁”

        synchronized用的锁是存在Java对象头里的。synchronized的底层是使用操作系统的mutex lock实现的。
        可以粗略理解成, 每个对象在内存中存储的时候, 都存有一块内存表示当前的 "锁定" 状态。如果当前是 "未锁定" 状态, 那么就可以使用, 使用时需要设为 "锁定" 状态。如果当前是 "锁定" 状态, 那么其他人无法使用, 只能排队等待。一个线程先上了锁，其他线程只能等待这个线程释放。

        注意点：

        针对每一把锁，操作系统内部都维护了一个等待队列。当这个锁被某个线程占有的时候， 其他线程尝试进行加锁，就加不上了， 就会阻塞等待， 一直等到之前的线程解锁之后，由操作系统唤醒一个新的线程，再来获取到这个锁。

        上一个线程解锁之后， 下一个线程并不是立即就能获取到锁。而是要靠操作系统来 "唤醒"。 这也就是操作系统线程调度的一部分工作。
        假设有 A B C 三个线程，线程 A 先获取到锁，然后 B 尝试获取锁， 然后 C 再尝试获取锁，此时 B和 C 都在阻塞队列中排队等待。 但是当 A 释放锁之后, 虽然 B 比 C 先来的， 但是 B 不一定就能获取到锁， 而是和 C 重新竞争，并不遵守先来后到的规则。

（2）刷新内存

        synchronized 通过加锁减锁能保证内存可见性。

synchronized 的工作过程:
1. 获得互斥锁
2. 从主内存拷贝变量的最新副本到工作的内存
3. 执行代码
4. 将更改后的共享变量的值刷新到主内存
5. 释放互斥锁
所以 synchronized 也能保证内存可见性。

（3）可重入

         synchronized 只能有一定约束，并不能完全禁止指令重排序。synchronized 同步块对同一条线程来说是可重入的，不会出现自己把自己锁死的问题。

// 第一次加锁, 加锁成功
lock();
// 第二次加锁, 锁已经被占用, 阻塞等待.
lock();

        对于把自己锁死，就是一个线程没有释放锁，然后又尝试再次加锁。

        按照之前对于锁的设定， 第二次加锁的时候会阻塞等待。直到第一次的锁被释放， 才能获取到第二个锁。释放第一个锁也是由该线程来完成， 结果这个线程已经阻塞等待了，也就无法进行解锁操作。这时候就会死锁。这样的锁称为不可重入锁。

        Java中的synchronized是可重入锁，因此不会出现上述问题。可重入锁的内部，包含了 "线程持有者" 和 "计数器" 两个信息。如果某个线程进行加锁的时候， 发现锁已经被人占用， 占用者恰好是自己，那么仍然可以继续获取到锁， 并让计数器自增。解锁的时候就是当计数器递减为0的时候， 才真正释放锁，这时候锁才能被别的线程获取到。

二、synchronized的使用

（1）修饰普通方法

锁的 SynchronizedDemo 对象

public class SynchronizedDemo {
    public synchronized void methond() {
    }
}

（2）修饰静态方法

锁的 SynchronizedDemo 类的对象
 

public class SynchronizedDemo {
    public synchronized static void method() {
    }
}

（3）修饰代码块

明确指定锁的对象

锁当前对象

public class SynchronizedDemo {
    public void method() {
    synchronized (this) {
        }
    }
}

锁类对象

public class SynchronizedDemo {
    public void method() {
        synchronized (SynchronizedDemo.class) {
        }
    }
}

        需要注意的是两个线程竞争同一把锁，才会产生阻塞等待。两个线程分别尝试获取两把不同的锁，不会产生竞争。

三、synchronized的锁机制

（1）基本特点

        只考虑 JDK 1.8，加锁工作过程：JVM 将 synchronized 锁分为 无锁、偏向锁、轻量级锁、重量级锁 状态。会根据情况，进行依次升级。
1. 开始时是乐观锁, 如果锁冲突频繁, 就转换为悲观锁.
2. 开始是轻量级锁实现, 如果锁被持有的时间较长, 就转换成重量级锁.
3. 实现轻量级锁的时候大概率用到的自旋锁策略
4. 是一种不公平锁
5. 是一种可重入锁
6. 不是读写锁

（2）加锁工作过程

1.偏向锁

        第一个尝试加锁的线程，优先进入偏向锁状态。
        偏向锁不是真的 "加锁"， 只是给对象头中做一个 "偏向锁的标记"，记录这个锁属于哪个线程。如果后续没有其他线程来竞争该锁，那么就不用进行其他同步操作了，避免了加锁解锁的开销。如果后续有其他线程来竞争该锁，因为刚才已经在锁对象中记录了当前锁属于哪个线程了， 很容易识别当前申请锁的线程是不是之前记录的线程， 那就取消原来的偏向锁状态， 进入一般的轻量级锁状态。偏向锁本质上相当于 "延迟加锁"。能不加锁就不加锁，尽量来避免不必要的加锁开销。但是该做的标记还是得做的， 否则无法区分何时需要真正加锁。

        面试中会经常问到什么是偏向锁。偏向锁不是真的加锁，而只是在锁的对象头中记录一个标记，记录该锁所属的线程。如果没有其他线程参与竞争锁，那么就不会真正执行加锁操作，从而降低程序开销。一旦真的涉及到其他的线程竞争，再取消偏向锁状态，进入轻量级锁状态。

2.轻量级锁

        随着其他线程进入竞争，偏向锁状态被消除， 进入轻量级锁状态(自适应的自旋锁)。
此处的轻量级锁就是通过 CAS 来实现。
        通过 CAS 检查并更新一块内存 (比如 null => 该线程引用)。如果更新成功，则认为加锁成功。如果更新失败， 则认为锁被占用, 继续自旋式的等待(并不放弃 CPU)。
自旋操作是一直让 CPU 空转， 比较浪费 CPU 资源。因此此处的自旋不会一直持续进行， 而是达到一定的时间、重试次数, 就不再自旋了。也就是所谓的 "自适应"

3.重量级锁

        如果竞争进一步激烈， 自旋不能快速获取到锁状态，就会膨胀为重量级锁。此处的重量级锁就是指用到内核提供的 mutex。
        执行加锁操作， 先进入内核态。在内核态判定当前锁是否已经被占用。如果该锁没有占用， 则加锁成功， 并切换回用户态。如果该锁被占用，则加锁失败。 此时线程进入锁的等待队列、挂起。 等待被操作系统唤醒。经历了一系列的操作， 这个锁被其他线程释放了， 操作系统也想起了这个挂起的线程，于是唤醒。这个线程， 尝试重新获取锁。

（3）优化操作

1.锁消除

编译器+JVM 判断锁是否可消除。 如果可以， 就直接消除。

锁消除：有些应用程序的代码中, 用到了 synchronized， 但其实没有在多线程环境下。 (例如StringBuffer)此时每个 append 的调用都会涉及加锁、解锁。但如果只是在单线程中执行这个代码， 那么这些加锁解锁操作是没有必要的,，白白浪费了一些资源开销。可以进行消除操作。
StringBuffer sb = new StringBuffer();
sb.append("a");
sb.append("b");
sb.append("c");
sb.append("d");

2.锁粗化

一段逻辑中如果出现多次加锁解锁，编译器 + JVM 会自动进行锁的粗化。

锁的粒度: 粗和细

        实际开发过程中，使用细粒度锁，是期望释放锁的时候其他线程能使用锁。但是实际上可能并没有其他线程来抢占这个锁。这种情况 JVM 就会自动把锁粗化， 避免频繁申请释放锁。例如给下属交代工作任务：方式一：打电话，交代任务1, 挂电话。打电话，交代任务2，挂电话。打电话， 交代任务3， 挂电话。方式二：打电话，交代任务1，任务2，任务3，挂电话。显然，方式二是更高效的方案。这就是锁粗化的一个过程。

四、synchronized和volatile的区别

        synchronized和volatile都是Java关键字，并且都是解决线程安全的

 的方式，所以在面试的时候经常会被放到一起问。

        两者其实并没有联系。

        synchronized:

        1.通过加锁、解锁的方式，把一堆代码绑在一起，来保证原子性。

        2.通过加锁、解锁的方式， 来保证内存可见性。

        3.对指令重排序有一定约束。

        volatile：

        1.不能保证原子性。

        2.保证内存可见性。

        3.禁止指令重排序。       

       虽然synchronized在大多数情况下，都可以保证线程安全的。但是也不能在任何情况下都用synchronized的。synchronized是要付出一定代价的。synchronized是通过加锁、解锁的方式来保证的。所以，其他线程抢不到锁的时候，线程就会阻塞。线程就会放弃CPU，放弃之后，被重新调用的时间是不确定的。当使用synchronized就一定程度上放弃了高性能。使用volatile不会造成线程阻塞，但对性能也有一定影响，不过没有synchronized影响大。

        使用多线程是为了提高效率。使用synchronized，就代表放弃了一定效率。这两者需要平衡。      

---