zoukankan      html  css  js  c++  java
  • [图解Java]Condition

    图解Condition

    0. demo

    我先给出一个demo, 这样大家就可以根据我给的这段代码, 边调试边看源码了. 还是那句话: 注意"My" , 我把ReentrantLock类 改名为了 "MyReentrantLock"类 , "Lock"类 改名为了"MyLock"类. 大家粘贴我的代码的时候, 把相应的"My"都去掉就好了, 否则会编译报错哦.

    import java.util.Scanner;
    import java.util.concurrent.locks.Condition;
    import java.util.function.Supplier;
    
    public class ConditionTest {
        static final Scanner scanner = new Scanner(System.in);
        static volatile String cmd = "";
        private static MyReentrantLock lock = new MyReentrantLock(true);
        private static Condition condition = lock.newCondition();
    
        public static void main(String[] args) {
            for (String name : new String[]{"w1", "w2", "w3", "w4", "w5", "w6"})
                new Thread(() -> func(() -> lock, name)).start();
            new Thread(() -> signalOne(() -> lock, "s")).start();
    
            while (scanner.hasNext()) {
                cmd = scanner.nextLine();
            }
        }
    
        public static void func(Supplier<MyLock> myLockSupplier, String name) {
            blockUntilEquals(() -> cmd, name);
            myLockSupplier.get().lock();
    
            System.out.println(name + "阻塞等待...");
            try {
                condition.await();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("释放了" + name);
    
            myLockSupplier.get().unlock();
        }
    
        public static void signalOne(Supplier<MyLock> myLockSupplier, String name) {
            while (true) {
                blockUntilEquals(() -> cmd, name);
                myLockSupplier.get().lock();
                condition.signal();
                System.out.println("通知唤醒了一个等待...");
                myLockSupplier.get().unlock();
            }
        }
    
        private static void blockUntilEquals(Supplier<String> cmdSupplier, final String expect) {
            while (!cmdSupplier.get().equals(expect))
                quietSleep(1000);
            clearCmd();
        }
    
        private static void quietSleep(int mills) {
            try {
                Thread.sleep(mills);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        }
    
        private static void clearCmd() {
            cmd = "";
        }
    }

    使用例子在下面. 

    首先输入w1, 让线程1执行await() . 然后输入w2, 让线程2执行await(). 然后输入w3, 让线程3执行await().

    接下来输入3次 s, 没输入一次s, 并按下回车, 就会signal通知一个await等待.

    1. 开始图解Condition

    想用ReentrantLock的Condition, 那么就首先要有个ReentrantLock锁.

    实例化一个锁, ReentrantLock里只有一个成员变量sync.

    sync实例里面有四个成员变量.

    分别表示:

              1. state - 锁计数器

              2. exclusiveOwnerThread - 锁的持有线程

              3. head - `等待队列`的头结点.

              4. tail - 指向`等待队列`的最后一个元素

     然后咱们实例化了一个Condition. 

     当咱们输入w1后, 第一个线程就申请了锁, 并且申请成功.

     然后就执行到了await()方法.

    将线程1封装为Node节点, 然后waitState置为-2.  -2的含义是Condition.

     await()方法内部的第一个步骤就是把当前线程(线程1)插入到了`条件队列`中.

    然后就开始释放当前线程(线程1)的锁了, 而且是完全释放, 一次就释放掉全部重入次数哦, 也就是直接让state等于0. 

    释放完锁了, 然后挂起线程1.

    然后让线程2进行await.( 也就是前面的demo程序中在控制台输入了w2.)

    线程2执行await()之前当然是先获取锁了.

    由于此时, 锁是空闲的. 所以线程2成功获取到了锁. 淡橙色的阴影部分为变化的内容:

      

    获取锁之后, 线程2就该执行await()了:

     如上图, 将线程封装为Node, 然后尾插到`条件队里`中, 只是await() 方法的第一步.

    然后的操作, 就是完全释放线程2的锁, 然后挂起线程.

     

    如果这个时候咱们在上面demo程序的控制台输入"s", 那么就会让线程s 申请锁, 申请成功后, 就会执行signal.

    首先是线程s申请锁成功:

     线程s成功获取了锁以后, 就是该执行signal()了.

     首先将`条件队列`里的第一个节点脱离出来:

     然后把waitState从-2改为0 :

    随后要做的就是把从`条件队列`中脱离出来的Node(就是线程1对应的Node节点), 尾插到`等待队列`中.

    但是`等待队列`此时还未被初始化, 所以插入到`等待队列`之前, 要把`等待队列`初始化了. 见下图:

     `等待队列`初始化完了. 接下来就是把线程1对应的Node, 尾插到`等待队列`中了:

    然后将当前尾插的那个节点的前驱的waitState置为-1.  -1表示下一个节点等待着被唤醒. 

     

    接下来就是线程s会执行到unlock(). 然后就会释放锁, 之后就是唤醒`等待队列`中的第一个线程.

    如此就介绍完了signal()

    一个signal命令, 就把一个await的线程从`条件队列中`移到了`等待队列`中. 到了等待队列中之后, 剩下的就是跟"锁解锁后, 唤醒下一个执行"这样的步骤一样了.

    我觉得await方法就是将线程尾插到`条件队列`中. signal()方法就是把条件队列中的第一个元素, 尾插入到`等待队列`中.

    所以我觉得不必往下分析了.

    也可能是我理所当然了, 有问题的话之后再补充.

  • 相关阅读:
    Java 线程池
    Java 内存模型
    img图片铺满父元素
    element-ui 表单复杂数据类型校验
    element-ui 栅格布局 一行五等分
    element-ui表单只验证单个字段
    记录
    js-字符串全局替换
    vue3-搭建项目-vue2-vu3使用上的变化
    小程序引入echarts
  • 原文地址:https://www.cnblogs.com/noKing/p/9380091.html
Copyright © 2011-2022 走看看