Java 并发学习笔记(二)

请参看前一篇文章:Java 并发学习笔记(一)——原子性、可见性、有序性问题

六、等待—通知机制

什么是等待通知—机制?当线程不满足某个条件,则进入等待状态;如果线程满足要求的某个条件后,则通知等待的线程重新执行。

等待通知机制的流程一般是这样的:线程首先获取互斥锁,当不满足某个条件的时候,释放互斥锁,并进入这个条件的等待队列;一直等到满足了这个条件之后,通知等待的线程,并且需要重新获取互斥锁。

1. 等待-通知机制的简单实现

等待-通知机制可以使用 Java 的 synchronized 关键字,配合 wait()、notify()、notifyAll() 这个三个方法来实现。

前面说到的解决死锁问题的那个例子,一次性申请所有的资源,使用的是循环等待,这在并发量很大的时候比较消耗 CPU 资源。

现在使用等待-通知机制进行优化:

final class Monitor {
    
    private List<Object> res = new ArrayList<>(2);
    
    /**
     * 一次性申请资源 
     */
    public synchronized void apply(Object resource1, Object resource2) {
        while (res.contains(resource1) || res.contains(resource2)){
            try {
                //条件不满足则进入等待队列
                this.wait();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }
        res.add(resource1);
        res.add(resource2);
    }
    /** 
     * 归还资源 
     */
    public synchronized void free(Object resource1, Object resource2){
        res.remove(resource1);
        res.remove(resource2);
        //释放资源之后,通知等待的线程开始执行
        this.notifyAll();
    }
}
2. 需要注意的地方
  1. 每个互斥锁都有相应的等待队列,例如上面的例子,就存在两个等待队列,一是 synchronized 入口等待队列,二是 while 循环这个条件的等待队列。

  2. 调用 wait() 方法,会使当前线程释放持有的锁,并进入这个条件的等待队列。满足条件之后,队列中的线程被唤醒,不是马上执行,而是需要重新获取互斥锁。例如上图中,if 条件的队列中的线程被唤醒后,需要重新进入 synchronized 处获取互斥锁。

3. wait 和 sleep 的区别

相同点:两个方法都会让渡 CPU 的使用权,等待再次被调度。

不同点:

  • wait 属于 Object 的方法,sleep 是 Thread 的方法
  • wait 只能在同步方法或同步块中调用,sleep 可以在任何地方调用
  • wait 会释放线程持有的锁,sleep 不会释放锁资源

七、管程理论

1. 什么是管程?

指的是对共享变量和对共享变量的操作的管理,使其支持并发,对应到 Java,指的是管理类的成员变量和方法,让这个类是线程安全的。

2. 管程模型

管程主要的模型有 Hasen、Hoare、MESA ,其中 MESA 最常用。管程的 MESA 模型主要解决的是线程的互斥和同步问题,和上面说到的等待-通知机制十分类似。示意图如下:

Java 并发学习笔记(二)_第1张图片

首先看看管程是如何实现互斥的?在管程的入口有一个等待队列,一次只允许一个线程进入管程。每个条件对应一个等待队列,当线程不满足条件的时候,进入对应的等待队列;当条件满足的时候,队列中的线程被唤醒,重新进入到入口处的等待队列获取互斥锁,这就实现了线程的同步问题。

3. 管程的最佳实践

接下来使用代码实现了一个简单的阻塞队列,这就是一个很典型的管程模型,解决了线程互斥和同步问题。

public class BlockingQueue<T> {
    private int capacity;
    private int size;

    private final Lock lock = new ReentrantLock();
    private final Condition notFull = lock.newCondition();
    private final Condition notEmpty = lock.newCondition();

    /**
     * 入队列
     */
    public void enqueue(T data){
        lock.lock();
        try {
            //如果队列满了,需要等待,直到队列不满
            while (size >= capacity){
                notFull.await();
            }
            //入队代码,省略
            //入队之后,通知队列已经不为空了
            notEmpty.signal();
        } catch (InterruptedException e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
    }

    /**
     * 出队列
     */
    public T dequeue(){
        lock.lock();
        try {
            //如果队列为空,需要等待,直到队列不为空
            while (size <= 0){
                notEmpty.await();
            }
            //出队代码,省略
            //出队列之后,通知队列已经不满了
            notFull.signal();
        } catch (InterruptedException e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
        //实际应该返回出队数据
        return null;
    }
}

八、Java 中的线程

1. 线程的生命周期

Java 中的线程共分为了 6 种状态,分别是:

  • NEW(初始化状态)
  • RUNNABLE(可运行/运行状态)
  • BLOCKED(阻塞状态)
  • WAITING(无限时等待)
  • TIMED_WAITING(限时等待)
  • TERMINATED(终止状态)
2. 线程状态转换
  • RUNNABLE 与 BLOCKED 状态的转换:在线程等待 synchronized 的锁时,会进入 BLOCKED 状态,当获取到锁之后,又转换到 RUNNABLE 状态。

  • RUNNABLE 与 WAITING 状态的转换:1) 线程获取到 synchronized 锁之后,并且调用了 wait() 方法。 2) 调用 Thread.join() 方法,例如线程 A 调用 join() 方法,线程 B 等待 A 执行完毕,等待期间 B 进入 WAITING 状态,线程 A 执行完后,线程 B 切换到 RUNNABLE 状态。3) 调用 LockSupport.park() 方法

  • RUNNABLE 与 TIMED_WAITING 状态的转换:以上三种情况,分别在方法中加上超时参数即可。另外还有两种情况:Thread.sleep(long millis) 方法,LockSupprt.parkNanos(Object blocker, long deadline)。

  • NEW 到 RUNNABLE 状态的转换:在 Java 中新创建的线程,会立即进入 NEW 状态,然后启动线程进入 RUNNABLE 状态。Java 中新建线程一般有三种方式:

    • 继承 Thread 类

      public class MyThread extends Thread {
      
          @Override
          public void run() {
              System.out.println("I am roseduan");
          }
      
          public static void main(String[] args) {
              MyThread thread = new MyThread();
              thread.start();
          }
      }
      
    • 实现 Runnable 接口,并将其实现类传给 Thread 作为参数

      public class MyThread {
      
          public static void main(String[] args) {
              Thread thread = new Thread(new Print());
              thread.start();
          }
      }
      
      class Print implements Runnable{
          @Override
          public void run() {
              System.out.println("I am roseduan");
          }
      }
      
    • 实现 Collable 接口,将其实现类传给线程池执行,并且可以获取返回结果

      public class ThreadTest {
      
          public static void main(String[] args) throws InterruptedException {
              //线程池
              BlockingQueue<Runnable> queue = new LinkedBlockingQueue<>(5);
              ThreadPoolExecutor threadPool = new ThreadPoolExecutor(5, 10, 1,
                      TimeUnit.HOURS, queue);
              //执行
              Future<?> submit = threadPool.submit(new Demo());
          }
      }
      
      class Demo implements Callable<String> {
      
          @Override
          public String call() {
              System.out.println("I am roseduan");
              return "I am roseduan";
          }
      }
      
  • NEW 到 TERMINATED 状态的转换:线程执行完 run() 方法后,会自动切换到 TERMINATED 状态。如果手动中止线程,可以使用 interrupt() 方法。

3. 局部变量的线程安全性

局部变量存在于方法中,每个方法都有对应的调用栈帧,由于每个线程都有自己独立的方法调用栈,因此局部变量并没有被共享。所以即便多个线程同时调用同一个方法,方法内部的局部变量也是线程安全的,不需要单独加锁。

经极客时间《Java 并发编程实战》专栏内容学习整理

你可能感兴趣的:(Java,并发编程实战)