并发设计模式:生产者-消费者模式
在讨论基于阻塞队列的生产者消费者模式之前我们先搞清楚到底什么是生产者 - 消费者模式(producer-consumer 模式)?
什么是生产者 - 消费者模式 比如有两个进程 A 和 B,它们共享一个 固定大小的缓冲区 ,A 进程产生数据放入缓冲区,B 进程从缓冲区中取出数据进行计算,那么这里其实就是一个生产者和消费者的模式,A 相当于生产者,B 相当于消费者
生产者 - 消费者模式的特点
保证生产者不会在缓冲区满的时候继续向缓冲区放入数据,而消费者也不会在缓冲区空的时候,消耗数据
当缓冲区满的时候,生产者会进入休眠状态,当下次消费者开始消耗缓冲区的数据时,生产者才会被唤醒,开始往缓冲区中添加数据;当缓冲区空的时候,消费者也会进入休眠状态,直到生产者往缓冲区中添加数据时才会被唤醒
为什么要使用生产者消费者模式 在多线程开发中,如果生产者生产数据的速度很快,而消费者消费数据的速度很慢,那么生产者就必须等待消费者消费完了数据才能够继续生产数据,因为生产那么多也没有地方放啊;同理如果消费者的速度大于生产者那么消费者就会经常处理等待状态,所以为了达到生产者和消费者生产数据和消费数据之间的平衡 ,那么就需要一个缓冲区用来存储生产者生产的数据,所以就引入了生产者 - 消费者模式
简单来说这里的缓冲区的作用就是为了平衡生产者和消费者的处理能力,起到一个数据缓存的作用,同时也达到了一个解耦的作用
生产者 - 消费者模式的应用场景 生产者 - 消费者模式一般用于将生产数据的一方和消费数据的一方分割开来,将生产数据与消费数据的过程解耦开来
Excutor 任务执行框架:
通过将任务的提交和任务的执行解耦开来,提交任务的操作相当于生产者,执行任务的操作相当于消费者
例如使用 Excutor 构建 web 服务器,用于处理线程的请求:生产者将任务提交给线程池,线程池创建线程处理任务,如果需要运行的任务数大于线程池的基本线程数,那么就把任务扔到阻塞队列(通过线程池 + 阻塞队列的方式比只使用一个阻塞队列的效率高很多,因为消费者能够处理就直接处理掉了,不用每个消费者都要先从阻塞队列中取出任务再执行)
消息中间件
双十一的时候,会产生大量的订单,那么不可能同时处理那么多的订单,需要将订单放入一个队列里面,然后由专门的线程处理订单。这里用户下单就是生产者,处理订单的线程就是消费者;再比如 12306 的抢票功能,先由一个容器存储用户提交的订单,然后再由专门处理订单的线程慢慢处理,这样可以在短时间内支持高并发服务
任务的处理时间比较长的情况下
比如上传附近并处理,那么这个时候可以将用户上传和处理附件分成两个过程,用一个队列暂时存储用户上传的附近,然后立刻返回用户上传成功,然后有专门的线程处理队列中的附近
生产者 - 消费者模式的优点
解耦:将生产者类和消费者类进行解耦,消除代码之间的依赖性,简化工作负载的管理
复用:通过将生产者类和消费者类独立开来,那么可以对生产者类和消费者类进行独立的复用与扩展
调整并发数:由于生产者和消费者的处理速度是不一样的,可以调整并发数,给予慢的一方多的并发数,来提高任务的处理速度
异步:对于生产者和消费者来说能够各司其职,生产者只需要关心缓冲区是否还有数据,不需要等待消费者处理完;同样的对于消费者来说,也只需要关注缓冲区的内容,不需要关注生产者,通过异步的方式支持高并发,将一个耗时的流程拆成生产和消费两个阶段,这样生产者因为执行 put() 的时间比较短,而支持高并发
支持分布式:生产者和消费者通过队列进行通讯,所以不需要运行在同一台机器上,在分布式环境中可以通过 redis 的 list 作为队列,而消费者只需要轮询队列中是否有数据。同时还能支持集群的伸缩性,当某台机器宕掉的时候,不会导致整个集群宕掉
生产者 - 消费者模式的实现 首先我们从最简单的开始,假设只有一个生产者线程执行 put 操作,向缓冲区中添加数据,同时也只有一个消费者线程从缓冲区中取出数据
UML 实体关系图, 从 UML 类图中可以看出,我们的 producer 和 consumer 类都持有一个对 container 对象的引用,这样的设计模式实际上在很多设计模式都有用到,比如我们的装饰者模式等等,它们共同的目的都是为了达到解耦和复用的效果
在实现生产者 - 消费者模式之前我们需要搞清两个问题:
如何保证容器中数据状态的一致性
如何保证消费者和生产者之间的同步和协作关系
1)容器中数据状态的一致性:当一个 consumer 执行了 take() 方法之后,此时容器为空,但是还没来得及更新容器的 size, 那么另外一个 consumer 来了之后以为 size 不等于 0,那么继续执行 take(), 从而造成了了状态的不一致性
2)为了保证当容器里面没有数据的时候,消费者不会继续 take,此时消费者释放锁,处于阻塞状态;并且一旦生产者添加了一条数据之后,此时重新唤醒消费者,消费者重新获取到容器的锁,继续执行 take();
当容器里面满的时候,生产者也不会继续 put, 此时生产者释放锁,处于阻塞状态;一旦消费者 take 了一条数据,此时应该唤醒生产者重新获取到容器的锁,继续 put
所以对于该容器的任何访问都需要进行同步,也就是说在获取容器的数据之前,需要先获取到容器的锁。
而这里对于容器状态的同步可以参考如下几种方法:
Object 的 wait() / notify() 方法
Semaphore 的 acquire()/release() 方法
BlockingQueue 阻塞队列方法
Lock 和 Condition 的 await() / signal() 方法
PipedInputStream / PipedOutputStream
要构建一个生产者消费者模式,那么首先就需要构建一个固定大小的缓冲区,并且该缓冲区具有可阻塞的 put 方法和 take 方法
利用内部线程之间的通信:Object 的 wait() / notify() 方法 接下来我们采用第一种方法来实现该模型:使用 Object 的 wait() / notify() 方法实现生产者 - 消费者模型
ps: 采用 wait()/notify() 方法的缺点是不能实现单生产者单消费者模式,因为要是用 notify() 就必须使用同步代码块
###$ 创建 Container 容器类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 package test;import java.util.LinkedList;public class Container { LinkedList<Integer> list = new LinkedList <Integer>(); int capacity = 10 ; public void put (int value) { while (true ){ try { Thread.sleep(1000 ); } catch (InterruptedException e) { e.printStackTrace(); } synchronized (this ){ while (list.size() == capacity){ System.out.println("container is full,waiting ...." ); try { wait(); } catch (InterruptedException e) { e.printStackTrace(); } } System.out.println("producer--" + Thread.currentThread().getName()+"--put:" + value); list.add(value++); notifyAll(); } } } public Integer take () { Integer val = 0 ; while (true ){ try { Thread.sleep(1000 ); } catch (InterruptedException e) { e.printStackTrace(); } synchronized (this ){ while (list.size() == 0 ){ System.out.println("container is empty,waiting ..." ); try { wait(); } catch (InterruptedException e) { e.printStackTrace(); } } val = list.removeFirst(); System.out.println("consumer--" + Thread.currentThread().getName()+"--take:" + val); notifyAll(); } } } }
这里需要注意的是 sleep() 不能放在 synchronized 代码块里面,因为我们知道 sleep() 执行之后是不会释放锁的,也就是说当前线程仍然持有对 container 对象的互斥锁,这个时候当前线程继续判断 list.size 是否等于 capacity,不等于就继续 put, 然后又 sleep 一会,然后又继续,直到当 list.size == capacity, 这个时候终于进入 wait() 方法,我们知道 wait() 方法会释放锁,这个时候其他线程才有机会获取到 container 的互斥锁,
notifyAll() 不能单独放在 producer 类里面,因为 notifyAll()必须放在同步代码块里面
弊端: 这里由于不能区分哪些是 not empty 或者 not full 或者 is full/empty 线程,所以需要唤醒所有其他等待的线程,但实际上我们需要的是唤醒那些 not empty 或者 not full 的线程就够了
创建生产者类 1 2 3 4 5 6 7 8 9 10 11 12 13 14 package test;import java.util.Random;public class Producer implements Runnable { private Container container; public Producer (Container container) { this .container = container; } @Override public void run () { container.put(new Random ().nextInt(100 )); } }
创建消费者类 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 package test;import java.util.Random;public class Consumer implements Runnable { private Container container; public Consumer (Container container) { this .container = container; } @Override public void run () { Integer val = container.take(); } }
测试类 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 package test;import test1.Consumer;import test1.Container;import test1.Producer;public class Main { public static void main (String[] args) { Container container = new Container (); Thread producer1 = new Thread (new Producer (container)); Thread producer2 = new Thread (new Producer (container)); Thread producer3 = new Thread (new Producer (container)); Thread producer4 = new Thread (new Producer (container)); producer1.start(); producer2.start(); producer3.start(); producer4.start(); Thread consumer1 = new Thread (new Consumer (container)); Thread consumer2 = new Thread (new Consumer (container)); Thread consumer3 = new Thread (new Consumer (container)); Thread consumer4 = new Thread (new Consumer (container)); Thread consumer5 = new Thread (new Consumer (container)); Thread consumer6 = new Thread (new Consumer (container)); consumer1.start(); consumer2.start(); consumer3.start(); consumer4.start(); consumer5.start(); consumer6.start(); } }
运行结果
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 producer--Thread-1--put:80 producer--Thread-2--put:19 producer--Thread-3--put:8 producer--Thread-0--put:74 consumer--Thread-8--take:80 consumer--Thread-4--take:19 consumer--Thread-6--take:8 consumer--Thread-9--take:74 container is empty,waiting ... container is empty,waiting ... producer--Thread-2--put:20 consumer--Thread-7--take:20 container is empty,waiting ... producer--Thread-3--put:9 producer--Thread-1--put:81 producer--Thread-0--put:75 consumer--Thread-5--take:9 consumer--Thread-6--take:81 consumer--Thread-8--take:75 container is empty,waiting ... container is empty,waiting ... container is empty,waiting ...
利用信号量实现生产者 - 消费者模型 思路
生产者消费者模型中的共享资源是一个固定大小的缓冲区,该模式需要当缓冲区满的时候,生产者不再生产数据,直到消费者消费了一个数据之后,才继续生产;同理当缓冲区空的时候,消费者不再消费数据,直到生产者生产了一个数据之后,才继续消费
如果要通过信号量来解决这个问题:关键在于找到能够跟踪缓冲区的 size 大小变化,并根据缓冲区的数量变化来控制消费者和生产者线程之间的协作和运行
那么很容易很够想到用两个信号量:empytyCount 和 fullCount 分别来表示缓冲区满或者空的状态,进而能够更加容易控制消费者和生产者到底什么时候处于阻塞状态,什么时候处于运行状态
emptyCount = N
fullCount = 0
useQueue = 1
同时为了使得程序更加具有健壮性,我们还添加一个二进制信号量 useQueue, 确保队列的状态的完整性不受损害。例如当两个生产者同时向空队列添加数据时,从而破坏了队列内部的状态,使得其他计数信号量或者返回的缓冲区的 size 大小不具有一致性。(当然这里也可以使用 mutex 来代替二进制信号量)
1 2 3 4 5 6 7 8 9 10 11 12 produce: P(emptyCount)//信号量emptyCount减一 P(useQueue)//二值信号量useQueue减一,变为0(其他线程不能进入缓冲区,阻塞状态) putItemIntoQueue(item)//执行put操作 V(useQueue)//二值信号量useQueue加一,变为1(其他线程可以进入缓冲区) V(fullCount)//信号量fullCount加一 consume: P(fullCount)//fullCount -= 1 P(useQueue)//useQueue -= 1(useQueue = 0) item ← getItemFromQueue() V(useQueue)//useQueue += 1 (useQueue = 1) V(emptyCount)//emptyCount += 1
ps: 这里的两个 PV 操作是否可以颠倒
P 操作不可以 首先生产者获取到信号量 emptyCount,执行 P(emptyCount),确保 emptyCount 不等于 0,也就是还有空间添加数据,从而才能够进入临界区 container 然后执行 put 操作,执行 put 操作之前需要为缓冲区加把锁,防止在 put 的过程中,其他线程对缓冲区进行修改,所以这个时候需要获取另外一个信号量 useQueue 相反,如果先执行了 P(useQueue),并且此时的 emptyCount = 0,那么生产者就会一直阻塞,直到消费者消费了一个数据;但是此时消费者又无法获取到互斥信号量 useQueue,也会一直阻塞,所以就形成了一个死锁 所以这两个 p 操作是不能交换顺序的,信号量 emptyCount 是 useQueue 的基础和前提条件
V 操作可以 此时如果生产者已经执行完 put 操作,那么可以先释放互斥信号量,再执行 V(fullCount);或者先执行 V(fullCount) 再释放互斥信号量都没有关系。不会对其他的生产者消费者的状态产生影响;但是最好的还是先释放互斥锁,再执行 V(fullCount),这样可以保证当容器满的时候,消费者能够及时的获取到互斥锁
代码实现
Container
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 package test;import java.util.LinkedList;import java.util.List;import java.util.concurrent.Semaphore;public class Container { Semaphore fullCount = new Semaphore (0 ); Semaphore emptyCount = new Semaphore (10 ); Semaphore isUse = new Semaphore (1 ); List list = new LinkedList <Integer>(); public void put (Integer val) { try { emptyCount.acquire(); isUse.acquire(); list.add(val); System.out.println("producer--" + Thread.currentThread().getName()+"--put:" + val+"===size:" +list.size()); } catch (InterruptedException e) { e.printStackTrace(); }finally { isUse.release(); fullCount.release(); } try { Thread.sleep(1000 ); } catch (InterruptedException e) { e.printStackTrace(); } } public Integer get () { Integer val1 = 0 ; try { fullCount.acquire(); isUse.acquire(); val1 = (Integer) list.remove(0 ); System.out.println("consumer--" + Thread.currentThread().getName()+"--take:" + val1+"===size:" +list.size()); } catch (InterruptedException e) { e.printStackTrace(); }finally { isUse.release(); emptyCount.release(); } return val1; } }
生产者
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 package test;import java.util.Random;public class Producer implements Runnable { private Container container; public Producer (Container container) { this .container = container; } @Override public void run () { while (true ){ container.put(new Random ().nextInt(100 )); } } }
消费者
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 package test;public class Consumer implements Runnable { private Container container; public Consumer (Container container) { this .container = container; } @Override public void run () { while (true ){ Integer val = container.get(); } } }
测试
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 package test;public class Test { public static void main (String[] args) { Container container = new Container (); Thread producer1 = new Thread (new Producer (container)); Thread producer2 = new Thread (new Producer (container)); Thread producer3 = new Thread (new Producer (container)); Thread consumer1 = new Thread (new Consumer (container)); Thread consumer2 = new Thread (new Consumer (container)); Thread consumer3 = new Thread (new Consumer (container)); Thread consumer4 = new Thread (new Consumer (container)); producer1.start(); producer2.start(); producer3.start(); consumer1.start(); consumer2.start(); consumer3.start(); consumer4.start(); } } producer--Thread-0 --put:74 ===size:1 producer--Thread-4 --put:16 ===size:2 producer--Thread-2 --put:51 ===size:3 producer--Thread-1 --put:77 ===size:4 producer--Thread-3 --put:93 ===size:5 consumer--Thread-6 --take:74 ===size:4 consumer--Thread-6 --take:16 ===size:3 consumer--Thread-6 --take:51 ===size:2 consumer--Thread-6 --take:77 ===size:1 consumer--Thread-5 --take:93 ===size:0 producer--Thread-4 --put:19 ===size:1 producer--Thread-3 --put:68 ===size:2 producer--Thread-0 --put:72 ===size:3 consumer--Thread-6 --take:19 ===size:2 consumer--Thread-6 --take:68 ===size:1 consumer--Thread-5 --take:72 ===size:0 producer--Thread-1 --put:82 ===size:1 producer--Thread-2 --put:32 ===size:2 consumer--Thread-5 --take:82 ===size:1
基于阻塞队列的生产者消费者模型 由于这里的缓冲区由 BlockingQueue 容器代替,那么这里我们就不需要重新创建一个容器类了,直接创建生产者类和消费者类,并且同样的都需要拥有一个容器类 BlockingQueue 的实例应用
创建生产者类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 package test;import java.util.Random;import java.util.concurrent.ArrayBlockingQueue;public class Producer implements Runnable { private ArrayBlockingQueue<Integer> queue ; public Producer (ArrayBlockingQueue<Integer> queue) { this .queue = queue; } @Override public void run () { Random random = new Random (); while (true ){ try { Thread.sleep(100 ); if (queue.size() == 10 ) System.out.println("================the queue is full,the producer thread is waiting.................." ); int item = random.nextInt(100 ); queue.put(item); System.out.println("producer:" + Thread.currentThread().getName() + " produce:" + item+";the size of the queue:" + queue.size()); } catch (InterruptedException e) { e.printStackTrace(); } } } }
创建消费者类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 package test;import java.util.concurrent.ArrayBlockingQueue;public class Consumer implements Runnable { private ArrayBlockingQueue<Integer> queue; public Consumer (ArrayBlockingQueue<Integer> queue) { this .queue = queue; } @Override public void run () { while (true ){ try { Thread.sleep(100 ); if (queue.size() == 0 ) System.out.println("=============the queue is empty,the consumer thread is waiting................" ); Integer item = queue.take(); System.out.println("consumer:" + Thread.currentThread().getName() + " consume:" + item+";the size of the queue:" + queue.size()); } catch (InterruptedException e) { e.printStackTrace(); } } } }
测试类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 package test;import java.util.concurrent.ArrayBlockingQueue;public class Test { public static void main (String[] args) { ArrayBlockingQueue<Integer> queue = new ArrayBlockingQueue <Integer>(10 ); Thread producer1 = new Thread (new Producer (queue)); Thread producer2 = new Thread (new Producer (queue)); Thread producer3 = new Thread (new Producer (queue)); Thread producer4 = new Thread (new Producer (queue)); Thread producer5 = new Thread (new Producer (queue)); producer1.start(); producer2.start(); producer3.start(); producer4.start(); producer5.start(); Thread consumer1 = new Thread (new Consumer (queue)); Thread consumer2 = new Thread (new Consumer (queue)); consumer1.start(); consumer2.start(); try { producer1.join(); producer2.join(); producer3.join(); producer4.join(); producer5.join(); consumer1.join(); consumer2.join(); } catch (InterruptedException e) { e.printStackTrace(); } } } =============the queue is empty,the consumer thread is waiting................ consumer:Thread-5 consume:64 ;the size of the queue:0 producer:Thread-3 produce:64 ;the size of the queue:1 consumer:Thread-6 consume:87 ;the size of the queue:0 producer:Thread-1 produce:1 ;the size of the queue:3 producer:Thread-4 produce:87 ;the size of the queue:2 producer:Thread-2 produce:71 ;the size of the queue:2 producer:Thread-0 produce:76 ;the size of the queue:1 consumer:Thread-6 consume:71 ;the size of the queue:2 producer:Thread-1 produce:26 ;the size of the queue:6 producer:Thread-3 produce:6 ;the size of the queue:6 producer:Thread-0 produce:76 ;the size of the queue:5 producer:Thread-2 produce:37 ;the size of the queue:6
Lock 和 Condition 的 await() / signal() 方法 容器类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 package test;import java.util.LinkedList;import java.util.List;import java.util.Vector;import java.util.concurrent.locks.Condition;import java.util.concurrent.locks.Lock;import java.util.concurrent.locks.ReentrantLock;public class Container { private final Lock lock = new ReentrantLock (); private final Condition notFull = lock.newCondition(); private final Condition notEmpty = lock.newCondition(); private int capacity; private List<Integer> list = new LinkedList <>(); public Container (int capacity) { this .capacity = capacity; } public Integer take () { lock.lock(); try { while (list.size() == 0 ) try { System.out.println("the list is empty........" ); notEmpty.await(); } catch (InterruptedException e) { e.printStackTrace(); } Integer val = list.remove(0 ); System.out.println("consumer--" + Thread.currentThread().getName()+"--take:" + val+"===size:" +list.size()); notFull.signalAll(); return val; }finally { lock.unlock(); } } public void put (Integer val) { lock.lock(); try { while (list.size() == capacity){ try { System.out.println("the list is full........" ); notFull.await(); } catch (InterruptedException e) { e.printStackTrace(); } } list.add(val); System.out.println("producer--" + Thread.currentThread().getName()+"--put:" + val+"===size:" + list.size()); notEmpty.signalAll(); }finally { lock.unlock(); } try { Thread.sleep(1000 ); } catch (InterruptedException e) { e.printStackTrace(); } } }
生产者
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 package test;import java.util.Random;import java.util.TreeMap;import java.util.concurrent.locks.Condition;public class Producer implements Runnable { private Container container; public Producer (Container container) { this .container = container; } @Override public void run () { while (true ){ container.put(new Random ().nextInt(100 )); } } }
消费者
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 package test;public class Consumer implements Runnable { private Container container; public Consumer (Container container) { this .container = container; } @Override public void run () { while (true ){ Integer val = container.take(); } } }
测试类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 package test;public class Test { public static void main (String[] args) { Container container = new Container (5 ); Thread producer1 = new Thread (new Producer (container)); Thread producer2 = new Thread (new Producer (container)); Thread producer3 = new Thread (new Producer (container)); Thread producer4 = new Thread (new Producer (container)); Thread producer5 = new Thread (new Producer (container)); Thread consumer1 = new Thread (new Consumer (container)); Thread consumer2 = new Thread (new Consumer (container)); producer1.start(); producer2.start(); producer3.start(); producer4.start(); producer5.start(); consumer1.start(); consumer2.start(); } } the list is empty........ producer--Thread-3 --put:77 ===size:1 consumer--Thread-6 --take:77 ===size:0 the list is empty........ producer--Thread-4 --put:55 ===size:1 producer--Thread-0 --put:62 ===size:2 producer--Thread-1 --put:90 ===size:3 producer--Thread-2 --put:57 ===size:4 consumer--Thread-5 --take:55 ===size:3 consumer--Thread-5 --take:62 ===size:2 consumer--Thread-5 --take:90 ===size:1 consumer--Thread-5 --take:57 ===size:0 the list is empty........ the list is empty........ producer--Thread-0 --put:10 ===size:1 producer--Thread-1 --put:21 ===size:2 producer--Thread-3 --put:3 ===size:3 producer--Thread-4 --put:75 ===size:4 producer--Thread-2 --put:94 ===size:5 consumer--Thread-5 --take:10 ===size:4
使用信号量实现 对于单生产者单消费者,只用保证缓冲区满的时候,生产者不会继续向缓冲区放数据,缓冲区空的时候,消费者不会继续从缓冲区取数据,而不存在同时有两个生产者使用缓冲区资源,造成数据不一致的状态。
所以对于单生产者单消费者,如果采用信号量模型来实现的话,那么只需要两个信号量:empytyCount 和 fullCount 分别来表示缓冲区满或者空的状态,进而能够更加容易控制消费者和生产者到底什么时候处于阻塞状态,什么时候处于运行状态; 而不需要使用互斥信号量了
emptyCount = N
fullCount = 0 ;
1 2 3 4 5 6 7 8 produce: P(emptyCount)//信号量emptyCount减一 putItemIntoQueue(item)//执行put操作 V(fullCount)//信号量fullCount加一 consume: P(fullCount)//fullCount -= 1 item ← getItemFromQueue() V(emptyCount)//emptyCount += 1
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 package test;import java.time.temporal.ValueRange;import java.util.LinkedList;import java.util.List;import java.util.concurrent.Semaphore;public class Container { Semaphore emptyCount = new Semaphore (10 ); Semaphore fullCount = new Semaphore (0 ); List<Integer> list = new LinkedList <Integer>(); public void put (int val) { try { emptyCount.acquire(); list.add(val); System.out.println("producer--" + Thread.currentThread().getName()+"--put:" + val+"===size:" +list.size()); } catch (InterruptedException e) { e.printStackTrace(); }finally { fullCount.release(); } try { Thread.sleep(1000 ); } catch (InterruptedException e) { e.printStackTrace(); } } public Integer take () { Integer val = 0 ; try { fullCount.acquire(); val = list.remove(0 ); System.out.println("consumer--" + Thread.currentThread().getName()+"--take:" + val+"===size:" +list.size()); } catch (InterruptedException e) { e.printStackTrace(); }finally { emptyCount.release(); } return val; } }
生产者
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 package test;import java.util.Random;public class Producer implements Runnable { private Container container; public Producer (Container container) { this .container = container; } @Override public void run () { while (true ){ container.put(new Random ().nextInt(100 )); } } }
消费者类
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 package test;import test8.Container;public class Consumer implements Runnable { private Container container; public Consumer (Container container) { this .container = container; } @Override public void run () { while (true ){ Integer take = container.take(); } } }
测试
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 package test;public class Test { public static void main (String[] args) { Container container = new Container (); Thread producer = new Thread (new Producer (container)); Thread consumer = new Thread (new Consumer (container)); producer.start(); consumer.start(); } } producer--Thread-0 --put:62 ===size:1 consumer--Thread-1 --take:62 ===size:0 producer--Thread-0 --put:40 ===size:1 consumer--Thread-1 --take:40 ===size:0 producer--Thread-0 --put:86 ===size:1 consumer--Thread-1 --take:86 ===size:0 producer--Thread-0 --put:15 ===size:1 consumer--Thread-1 --take:15 ===size:0 producer--Thread-0 --put:83 ===size:1 consumer--Thread-1 --take:83 ===size:0 producer--Thread-0 --put:13 ===size:1 consumer--Thread-1 --take:13 ===size:0
多生产者单消费者(MPSC) 对于多生产者单消费者来说,多生产者之间具有互斥关系,所以这里需要一个互斥锁来实现缓冲区的互斥访问,那么具体的实现方式就是在单生产者单消费者的基础之上,加一个互斥信号量 useQueue
如果采用信号量来实现的话可以如下:
emptyCount = N
fullCount = 0
useQueue = 1
1 2 3 4 5 6 7 8 9 10 produce: P(emptyCount)//信号量emptyCount减一 P(useQueue)//二值信号量useQueue减一,变为0(其他线程不能进入缓冲区,阻塞状态) putItemIntoQueue(item)//执行put操作 V(useQueue)//二值信号量useQueue加一,变为1(其他线程可以进入缓冲区) V(fullCount)//信号量fullCount加一 consume: P(fullCount)//fullCount -= 1 item ← getItemFromQueue() V(emptyCount)//emptyCount += 1
具体的实现和单生产者单消费者差不多,只不过在生产者类里面多加了一个互斥信号量 useQueue
单生产者多消费者(SPMC) 对于单生产者多消费者同多生产者多消费者
emptyCount = N
fullCount = 0
useQueue = 1
1 2 3 4 5 6 7 8 9 10 produce: P(emptyCount)//信号量emptyCount减一 putItemIntoQueue(item)//执行put操作 V(fullCount)//信号量fullCount加一 consume: P(fullCount)//fullCount -= 1 P(useQueue)//二值信号量useQueue减一,变为0(其他线程不能进入缓冲区,阻塞状态) item ← getItemFromQueue() V(useQueue)//二值信号量useQueue加一,变为1(其他线程可以进入缓冲区) V(emptyCount)//emptyCount += 1
具体的实现和单生产者单消费者差不多,只不过在消费者类里面多加了一个互斥信号量 useQueue
多生产者多消费者(MPMC)- 单缓冲区 (SB) 对于多生产者多消费者问题,是一个同步 + 互斥问题,不仅需要生产者和消费者之间的同步协作,还需要实现对缓冲区资源的互斥访问;这个可以参考前面对生产者消费者 4 种实现方式
采用信号量
emptyCount = N
fullCount = 0
useQueue = 1
1 2 3 4 5 6 7 8 9 10 11 12 produce: P(emptyCount)//信号量emptyCount减一 P(useQueue)//二值信号量useQueue减一,变为0(其他线程不能进入缓冲区,阻塞状态) putItemIntoQueue(item)//执行put操作 V(useQueue)//二值信号量useQueue加一,变为1(其他线程可以进入缓冲区) V(fullCount)//信号量fullCount加一 consume: P(fullCount)//fullCount -= 1 P(useQueue)//二值信号量useQueue减一,变为0(其他线程不能进入缓冲区,阻塞状态) item ← getItemFromQueue() V(useQueue)//二值信号量useQueue加一,变为1(其他线程可以进入缓冲区) V(emptyCount)//emptyCount += 1
多生产者多消费者(MPMC)- 双缓冲区 (MB) 为什么要用双缓冲区 :读写分离减少释放锁和获取锁的开销
用一个缓冲区,生产者和消费者需要先获取到缓冲区的锁才能进行 put 和 take 操作,每一次 put 和 take 都需要获取一次锁,这需要大量的同步与互斥操作,十分损耗性能。
所以如果采用双缓冲区的话,一个缓冲区 bufferA 用于生产者执行 put 操作,一个缓冲区 bufferB 用于消费者执行 take 操作;生产者线程和消费者线程在使用各自的缓冲区之前都需要先获取到缓冲区对应的锁,才能进行操作;
生产者和消费者各自使用自己独立的缓冲区,那么就不存在同一个缓冲区被 put 的同时进行 take 操作
所以一旦生产者和消费者一旦获取到了对应缓冲区的锁,那么每一次执行 put/take 操作时就不用再次重新获取锁了,从而减少了很多获取锁、释放锁的性能开销
如果 bufferA 被 put 满了,那么生产者释放 bufferA 的锁,并等待消费者释放 bufferB 的锁;当 bufferB 被 take 空了,消费者释放 bufferB 的锁,此时生产者获取到 bufferB 的锁,对 bufferB 进行 put; 消费者获取到 bufferA 的锁,对 bufferA 进行 take, 那么就完成了一次缓冲区的切换
双缓冲区的状态
并发读写 bufferA 和 bufferB 都处于工作状态,一个读一个写
单个缓冲区空闲 假设 bufferA 已经满了,那么生产者就会释放 bufferA 的锁,尝试获取 bufferB,而此时 bufferB 还在执行 take 操作,消费者还没释放 bufferB 的锁,那么生产者进入等待状态
缓冲区的切换 当 bufferB 为空,那么此时消费者释放 bufferB 的锁,尝试获取 bufferA 的锁,此时消费者被唤醒,重新尝试获取 bufferB 的锁
双缓冲区的死锁问题 如果操作完当前的缓冲区之后,先获取另外一个缓冲区的锁,再释放当前缓冲区的锁,就会发生死锁问题。如果 bufferA 和 bufferB 的线程同时尝试获取对方的锁,那么就会一直循环等待下去
需要注意的问题 由于双缓冲区是为了避免每次读写的时候不用进行同步与互斥操作,所以对于一些本来就是线程安全的类例如 arrayblockingqueue 就不适合作为双缓冲区,因为他们内部已经实现了每次读写操作的时候进行加锁和释放
应用场景:
共享内存和共享文件
逻辑处理线程和 IO 处理线程分离 。 I/0 处理线程负责网络数据的发送和接收,连接的建立和维护。 逻辑处理线程处理从 IO 线程接收到的包。
多生产者多消费者(MPMC)- 多缓冲区 (MB) 多个缓冲区构成一个缓冲池,同样需要两个同步信号量 emtpyCount 和 fullCount,还有一个互斥信号量 useQueue, 同时还需要两个变量指示哪些是空缓冲区哪些是有数据的缓冲区,多缓冲区和双缓冲区一样,同样是以空间换时间,减少单个读写操作的同步与互斥操作,对于同一个缓冲区而言,不可能同时会 put 和 take
多生产者多消费者 (MPMC)- 环形缓冲区(Ring buffer) 为什么要引入环形缓冲区
讨论为什么要引入环形缓冲区,其实也就是在讨论队列缓冲区有什么弊端,而环形缓冲区是如何解决这种弊端的
那么我们先认识一下什么是环形缓冲区
循环缓冲区的有用特性是,当使用一个循环缓冲区时,它不需要将其元素打乱。
FIFO
所有的 push/pop 操作都是在一个固定的存储空间内进行,少掉了对于缓冲区元素所用存储空间的分配、释放
队列缓冲区
如果使用非循环缓冲区,那么在使用一个缓冲区时,需要移动所有元素
LIFO
在执行 push 和 pop 操作时,涉及到内存的分配与释放开销大