JAVA线程同步技术

1、同步技术分类
1.1 关键字

• synchronized
• volatile

1.2 类方法

• Object: wait、notify、notifyAll
• Thread: sleep、join、yield

2、synchronized
monitor：分为对象监视器和类监视器，不同类型监视器加锁互不影响
作用域：方法体，代码块
用于方法之上，对该实例对象或类的monitor加锁

public synchronized [static] void fun(...)

用于代码块，对实例对象或类的monitor加锁

public void fun(...) {
 synchronized(obj) { // synchronized(this) or synchronized(class)
 ...
 }
}

竞争monitor举例

• 线程各自获取monitor，不会有等待
  synchronized(class) //对类的monitor加锁
  synchronized(this) //对对象的monitor加锁

• 如果不同线程监视同一个实例对象就会等待，如果是不同的实例则不会等待
  synchronized(this) //对对象的monitor加锁
  synchronized(this) //对对象的monitor加锁

• 如果不同线程监视同一个类就会等待，如果是不同的类则不会等待
  synchronized(class) //对类的monitor加锁
  synchronized(class) //对类的monitor加锁

3、volatile
轻量级同步机制，主内存（main memory），工作内存（cpu cache），可见性，原子性

在开始讨论类方法线程同步之前，我们再次回顾下线程状态

4、JAVA线程状态
● 新建状态(New)
新创建了一个线程对象。

● 就绪状态(Runnable)
线程对象创建后，其他线程调用了该对象的start()方法。该状态的线程位于“可运行线程池”中， 只需等待获取CPU的使用权 ，即在就绪状态的线程除CPU之外，其它运行所需资源都已全部获得。

● 运行状态(Running)
就绪状态的线程获取了CPU。

● 阻塞状态(Blocked)
阻塞状态是线程因为某种原因放弃CPU使用权暂停运行，直到线程进入就绪状态，才有机会转到运行状态。 阻塞的情况分三种：

• 等待阻塞
  运行的线程执行wait()方法后，该线程会 释放占用的所有资源 ，JVM会把该线程放入“等待池”中。进入这个状态后不能自动唤醒，必须依靠其他线程 调用notify()或notifyAll()方法才能被唤醒 。

• 同步阻塞
  运行的线程在获取对象的同步锁时，若该 同步锁被别的线程占用 ，则JVM会把该线程放入“锁池”中。

• 其他阻塞
  运行的线程执行sleep()或join()方法，或者发出了I/O请求时，JVM会把该线程置为阻塞状态。当sleep()状态超时、join()等待的线程终止或超时、I/O处理完毕时，线程重新转入就绪状态。

● 死亡状态(Dead)
线程执行完或者因异常退出了run()方法，该线程结束生命周期。

5、类方法
5.1 Object类

• wait
  调用wait方法会让当前线程 放弃该对象的对象锁 ，并进入对象锁的等待锁定池，直到被notify或notifyAll唤醒继续执行，或者被中断； 调用前提是需要先获得该对象锁 ，因此需要将wait调用置于同步块synchronized(obj)之内。

• notify / notifyAll
  notify-随机唤醒一个等待的线程，notifyAll-唤醒全部等待的线程； 调用notify()后，并不会立即释放锁，而是继续执行当前代码，直到synchronized中的代码全部执行完毕； notify有两个问题：一是唤醒的线程当前不一定需要获得该锁，二是可能造成死锁。 例子：三个人吃苹果，一个削两个吃。 注意：wait/notify/notifyAll都必须放在synchronized方法或块中执行 ，否则会抛IllegalMonitorStateException 异常.

5.2 Thread类

• sleep
  当线程调用了自身的sleep()方法或其他线程的join()方法，进程 让出CPU ，然后就会进入阻塞状态（该状态停止当前线程，但并不释放所占有的资源，即调用sleep ()后，线程 不会释放“同步锁”）。 当sleep()或join()结束后，该线程进入可运行状态，继续等待OS分配CPU时间片。

• join
  把指定的线程加入到当前线程，直到指定线程执行结束或者等待一定时间后，才继续往下执行。 原理：调用指定线程的wait方法释放monitor。

• yield
  放弃当前获得的CPU时间片，回到就绪状态，执行yield()的线程有可能在进入到可执行状态后马上又被执行。

sleep与wait 比较

• 异：sheep不会释放对象的同步锁，而wait会；
• 同：两者都支持中断，即在sleep与wait期间，都可以通过interrupt调用让它们立即抛出InterruptedException异常。
  public static native void sleep(long millis) throws InterruptedException;
  public final native void wait(long timeout) throws InterruptedException;

6、线程同步工具
6.1 Concurrent包

• Semaphore
  计数信号量，功能是限制同时获得许可的数量，通过阻塞（acquire）、释放（release）来管理许可的发放与回收。

• ReentrantLock
  可重入的互斥锁，与synchronized有相同的并发性和内存语义，但功能更强大。

• BlockingQueue
  阻塞队列，提供了阻塞接口put和take，分别在队列为满和为空时自行阻塞，直到满足要求后继续执行，其实现依赖ReentrantLock。

• CountDownLatch
  倒记数锁，使一个线程在一组线程未全部执行完之前一直等待，直到计数到达0。计数只能减不能增，也不能重置，如果需要重置，可考虑用CyclicBarrier代替。

• CyclicBarrier
  循环壁垒/屏障，允许一组线程在到达某个公共屏障点之前互相等待，可多次使用。

6.2 Atomic包：

• AtomicInteger
  一个线程安全的整数封装类，可以在并发情况下安全的设置/获取对象的值。 源码分析

6.3 Lock（ReentrantLock）与Synchronized比较

• 同：ReentrantLock 与synchronized有相同的并发性和内存语义
• 异：synchronized是在JVM层面实现的，而ReentrantLock使用代码实现。
  synchronized机制强制所有锁获取和释放均要出现在一个块结构中，当获取了多个锁时，它们必须以相反的顺序释放，只要线程运行的代码超出了synchronized语句块范围，锁就会被释放。而ReentrantLock对锁的占有和释放是显示的，使用稍显复杂相比synchronized但更加灵活。

使用建议：在并发量比较小的情况下，使用synchronized是个不错的选择，但是在并发量比较高的情况下，其性能下降很严重，此时ReentrantLock是个不错的方案。

7、线程同步应用：生产者-消费者模型

• 实现一、synchronized + Object.wait/notifyAll
• 实现二、ReentrantLock.Condition
• 实现三、BlockingQueue

8、术语

• monitor
  监视锁，同步锁，每个java对象和类在逻辑上都有唯一的一个monitor，任何时候都最多只能有一个线程占用这个同步锁；释放方法：wait。

• 可见性
  是指线程之间的可见性，一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果。另一个线程马上就能看到。

• CAS
  Unsafe类的compareAndSwapxxx方法。

• 互斥锁
  所谓互斥锁, 指的是一次最多只能有一个线程持有的锁，过程中有上下文的切换，cpu的抢占，信号的发送等开销。

• 自旋锁
  线程一直处于运行中，死循环检测锁的标志位。自旋锁是一种非阻塞锁，如果某线程需要获取自旋锁，但该锁已经被其他线程占用时，该线程不会被挂起，而是在不断的消耗CPU的时间，不停的试图获取自旋锁直到获得。

9、参考资料：

• http://blog.csdn.net/wulei_longhe/article/details/30032031
• http://blog.csdn.net/zolalad/article/details/38903179
• http://blog.csdn.net/monkey_d_meng/article/details/6251879