【Java】线程同步synchronized关键字

一、管程

1、管程概念

操作系统原理课程告诉我们用信号量能解决所有并发问题，而Java采用的是管程技术，synchronized 关键字及 wait()、notify()、notifyAll() 这三个方法都是管程的组成部分。而管程和信号量是等价的，所谓等价指的是用管程能够实现信号量，也能用信号量实现管程。但是管程在利用OOP的封装特性解决了信号量在工程实践上的复杂性问题，因此java采用管程机制。
管程，对应的英文是 Monitor，很多 Java 领域的同学都喜欢将其翻译成“监视器”，这是直译。操作系统领域一般都翻译成“管程”，这个是意译。所谓管程，指的是管理共享变量以及对其操作过程，让它们支持并发访问。翻译为 Java 领域的语言，就是管理类的成员变量和成员方法，让这个类是线程安全的。

在并发编程领域，有两个关键问题：线程之间的通信和同步

2、线程之间的通信

线程的通信是指线程之间以何种机制来交换信息。在命令式编程中，线程之间的通信机制有两种共享内存和消息传递。

• 在共享内存的并发模型里，线程之间共享程序的公共状态，线程之间通过写-读内存中的公共状态来隐式进行通信，典型的共享内存通信方式就是通过共享对象进行通信。

• 在消息传递的并发模型里，线程之间没有公共状态，线程之间必须通过明确的发送消息来显式进行通信，在java中典型的消息传递方式就是wait()和notify()。

3、线程之间的同步

同步是指程序用于控制不同线程之间操作发生相对顺序的机制。

• 在共享内存并发模型里，同步是显式进行的。程序员必须显式指定某个方法或某段代码需要在线程之间互斥执行。

• 在消息传递的并发模型里，由于消息的发送必须在消息的接收之前，因此同步是隐式进行的。

Java的并发采用的是共享内存模型

Java线程之间的通信总是隐式进行，整个通信过程对程序员完全透明。如果编写多线程程序的Java程序员不理解隐式进行的线程之间通信的工作机制，很可能会遇到各种奇怪的内存可见性问题。

上面讲到了Java线程之间的通信采用的是共享内存模型，这里提到的共享内存模型指的就是Java内存模型(简称JMM)，JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看，JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存（main memory）中，每个线程都有一个私有的本地内存（local memory），本地内存中存储了该线程以读/写共享变量的副本。

二、线程同步

synchronized的四种用法

• 同步代码块
  • 可以锁任意对象
  • 锁的类的反射对象（类名.class）
• 同步方法
  • 成员方法：锁当前对象
  • 静态方法：锁当前类的反射对象

多个线程并发执行，不加锁会出现不同步的操作

1、使用同步代码块锁定当前对象this

2、同步方法

3、锁多个对象

• 解决方案一：锁同一个对象

• 解决方案二：全局锁

4、synchronized实现原理

对象锁(monitor)机制
执行同步代码块后首先要先执行monitorenter指令，退出的时候monitorexit指令。使用 Synchronized进行同步，其关键就是必须要对对象的监视器monitor进行获取，当线程获取monitor后才能继续往下执行，否则就只能等待。而这个获取的过程是互斥的，即同一时刻只有一个线程能够获取到monitor。

当执行 monitorenter 时，如果目标锁对象的计数器为 0，那么说明它没有被其他线程所持有。在这个情况下， Java 虚拟机会将该锁对象的持有线程设置为当前线程，并且将其计数器加 1。
在目标锁对象的计数器不为 0 的情况下，如果锁对象的持有线程是当前线程，那么 Java 虚拟机可以将其计数器加 1，否则需要等待，直至持有线程释放该锁。 当执行 monitorexit 时，Java 虚拟机则需将锁对象的计数器减 1。当计数器减为 0 时，那便代表该锁已经被释放掉了。

5、CAS操作

• 什么是CAS？
  CAS操作（又称为无锁操作）是一种乐观锁策略，它假设所有线程访问共 享资源的时候不会出现冲突，既然不会出现冲突自然而然就不会阻塞其他线程的操作。因此，线程就不会出现阻塞停顿的状态。那么，如果出现冲突了怎么办？无锁操作是使用CAS(compare and swap)又叫做比较交换来鉴别线程是否出现冲突，出现冲突就重试当前操作直到没有冲突为止。

• CSA的操作过程
  CAS比较交换的过程可以通俗的理解为CAS(V,O,N)，包含三个值分别为：V 内存地址存放的实际值；O 预期的值 （旧值）；N 更新的新值。当V和O相同时，也就是说旧值和内存中实际的值相同表明该值没有被其他线程更改过，即该旧值O就是目前来说新的值了，自然而然可以将新值N赋值给V。反之，V和O不相同，表明该值已经被 其他线程改过了则该旧值O不是新版本的值了，所以不能将新值N赋给V，返回V即可。当多个线程使用CAS操作一个变量是，只有一个线程会成功，并成功更新，其余会失败。失败的线程会重新尝试，当然也可以选择挂起线程。

• CAS问题

  • 1、ABA问题：通过添加一个版本号解决
  • 2、自旋带来的CPU资源浪费问题：通过自适应自旋解决，（自适应自旋：根据以往自旋等待时能否获取锁，来动态调整自旋的时间）
  • 3、公平性：这里的公平性是指处于阻塞态的线程磨合处于自旋状态的线程竞争CPU资源时的不公平，处于阻塞状态的线程，无法立刻竞争被释放的锁。然而，处于 自旋状态的线程，则很有可能优先获得这把锁。内建锁synchronized无法实现公平机制，Lock体系可以实现公平锁

6、synchronized优化

JDK1.6对synchronize加入了很多优化措施，有自适应自旋，锁消除，锁粗化，轻量级锁，偏向锁等等。

偏向锁（乐观锁）

• JDK1.6之后synchronized默认的锁
• 此时只有一个线程在来回尝试获取锁，此时直接将加锁与解锁的过程都免了，只是简单判断下是否是同一个线程在获取锁，若是直接进入同步块（临界区）
• 同步块只是在某线程第一次加锁的时候直接加偏向锁，后面只要还是该线程访问，直接放行
• 当不同时刻有不同的线程尝试获取锁时，偏向锁会膨胀为轻量级锁

轻量级锁

• 在不同时刻有不同线程尝试获取锁
• 每次获取锁均需要加锁与解锁
• 当同一时刻有多个线程尝试获取锁时，轻量级锁会膨胀为重量级锁

重量级锁（JDK1.6之前synchronized的锁-悲观锁）

• 重量级锁的自适应自旋：获取重量级锁失败的线程不是立即进入阻塞态，而是自旋一段时间，若在此时间内成功获取到锁，则在下次等待时适当延长自旋时间，否则适当缩短自旋时间

锁的粗化与消除

• 粗化：将多个连续的加锁与解锁过程粗化为一次范围大的加锁与解锁，减少因为加减锁带来的CPU开销
• 锁消除：当一个线程安全的集合或类中，在不会出现锁竞争的场景，会将锁消除

7、ThreadLocal的简单实用

ThreadLocal 用于提供线程局部变量，在多线程环境可以保证各个线程里的变量独立于其它线程里的变量。也就是说 ThreadLocal 可以为每个线程创建一个【单独的变量副本】，相当于线程的 private static 类型变量。