美文网首页
并发编程基础

并发编程基础

作者: ShayHe | 来源:发表于2020-02-04 10:32 被阅读0次

      Java从诞生开始就明智地选择了内置对多线程的支持,这使得Java语言相比同一时期的其他语言具有显示的优势。线程作为操作系统调度的最小单元,多个线程能够同时执行,这将显著提升程序性能,在多核环境中表现得更加明显。但是,过多地创建线程和对线程的不当管理也容易造成问题。

    4.1线程简介

    4.1.1 什么是线程
      现代操作系统在运行一个程序时,会为其创建一个进程。例如,启动一个Java程序,操作系统就会创建一个Java进程。现代操作系统调度的最小单元是线程,也叫轻量级进程(Light Weight Process),在一个进程里可以创建多个线程,这些线程都拥有各自的计数器、堆栈和局部变量等属性,并且能够访问共享的内存变量。处理器在这些线程上高速切换,让使用者感觉到这些线程在同时执行。
      一个Java程序从main()方法开始执行,然后按照既定的代码逻辑执行,看似没有其他线程参与,但实际上Java程序天生就是多线程程序,因为执行main()是一个名称为main的线程。

    public class MultiThread {
        public static void main(String[] args) {
            //获取 Java 线程管理MXBean
            ThreadMXBean threadMXBean = ManagementFactory.getThreadMXBean();
            //不需要获取同步的monitor和synchronized信息,仅获取线程和线程堆栈信息
            ThreadInfo[] threadInfos = threadMXBean.dumpAllThreads(false, false);
            // 遍历线程信息,仅打印线程ID和线程名称信息
            for(ThreadInfo threadInfo : threadInfos){
                System.out.println("[" + threadInfo.getThreadId()+"] "+ threadInfo.getThreadName());
            }
        }
    }
    

    运行结果:

    [6] Monitor Ctrl-Break
    [5] Attach Listener
    [4] Signal Dispatcher
    [3] Finalizer
    [2] Reference Handler
    [1] main
    
    Process finished with exit code 0
    

      可以看到,一个Java程序的运行不仅仅是main()的运行,而是main线程和多个其他线程的同时运行。
    4.1.2 为什么要使用多线程
      执行一个简单的"Hello,World!",却启动了那么多的“无关”线程,是不是把简单的问题复杂化了?当然不是,因为正确使用多线程,总是能够给开发人员带来显著的好处,而使用多线程的原因主要有以下几点。
      (1)更多的处理器核心
      随着处理器上的核心数量越来越多,以及超线程技术的广泛运用,现在大多数计算机都比以往更加擅长并行计算,而处理器性能的提升方式,也从更高的主频向更多的核心发展。如何利用好处理器上的多个核心也成了现在的主要问题。
      线程是大多数操作系统调度的基本单元,一个程序作为一个进程来运行,程序运行过程中能够创建多个线程,而一个线程在一个时刻只能运行在一个处理器核心上。试想一下,一个单线程程序在运行时只能使用一个处理器核心,那么再多的处理器核心加入也无法显著提升该程序的执行效率。相反,如果该程序使用多线程技术,将计算逻辑分配到多个处理器核心上,就会显著减少程序的处理时间,并且随着更多处理器核心的加入而变得更有效率。
      (2)更快的响应时间
      有时我们会编写一些较为复杂的代码(这里的复杂不是说复杂的算法,而是复杂的业务逻辑),例如,一笔订单的创建,它包括插入订单数据、生成订单快照、发送邮件通知记录货品销售数量等。用户从单击“订购”按钮开始,就要等待这些操作全部完成才能看到订购成功的结果。但是这么多业务操作,如何能够让其更快地完成呢?
      在上面的场景中,可以使用多线程技术,即将数据一致性不强的操作派发给其他线程处理(也可以使用消息队列),如生成订单快照、发送邮件等。这样做的好处是响应用户请求的线程能够尽可能快地处理完成,缩短了响应时间,提升了用户体验。
      (3)更好的编程模型
      Java为多线程提供了良好、考究并且一致的编程模型,使开发人员能够更加专注于问题的解决,即为所遇到的问题建立合适的模型,而不是绞尽脑汁地考虑如何将其多线程化。一旦开发人员建立好了模型,稍做修改总是能够方便地映射到Java提供的多线程编程模型上。
    4.1.3 线程优先级
      现代操作系统基本采用时分的形式调度运行的线程,操作系统会分出一个个时间片,线程会分配到若干时间片,当线程的时间片用完了就会发生线程调度,并等待着下次分配。线程分配到的时间片多少也就决定了线程使用处理器资源的多少,而线程优先级就是决定线程需要多或者少分配一些处理器资源的线程属性。
      在Java线程中,通过一个整型成员变量priority来控制优先级,优先级的范围从1~10,在线程构建的时候可以通过setPriority(int)方法来修改优先级,默认优先级是5,优先级高的线程分配时间片的数量要多于优先级低的线程。设置线程优先级时,针对频繁阻塞(休眠或者I/O操作)的线程需要设置较高的优先级,确保处理器不会被独占。在不同的JVM以及操作系统上,线程规划会存在差异,有些操作系统甚至会忽略对线程优先级的设定。
    4.1.4 线程的状态
      Java线程在运行的生命周期中可能处于如下图所示的6种不同的状态,在给定的一个时刻,线程只能处于其中的一个状态。

    Java线程状态.jpg
      线程在自身的生命周期中,并不是固定地处于某个状态,而是随着代码的执行在不同的状态之间进行切换,Java线程状态变迁如图:
    线程状态.jpg
      由上图可以看出,线程创建后,调用start()方法开始运行。当线程执行wait()方法之后,线程进行等待状态。进入等待状态的线程需要依靠其他线程的通知才能够返回到运行状态,而超时等待状态相当于在等待状态的基础上增加了超时限制,也就是超时时间到达时将会返回到运行状态。当线程调用同步方法时,在没有获取到锁的情况下,线程将会进入到阻塞状态。线程在执行Runnable的run()方法之后将会进入到终止状态。

    注意:Java将操作系统中的运行和就绪两个状态合并称为运行状态。阻塞状态是线程阻塞在进入synchronized关键字修饰的方法或代码块(获取锁)时的状态,但是阻塞在java.concurrent包中Lock接口的线程状态却是等待状态,因为java.concurrent包中Lock接口对于阻塞的实现均使用了LockSupport类中的相关方法。


    4.1.5 Daemon 线程
      Daemon线程被用作完成支持性工作,但是在Java虚拟机退出时Daemon线程中的finally块并不一定会执行,示例代码如下:

    public class Daemon {
        public static void main(String[] args) {
            Thread thread = new Thread(new DaemonRunner(), "DaemonRunner");
            thread.setDaemon(true);
            thread.start();
        }
        
        static class DaemonRunner implements Runnable {
            @Override
            public void run() {
                try{
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                } finally {
                    System.out.println("DaemonThread finally run.");
                }
            }
        }
    }
    

      运行Daemon程序,可以看到在终端或者命令提示符上没有任何输出。main线程(非Daemon线程)在启动了线程DaemonRunner之后随着main方法执行完毕而终止,而此时Java虚拟机中已经没有非Daemon线程,虚拟机需要退出。Java虚拟机中的所有Daemon线程都需要立即终止,因为DaemonRunner立即终止,但是DaemonRunner中的finally块并没有执行。


    注意:在构建Daemon线程时,不能依靠finally块中的内容来确保执行关闭或清理资源的逻辑。


    4.2启动和终止线程

    4.2.1 构造线程
      在运行线程之前首先要构造一个线程对象,线程对象在构造的时候需要提供线程所需要的属性,如线程所属的线程组、线程优先级、是否是Daemon 线程等信息。以下代码摘自Thread中对线程初始化的部分。

       private void init(ThreadGroup g, Runnable target, String name,
                          long stackSize, AccessControlContext acc,
                          boolean inheritThreadLocals) {
            if (name == null) {
                throw new NullPointerException("name cannot be null");
            }
    
            this.name = name;
    
            Thread parent = currentThread();
            SecurityManager security = System.getSecurityManager();
            if (g == null) {
                /* Determine if it's an applet or not */
    
                /* If there is a security manager, ask the security manager
                   what to do. */
                if (security != null) {
                    g = security.getThreadGroup();
                }
    
                /* If the security doesn't have a strong opinion of the matter
                   use the parent thread group. */
                if (g == null) {
                    g = parent.getThreadGroup();
                }
            }
    

      在上述过程中,一个新构造的线程对象是由其parent线程来进行空间分配的,而child线程继承了parent是否为Daemon、优先级和加载资源的contextClassLoader以及可继承的ThreadLocal,同时还会分配一个唯一的ID来标识这个child线程。至此,一个能够运行的线程对象就初始化好了,在堆内存中等待着运行。
    4.2.2 启动线程
      线程对象初始化完成之后,调用start()方法就可以启动这个线程。线程start()方法的含义是:当前线程(即parent线程)同步告知Java虚拟机,只要线程规划器空闲,应立即启动调用start()方法的线程。


    注意:启动一个线程前,最好为这个线程设置线程名称,因为这样在使用jstack分析程序或者进行问题排查时,就会给开发人员提供一些提示,自定义的线程最好能够起个名字。


    4.2.3 理解中断
      中断可以理解为线程的一个标识位属性,它表示一个运行中的线程是否被其他线程进行了中断操作。中断好比其他线程对该线程打了个招呼,其他线程通过调用该线程的interrupt()方法对其进行中断操作。
      线程通过检查自身是否被中断来进行响应,线程对过方法isInterrupted()来进行判断是否被中断,也可以调用静态方法Thread.interrupted()对当前线程的中断标识位进行复位。如果该线程已经处于终结状态,即使该线程被中断过,在调用该线程对象的isInterrupted()时依旧会返回false。
      从Java的API中可以看到,许多声明抛出InterruptedException的方法(例如Thread.sleep(long millis)方法)这些方法在抛出InterruptedException之前,Java虚拟机会先将该线程的中断标识位清除,然后抛出InterruptedException,此时调用isInterrupted()方法将会返回false。
      在以下所示的例子中,首先创建了两个线程,SleepThread和BusyThread,前者不停地睡眠,后者一直运行,然后对这两个线程分别进行中断操作,观察二者的中断标识位。

    public class Interrupted {
        public static void main(String[] args) throws InterruptedException {
            //sleepThread 不停的尝试睡眠
            Thread sleepThread = new Thread(new SleepRunner(), "SleepThread");
            sleepThread.setDaemon(true);
            //busyThread 不停的运行
            Thread busyThread = new Thread(new BusyRunner(), "BusyThread");
            busyThread.setDaemon(true);
            sleepThread.start();
            busyThread.start();
    
            //休眠5秒,让sleepThread 和busyThread充分运行
            TimeUnit.SECONDS.sleep(5);
            sleepThread.interrupt();
            busyThread.interrupt();
            System.out.println("SleepThread  is "+ sleepThread.isInterrupted());
            System.out.println("BusyThread interrupted is "+ busyThread.isInterrupted());
            // 防止sleepThread和busyThread立即退出
            TimeUnit.SECONDS.sleep(2);
        }
    
        static class SleepRunner implements Runnable {
            @Override
            public void run() {
                while(true){
                    try {
                        TimeUnit.SECONDS.sleep(10);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        }
    
        static class BusyRunner implements Runnable{
            @Override
            public void run() {
                while (true){
    
                }
            }
        }
    
    }
    

    输出结果如下:

    SleepThread  is false
    BusyThread interrupted is true
    

      从结果可以看出,抛出InterruptedException的线程SleepThread,其中断标识位被清除了,而一直忙碌运行的线程BusyThread,中断标识位没有被清除。
    **4.2.4 过期的suspend()、resume()和stop()
      我们对于CD机应该不会陌生,如果把它播放音乐比作一个线程的运作,那么对音乐播放做出的暂停、恢复和停止操作对应在线程Thread的API就是suspend()、resume()和stop()。

    public class Deprecated {
        public static void main(String[] args) throws InterruptedException {
            DateFormat format = new SimpleDateFormat("HH:mm:ss");
            Thread printThread = new Thread(() -> {
                DateFormat format1 = new SimpleDateFormat("HH:mm:ss");
                while (true){
                    System.out.println(Thread.currentThread().getName()+" Run at "+format1.format(new Date()));
                    try {
                        TimeUnit.SECONDS.sleep(1);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            });
            printThread.setDaemon(true);
            printThread.start();
            TimeUnit.SECONDS.sleep(3);
            // 将PrintThread进行暂停,输出内容工作停止
            printThread.suspend();
            System.out.println("main suspend PrintThread at "+ format.format(new Date()));
            TimeUnit.SECONDS.sleep(3);
    
            // 将PrintThread 进行恢复,输出内容继续
            printThread.resume();
            System.out.println("main resume PrintThread at "+ format.format(new Date()));
            TimeUnit.SECONDS.sleep(3);
    
            // 将PrintThread进行终止,输出内容停止
            printThread.stop();
            System.out.println("main stop PrintThread at "+ format.format(new Date()));
            TimeUnit.SECONDS.sleep(3);
        }
    }
    

    输出结果如下(输出内容中的时间与示例执行的具体时间相关)。

    Thread-0 Run at 19:46:16
    Thread-0 Run at 19:46:17
    Thread-0 Run at 19:46:18
    main suspend PrintThread at 19:46:19
    main resume PrintThread at 19:46:22
    Thread-0 Run at 19:46:22
    Thread-0 Run at 19:46:23
    Thread-0 Run at 19:46:24
    main stop PrintThread at 19:46:25
    

      在执行过程中,PrintThread运行了3秒,随后被暂停,3秒后恢复,最后经过3秒被终止。
      通过示例的输出可以看到,suspend()、resume()和stop()方法完成了线程的暂停、恢复和终止工作,而且非常“人性化”。但是这些API是过期的,也就是不建议使用的。
      不建议使用的原因主要有:以suspend()方法为例,在调用后,线程不会释放已经占有的资源(比如锁),而是占用着资源进入睡眠状态,这样容易引发死锁问题。同样,stop()方法在终结一个线程时不会保证线程的资源正常释放,通常是没有给予线程完成资源释放工作的机会,因此导致程序可能工作在不确定状态下。


    注意:正是因为suspend()、resume()和stop()方法带来的副作用,这些方法才被标注为不建议使用的过期方法,而暂停和恢复操作可以用后面的等待/通知机制来替代。


    4.2.5 安全地终止线程
      在4.2.3中提到的中断状态是线程的一个标识位,而中断操作是一种简便的线程间交互方式,而这种交互方式最适合用来取消或停止任务。除了中断以外,还可以利用一个boolean变量来控制是否需要停止任务并终止该线程。
      在以下代码里,创建一个线程CountThread,它不断地进行变量累加,而主线程尝试对其进行中断操作和停止操作。

    public class Shutdown {
        public static void main(String[] args) throws InterruptedException {
            Runner one = new Runner();
            Thread countThread = new Thread(one, "CountThread");
            countThread.start();
            //睡眠1秒,main线程对CountThread进行中断,使CountThread能够感知中断而结束
            TimeUnit.SECONDS.sleep(1);
            countThread.interrupt();
            Runner two = new Runner();
            countThread = new Thread(two, "CountThread");
            countThread.start();
            // 睡眠1秒,main线程对Runner two进行取消,使CountThread能够感知on 为false而结束
            TimeUnit.SECONDS.sleep(1);
            two.cancel();
        }
    
        private static class Runner implements Runnable {
            private long i;
            private volatile boolean on = true;
            @Override
            public void run() {
                while(on && !Thread.currentThread().isInterrupted()){
                    i++;
                }
                System.out.println("Count i = "+i);
            }
    
            private void cancel() {
                on = false;
            }
        }
    
    }
    

    输出结果如下:

    Count i = 511158113
    Count i = 513235580
    

      示例在执行过程中,main线程通过中断操作和cancel()方法均可使CountThread得以终止。这种通过标识位或者中断操作的方式能够使线程在终止时有机会去清理资源,而不是武断地将线程停止,因此这种终止线程的做法显得更加安全和优雅。

    4.3 线程间通信

      线程开始运行,拥有自己的栈空间,就如同一个脚本一样,按照既定的代码一步一步地执行,直到终止。但是,每个运行中的线程,如果仅仅是孤立地运行,那么没有一点儿价值,或者说价值很少,如果多个线程能够相互配合完成工作,这将会带来巨大的价值。
    **4.3.1 volatile 和synchronized 关键字
      Java支持多个线程同时访问一个对象或者对象或者对象的成员变量,由于每个线程可以拥有这个变量的拷贝(虽然对象以及成员变量分配的内存在共享内存中的,但是每个执行的线程还是可以拥有一份拷贝,这样做的目的是加速程序的执行,这是现代多核处理器的一个显著特性),所以程序在执行过程中,一个线程看到的变量并不一定是最新的。
      关键字volatile可以用来修饰字段(成员变量),就是告知程序任何对该访问均需要从共享内存中获取,而对它的改变必须同步刷新回共享内存,它能保证所有线程对变量可见性。
      举个例子,定义一个表示程序是否运行的成员变量 boolean on = true,那么另一个线程可能对它执行关闭操作(on=false)这里涉及多个线程对变量的访问,因此需要将其定义成为volatile boolean on = true,这样其他线程对它进行改变时,可以让所有线程感知到变化,因为所有对on变量的访问和修改都需要以共享内存为准。但是,过多地使用volatile是不必要的,因为它会降低程序执行的效率。
      关键字synchronized可以修饰方法或者以同步块的形式来进行使用,它主要确保多个线程在同一个时刻,只能有一个线程处于方法或者同步块中,它保证了线程对变量访问的可见性和排他性。
      在以下代码的例子中,使用了同步块和同步方法,但通过使用javap工具查看生成的class文件信息来分析synchronized关键字的实现细节,示例如下。

    public class Synchronized {
        public static void main(String[] args) {
            //对 Synchronized Class 对象进行加锁
            synchronized (Synchronized.class){
    
            }
            // 静态同步方法, 对 Synchronized Class对象进行加锁
            m();
        }
    
        public static synchronized void m() {
    
        }
    }
    

    部分输出如下所示:

    public static void main(java.lang.String[]);
        descriptor: ([Ljava/lang/String;)V
        flags: ACC_PUBLIC, ACC_STATIC
        Code:
          stack=2, locals=3, args_size=1
             0: ldc           #2                  // class yisu/Synchronized
             2: dup
             3: astore_1
             4: monitorenter
             5: aload_1
             6: monitorexit
             7: goto          15
            10: astore_2
            11: aload_1
            12: monitorexit
            13: aload_2
            14: athrow
            15: invokestatic  #3                  // Method m:()V
            18: return
          Exception table:
             from    to  target type
                 5     7    10   any
                10    13    10   any
          LineNumberTable:
            line 6: 0
            line 8: 5
            line 10: 15
            line 11: 18
          LocalVariableTable:
            Start  Length  Slot  Name   Signature
                0      19     0  args   [Ljava/lang/String;
          StackMapTable: number_of_entries = 2
            frame_type = 255 /* full_frame */
              offset_delta = 10
              locals = [ class "[Ljava/lang/String;", class java/lang/Object ]
              stack = [ class java/lang/Throwable ]
            frame_type = 250 /* chop */
              offset_delta = 4
    

      上面Class信息中,对于同步块的实现使用了monitorenter 和 monitorexit指令,而同步方法则是依靠方法上的ACC_SYNCHRONIZED来完成的,无论采用哪种方式,其本质是对一个对象的监视器(monitor)进行获取,而这个获取过程是排他的,也就是同一时刻只能有一个线程获取到由synchronized所保护对象的监视器。
      任意一个对象拥有都拥有自己的监视器,当这个对象由同步块或者这个对象的同步方法调用时,执行方法的线程必须先获取到该对象的监视器才能进入同步块或者同步方法,而没有获取到监视器(执行该方法)的线程将会被阻塞在同步块和同步方法的入口处,进入BLOCKED状态。
      下图描述了对象、对象监视器、同步队列和执行线程之间的关系。


    对象、线程之间的关系.jpg

      从上图可以看到,任意线程对Object(Object 由synchronized保护)的访问,首先要获取Object的监视器。如果获取失败,线程进入同步队列,线程状态变为BLOCKED。当访问Object的前驱(获得了锁的线程)释放了锁,则该释放操作唤醒阻塞在同步队列中的线程,使其重新尝试对监视器的获取。
    4.3.2 等待/通知机制
      一个线程修改了一个对象的值,而另一个线程感知到了变化,然后进行相应的操作,整个过程开始于一个线程,而最终执行又是另一个线程。前者是生产者,后者就是消费者,这种模式隔离了“做什么”(what)和“怎么做”(How),在功能层面上实现了解耦,体系结构上具备了良好的伸缩性,但是在Java语言中如何实现类似的功能呢?
      简单的办法是让消费者线程不断地循环检查变量是否符合预期,如下面代码所示,在while循环中设置不满足的条件,如果条件满足则退出while循环,从而完成消费者的工作。

    while (value != desire){
            Thread.sleep(1000);
    }
    doSomething();
    

      上面这段伪代码在条件不满足就睡眠一段时间,这样做的目的是防止过快的“无效”尝试,这种方式看似能够解实现所需的功能,但是却存在如下问题。
      1)难以确保及时性。在睡眠时,基本不消耗处理器资源,但是如果睡得过久,就不能及时发现条件已经变化,也就是及时性难以保证。
      2)难以降低开销。如果降低睡眠的时间,比如休眠1毫秒,这样消费者能更加迅速地发现条件变化,但是却可能消耗更多的处理器资源,造成了无端的浪费。
      以上两个问题,看似矛盾难以调和,但是Java通过内置的等待/通知机制能够很好地解决这个矛盾并实现所需的功能。
      等待/通知的相关方法是任意Java对象都具备的,因为这些方法被定义在所有对象的超类java.lang.Object上,方法和描述如下:


    等待和通知的相关方法.jpg

      等待/通知机制,是指一个线程A调用了对象O的wait()方法进入等待状态,而另一个线程B调用了对象O的notify()或者notifyAll()方法,线程A收到通知后从对象O的wait()和notify/notifyAll()的关系就如同开关信号一样,用来完成等待方和通知方之间的交互工作。
      在下面的例子中,创建了两个线程-WaitThread和NotifyThread,前者检查flag值是否为false,如果符合要求,进行后续操作,否则在lock上等待,后者在睡眠了一段时间后对lock进行通知,示例如下。

    package yisu;
    
    import java.text.SimpleDateFormat;
    import java.util.Date;
    import java.util.concurrent.TimeUnit;
    
    public class WaitNotify {
        static boolean flag = true;
        static Object lock = new Object();
    
        public static void main(String[] args) throws InterruptedException {
            Thread waitThread = new Thread(new Wait(), "WaitThread");
            waitThread.start();
            TimeUnit.SECONDS.sleep(1);
            Thread notifyThread = new Thread(new Notify(), "NotifyThread");
            notifyThread.start();
        }
    
        static class Wait implements Runnable{
            @Override
            public void run() {
                //加锁,拥有lock的Monitor
                synchronized (lock){
                    // 当条件不满足时,继续wait,同时释放了lock的锁
                    while (flag){
                        try{
                            System.out.println(Thread.currentThread()+" flag is true. wait @ "+ new SimpleDateFormat("HH:mm:ss").format(new Date()));
                            lock.wait();
                        }catch (InterruptedException e){
                            e.printStackTrace();
                        }
                    }
                    // 条件满足时,完成工作
                    System.out.println(Thread.currentThread() + " flag is false. running @ " + new SimpleDateFormat("HH:mm:ss").format(new Date()));
                }
            }
        }
    
        static  class Notify implements Runnable{
            @Override
            public void run() {
                //加锁,拥有 lock的Monitor
                synchronized (lock){
                    //获取lock的锁,然后进行通知,通知时不会释放lock的锁。
                    //直到当前线程释放了lock后,WaitThread才能从wait方法中返回
                    System.out.println(Thread.currentThread() + " hold lock. notify @ "+
                            new SimpleDateFormat("HH:mm:ss").format(new Date()));
                    lock.notifyAll();
                    flag = false;
                    try {
                        TimeUnit.SECONDS.sleep(5);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
    
                //再次加锁
                synchronized (lock){
                    System.out.println(Thread.currentThread() + " hold lock again. sleep @ "+
                            new SimpleDateFormat("HH:mm:ss").format(new Date()));
                    try {
                        TimeUnit.SECONDS.sleep(5);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        }
    
    }
    

    输出结果:

    Thread[WaitThread,5,main] flag is true. wait @ 23:17:46
    Thread[NotifyThread,5,main] hold lock. notify @ 23:17:47
    Thread[NotifyThread,5,main] hold lock again. sleep @ 23:17:52
    Thread[WaitThread,5,main] flag is false. running @ 23:17:57
    

      上述第3行和第4行输出的顺序可能会互换,而上述例子主要说明了调用wait()、notify()以及notifyAll()时需要注意的细节,如下。
      1)使用wait()、notify()和notifyAll()时需要先调用对象加锁。
      2)调用wait()方法后,线程状态由RUNNINg变为WAITING,并将当前线程放置到对象的等待队列。
      3)notify()或notifyAll()方法调用后,等待线程依旧不会从wait()返回,需要调用notify()或notifyAll()的线程释放锁之后,等待线程才有机会从wait()返回。
      4)notify()方法将等待队列中的一个等待线程从等待队列中移动到同步队列中,而notifyAll()方法则是将等待队列中所有的线程全部移到同步队列,被移动的线程状态由WAITING变为BLOCKED。
      5)从wait()方法返回的前提是获得了调用对象的锁。
      从上述细节中可以看到,等待/通知机制依托于同步机制,其目的就是确保等待线程从wait()方法返回时能够感知到通知线程对变量做出的修改。
      下图描述了上述示例的过程:

    WaitNotify的运行.jpg
      在上图中,WaitThread首先获取了对象的锁,然后调用对象的wait()方法,从而放弃了锁并进入了对象的等待队列WaitQueue中,进入等待状态。由于WaitThread释放了对象的锁,NotifyThread随后获取了对象的锁,并调用对象的nofity()方法,将WaitThread从WaitQueue移到SynchronizedQueue中,此时WaitThread的状态变为阻塞状态。NotifyThread释放了锁之后,WaitThread再次获取到锁并从wait()方法返回继续执行。
    4.3.3 等待/通知的经典范式
      等待方遵循如下原则:
      1)获取对象的锁。
      2)如果条件不满足,那么调用对象的wait()方法,被通知后仍要检查条件。
      3)条件满足则执行对应的逻辑。
      对应的伪代码如下:
    synchronized (对象){
             while(条件不满足){
                 对象的.wait();
            }
            对应的处理逻辑。
    }
    

      通知方遵循如下原则。
      1)获得对象的锁。
      2)改变条件。
      3)通知所有等待在对象上的线程。
      对应的伪代码如下.

    synchronized(对象){
        改变条件
        对象.notifyAll();
    }
    

    4.3.4 管道输入/输出流
      它主要用于线程数据传输,而传输的媒介为内存。
      主要包括下面4种实现:PipedOutputStream、PipedInputStream、PipedReader和PipedWriter,前面面向字节,后面两种面向字符。
      对于Piped类型的流,必须先要进行绑定,也就是调用connect()方法,如果没有将输入/输出流绑定起来,对于该流的访问将会抛出异常。
    ** 4.3.5 Thread.join()的使用**
      如果一个线程 A 执行了 thread. join()语句, 其含义是: 当前线程 A 等待 thread 线程终止之后才从 thread.join()返回。 线程 Thread 除了提供 join()方法之外, 还提供了 join(long millis)和 join(long millis, int nanos)两个具备超时特性的方法。 这两个超时方法表示, 如果线 程 thread 在给定的超时时间里没有终止, 那么将会从该超时方法中返回。
      每个线程终止的前提是前驱线程的终止, 每个线程等待前驱线程终止后, 才从 join()方法返回, 这里涉及了等待/通知机制(等待前驱线程结束, 接收前驱线程结束通知)。
      当线程终止时, 会调用线程自身的notifyAll()方法, 会通知所有等待在该线程对象上的线程。加锁、循环和处理逻辑3个步骤。
    4.3.6 ThreadLocal的使用
      ThreadLocal , 即线程变量, 是一个以ThreadLocal对象为键、任意对象为值的存储结婚。这个结构被附带在线程上,也就是说一个线程可以根据一个ThreadLocal对象查询到绑定在这个线程上的一个值。
      可以通过set(T)方法来设置一个值,在当前线程下再通过get()方法获取到原先设置的值。

    相关文章

      网友评论

          本文标题:并发编程基础

          本文链接:https://www.haomeiwen.com/subject/egohxhtx.html