一、协调生产/消费的需求

本文内容主要想向大家介绍一下Lock结合Condition的使用方法,为了更好的理解Lock锁与Condition锁信号,我们来手写一个ArrayBlockingQueue。 JDK实际上已经有这个类,基于Lock锁与Condition锁信号实现的,当然JDK实现代码很复杂包含了更严谨的逻辑校验,以及从性能优化的角度做了更多的工作。本文中我们只是来简单实现一下其核心逻辑:

  • ArrayBlockingQueue初始化构造时指定容量上限最大值
  • 提供put方法,当达到Queue队列容量上限最大值,阻塞生产数据的线程。
  • put方法生产数据之后,队列肯定是不为空,通知消费者线程进行消费。
  • 提供take方法,当Queue队列容量为0时候,阻塞消费数据的线程。
  • take方法执行之后,队列肯定不是满的,通知生产者线程进行生产。
  • 一条数据只能被take一次,take之后数据从queue中删除

相信实现完成上面的逻辑之后,java并发编程之Lock锁与Condition锁信号,你肯定是掌握了!其实这个逻辑基本上就是kafka生产者客户端缓冲队列,批量进行数据发送的实现逻辑。区别是take方法一次取出缓冲区所有数据,本文take方法一次取出一条数据。

二、构造方法

构造队列的方法很简单,使用一个List作为数据存储队列,并指定其容量。到此我们还没有实现容量判断,以及阻塞线程的功能。

//类成员变量-存储数据的队列
private List<Object> queue;
//类成员变量-存储队列的容量上限
private int queueSize; public MyBlockingQueue(int queueSize) {
this.queueSize = queueSize;
queue = new ArrayList<>(queueSize);//存储消息的集合
}

三、Lock& Condition逻辑设计

首先我们要有一把锁,保证数据put与take操作的同步性,即:一条数据只能被take一次,take之后数据从queue中删除;以及创建Condition逻辑都需要Lock锁。学过java基础并发编程的同学,可以把Lock锁理解为Synchronized 同步代码块功能是一样的。我写过一个专栏《java并发编程》中介绍了二者的区别,欢迎关注。

private Lock lock = new ReentrantLock();//锁

Condition逻辑大家可以理解为传统JDK多线程编程中的wait与notify,但是Condition的语义更容易被理解。如下文代码所示:

private Condition notFull = lock.newCondition();   //队列不为满

notFull.signal();   //通知生产者队列不为满,可以继续生产数据(通常在消费者拿走数据之后,调用)
notFull.await(); //队列已满,阻塞生产线程(await对condition逻辑取反)
private Condition notEmpty = lock.newCondition();  //队列不为空

notEmpty.signal();  //通知消费者线程队列不为空,可以继续消费数据(通常在生产者生产数据之后,调用)
notEmpty.await(); //队列已经空了,阻塞消费线程(await对condition逻辑取反)

大家在使用Lock& Condition进行线程同步协调的时候,一定像我一样先把condition的逻辑语义设计好

  • 将当xxxx时候的表达,设计为condition。
  • 当情况满足condition的时候发出信号signal()通知其他线程;
  • 当情况与condtion正好相反的的时候,使用await阻塞当前线程。

四、put放入数据

其实最重要的就是完成Lock& Condition逻辑设计,剩下的就是填空了,模板如下

通过while循环判断队列当前容量是否达到容量上限,如果达到上限就表示队列满了。队列满了(notFull取反使用await),await阻塞生产线程向队列中继续放入数据。在这里,有小伙伴曾经问过我一个奇葩的问题:多线程持有同一个lock锁,你怎么知道阻塞的是生产线程,而不是消费线程呢? 答:一个线程是生产线程还是消费线程,取决于它的动作(调用什么方法),并没有一个标签给它定义死,调用put方法放入数据的就是生产数据的线程。while/await组合是标准写法,请不要随意创新改成if,否则你会遇到很多诡异的bug。

//队列满了,await阻塞生产线程
while (queue.size() >= queueSize) {
System.out.println(Thread.currentThread().getName() + "等待,因为队列满了" );
notFull.await();
}

向队列中添加一条数据,此时我们可以确定队列是notEmpty,所以使用notEmpty.signal()向生产者发送信号。这里问题又来了:多线程持有同一个lock锁,你怎么知道通知的是消费者线程,而不是生产者线程呢? 答案是我确实不知道,所以在上文中的while (queue.size() >= queueSize)采用的是while,而不是if。即使生产者线程被唤醒了,while判断也会把它await拦住。

//向队列添加一条消息,同时通知消费者有新消息了
queue.add(message);
System.out.println(Thread.currentThread().getName() + "生产" + message );
notEmpty.signal();//通知消费者线程

五、take消费数据

take从队列中取出数据,取出数据之后,队列肯定是notFull ,所以发出notFull.signal信号。当队列空了(notEmpty使用await取反),await同时阻塞消费者线程。

public Object take() throws InterruptedException {
Object retVal = null;
lock.lock();//操作队列先加锁
try {
//队列空了,通知生产线程,消费线程阻塞
while (queue.size() == 0) {
System.out.println("队列已经空了,停止消费!");
notEmpty.await();
}
//队列删除一条消息,同时通知生产者队列有位置了
retVal = queue.get(0);
queue.remove(0);
notFull.signal(); //同时通知生产者队列
} finally {
lock.unlock();
}
return retVal;
}

我相信有了上面put方法的基础,理解take方法中的代码,就非常容易了,这里我就不做过多的说明了。

六、生产消费测试

public static void main(String[] args) {
//为了方便查看测试结果,我们的队列容量设置小一些
MyBlockingQueue queue = new MyBlockingQueue(2); //生产者线程
new Thread(()->{
for(int i = 0;i < 5;i++){
try {
queue.put("msg" + i); //放入5条数据
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}).start(); //消费者线程
new Thread(()->{
while(true){ //一直消费
try {
System.out.println(Thread.currentThread().getName()
+ "消费数据" + queue.take());
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}).start();
}

输出结果如下,满足我们的需求。队列满了,生产者线程Thread-0等待;生产消费互相协调通知,最终数据消费完成,队列空了,消费者线程阻塞。

Thread-0生产msg0
Thread-0生产msg1
Thread-0等待,因为队列满了
Thread-1消费数据msg0
Thread-0生产msg2
Thread-0等待,因为队列满了
Thread-1消费数据msg1
Thread-0生产msg3
Thread-0等待,因为队列满了
Thread-1消费数据msg2
Thread-0生产msg4
Thread-1消费数据msg3
Thread-1消费数据msg4
队列已经空了,停止消费!

欢迎关注我的博客,更多精品知识合集

本文转载注明出处(必须带连接,不能只转文字):字母哥博客 - zimug.com

觉得对您有帮助的话,帮我点赞、分享!您的支持是我不竭的创作动力!。另外,笔者最近一段时间输出了如下的精品内容,期待您的关注。

【java并发编程】Lock & Condition 协调同步生产消费的更多相关文章

  1. Java并发编程的4个同步辅助类

    Java并发编程的4个同步辅助类(CountDownLatch.CyclicBarrier.Semphore.Phaser) @https://www.cnblogs.com/lizhangyong/ ...

  2. Java并发编程:线程的同步

    Java并发编程:线程的同步 */--> code {color: #FF0000} pre.src {background-color: #002b36; color: #839496;} J ...

  3. Java并发编程的4个同步辅助类(CountDownLatch、CyclicBarrier、Semaphore、Phaser)

    我在<JDK1.5引入的concurrent包>中,曾经介绍过CountDownLatch.CyclicBarrier两个类,还给出了CountDownLatch的演示案例.这里再系统总结 ...

  4. Java并发编程的4个同步辅助类(CountDownLatch、CyclicBarrier、Semphore、Phaser)

    我在<jdk1.5引入的concurrent包>中,曾经介绍过CountDownLatch.CyclicBarrier两个类,还给出了CountDownLatch的演示案例.这里再系统总结 ...

  5. Java并发编程:Lock

    Java并发编程:Lock 在上一篇文章中我们讲到了如何使用关键字synchronized来实现同步访问.本文我们继续来探讨这个问题,从Java 5之后,在java.util.concurrent.l ...

  6. Java并发编程,Condition的await和signal等待通知机制

    Condition简介 Object类是Java中所有类的父类, 在线程间实现通信的往往会应用到Object的几个方法: wait(),wait(long timeout),wait(long tim ...

  7. Java并发编程(二)同步

    在多线程的应用中,两个或者两个以上的线程需要共享对同一个数据的存取.如果两个线程存取相同的对象,并且每一个线程都调用了修改该对象的方法,这种情况通常成为竞争条件.  竞争条件最容易理解的例子就是:比如 ...

  8. java 并发编程lock使用详解

    浅谈Synchronized: synchronized是Java的一个关键字,也就是Java语言内置的特性,如果一个代码块被synchronized修饰了,当一个线程获取了对应的锁,执行代码块时,其 ...

  9. Java并发编程(八)同步容器

    为了方便编写出线程安全的程序,Java里面提供了一些线程安全类和并发工具,比如:同步容器.并发容器.阻塞队列.Synchronizer(比如CountDownLatch) 一.为什么会出现同步容器? ...

随机推荐

  1. 什么是 UML?

    UML 是统一建模语言(Unified Modeling Language)的缩写,它发表于 1997 年,综合了当时已经存在的面向对象的建模语言.方法和过程,是一个支持模型 化和软件系统开发的图形化 ...

  2. C语言中的bool类型 stdbool.h

    C语言的C99标准中已经可以使用bool类型了,但有些小伙伴可能受制于编译器等原因还无法使用,我就从最新版的VS2019 中,找到了stdbool.h这个头文件的定义,其实就是一堆宏的定义,代码如下: ...

  3. simulink中scope图像显示添加图例

    1. 在scope中添加图例 (1)首先打开配置属性(configuration properties),在display下面的show legend前面打钩 这样就允许图例显示出来 (2)对scop ...

  4. h4ck47h0n ? h4ck3r ? I"m just a coder......

    [0x00]刚开了专栏,没事过来投投稿混眼熟啦~//才不是为了抱枕呢刚刚结束了黑客马拉松,回来也是缓了好久才缓过来.这么高强度的脑洞劳动···阿不,是脑力劳动的说.真的第一次.说起来,跟代码相识,还是 ...

  5. 微信小程序 MinUI 组件库系列之 price 价格组件

    MinUI 是基于微信小程序自定义组件特性开发而成的一套简洁.易用.高效的组件库,适用场景广,覆盖小程序原生框架.小程序组件化框架等,并且提供了高效的命令行工具.MinUI 组件库包含了很多基础的组件 ...

  6. 利用Charles做代理测试电脑上写的H5页面

    做H5页面的同学可能经常会遇到一个场景,就是电脑上调试好的页面怎么在手机上访问测试呢? 下面就介绍一种自己经常使用的方式,利用Charles代理软件来实现! 安装Charles 直接去官网下载对应的系 ...

  7. java中为什么接口中的属性都默认为static和final?

    1)为什么接口中的属性都默认为static和final?Sun公司当初为什么要把java的接口设计发明成这样?[新手可忽略不影响继续学习]答:马克-to-win:接口中如果可能定义非final的变量的 ...

  8. Factorials and Powers of Two

    分析:我们可以看出这道题目的描述并不是很复杂,就是说对于一个给定的整数n,我们能否把他拆成k个powerful的数,也就是说这k个数要么是2的幂次,要么是某个数的阶乘,并且我们要让当前的k越小越好:然 ...

  9. 检查oracle是否是rac

    采样rac集群 [root@shfpdb02 disks]# cat /etc/redhat-release Red Hat Enterprise Linux Server release 6.4 ( ...

  10. 【云原生小课堂】高性能、高可用、可扩展的MySQL集群如何组建?

    本期[云原生小课堂]将带你入门PXC--公认的MySQL集群优选方案.