概述

原子性

原子性问题的源头是线程切换,操作系统做线程切换是依赖 CPU 中断的,所以禁止 CPU 发生中断就能够禁止线程切换。原子性问题我们前面一直都是采用的互斥锁方案

互斥

互斥指同一时刻只有一个线程执行,Java 提供了两种锁机制来控制多个线程对共享资源的互斥访问,第一个是 JVM 实现的 synchronized,而另一个是 JDK 实现的 ReentrantLock。

临界区

一段需要互斥执行的代码称为临界区。线程在进入临界区之前,首先尝试加锁 lock(),如果成功,则进入临界区,此时我们称这个线程持有锁;否则呢就等待,直到持有锁的线程解锁;持有锁的线程执行完临界区的代码后,执行解锁 unlock()

image.png

synchronized

1. 同步一个代码块

  1. public void func() {
  2. synchronized (this) {
  3. // ...
  4. }
  5. }

它只作用于同一个对象,如果调用两个对象上的同步代码块,就不会进行同步。

对于以下代码,使用 ExecutorService 执行了两个线程,由于调用的是同一个对象的同步代码块,因此这两个线程会进行同步,当一个线程进入同步语句块时,另一个线程就必须等待。

  1. public class SynchronizedExample {
  2. public void func1() {
  3. synchronized (this) {
  4. for (int i = 0; i < 10; i++) {
  5. System.out.print(i + " ");
  6. }
  7. }
  8. }
  9. }
  1. public static void main(String[] args) {
  2. SynchronizedExample e1 = new SynchronizedExample();
  3. ExecutorService executorService = Executors.newCachedThreadPool();
  4. executorService.execute(() -> e1.func1());
  5. executorService.execute(() -> e1.func1());
  6. }
  1. 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

对于以下代码,两个线程调用了不同对象的同步代码块,因此这两个线程就不需要同步。从输出结果可以看出,两个线程交叉执行。

  1. public static void main(String[] args) {
  2. SynchronizedExample e1 = new SynchronizedExample();
  3. SynchronizedExample e2 = new SynchronizedExample();
  4. ExecutorService executorService = Executors.newCachedThreadPool();
  5. executorService.execute(() -> e1.func1());
  6. executorService.execute(() -> e2.func1());
  7. }
  1. 0 0 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9

2. 同步一个方法

  1. public synchronized void func () {
  2. // ...
  3. }

它和同步代码块一样,作用于同一个对象。

3. 同步一个类

  1. public void func() {
  2. synchronized (SynchronizedExample.class) {
  3. // ...
  4. }
  5. }

作用于整个类,也就是说两个线程调用同一个类的不同对象上的这种同步语句,也会进行同步。

  1. public class SynchronizedExample {
  2. public void func2() {
  3. synchronized (SynchronizedExample.class) {
  4. for (int i = 0; i < 10; i++) {
  5. System.out.print(i + " ");
  6. }
  7. }
  8. }
  9. }
  1. public static void main(String[] args) {
  2. SynchronizedExample e1 = new SynchronizedExample();
  3. SynchronizedExample e2 = new SynchronizedExample();
  4. ExecutorService executorService = Executors.newCachedThreadPool();
  5. executorService.execute(() -> e1.func2());
  6. executorService.execute(() -> e2.func2());
  7. }
  1. 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

4. 同步一个静态方法

  1. public synchronized static void fun() {
  2. // ...
  3. }

作用于整个类。

ReentrantLock

ReentrantLock 是 java.util.concurrent(J.U.C)包中的锁。

  1. public class LockExample {
  2. private Lock lock = new ReentrantLock();
  3. public void func() {
  4. lock.lock();
  5. try {
  6. for (int i = 0; i < 10; i++) {
  7. System.out.print(i + " ");
  8. }
  9. } finally {
  10. lock.unlock(); // 确保释放锁,从而避免发生死锁。
  11. }
  12. }
  13. }
  1. public static void main(String[] args) {
  2. LockExample lockExample = new LockExample();
  3. ExecutorService executorService = Executors.newCachedThreadPool();
  4. executorService.execute(() -> lockExample.func());
  5. executorService.execute(() -> lockExample.func());
  6. }
  1. 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

比较

ReentrantLock synchronized
锁的实现 ReentrantLock 是 JDK 实现的 synchronized 是 JVM 实现的
等待可中断 当持有锁的线程长期不释放锁的时候,正在等待的线程可以选择放弃等待,改为处理其他事情。
ReentrantLock 可中断
synchronized 不行。
公平锁 公平锁是指多个线程在等待同一个锁时,必须按照申请锁的时间顺序来依次获得锁。
ReentrantLock 默认情况下也是非公平的,但是也可以是公平的
锁绑定多个条件 一个 ReentrantLock 可以同时绑定多个 Condition 对象。

使用选择

除非需要使用 ReentrantLock 的高级功能,否则优先使用 synchronized。这是因为 synchronized 是 JVM 实现的一种锁机制,JVM 原生地支持它,而 ReentrantLock 不是所有的 JDK 版本都支持。并且使用 synchronized 不用担心没有释放锁而导致死锁问题,因为 JVM 会确保锁的释放。