1. 引入
基于阻塞队列的生产消费模型,把中间的交易场所、也就是特定数据结构的内存空间,看作了一个整体。

阻塞队列是被当作一个整体使用的,使用一个锁,来保证数据安全。
但是把共享资源看作多份的话,可以让多个生产者、消费者去访问。
比如,一个数组被分成三份,就可以允许三个线程不加锁地分别访问被分离的三份资源。
但是如果线程大于3个呢?此时要保证,同一时间,访问资源的,依旧只有3个线程
这里就可以引入信号量。
2. 信号量
如何理解信号量:信号量(也称为信号灯,这个翻译不好),它的本质是一把计数器 ,类似于 int cnt=n; 用于描述临界资源中资源数量的多少!
打个比方:一个电影放映厅,有100个座位,就要发售100张票。
当我们看电影的时候,我们还没去看电影前,要先买票。买票的本质:就是对资源的预订机制 !
票数的计数器,每卖一张票,计数器就要减1,放映厅里面的资源就少---个!
当票数的计数器到0之后,资源就已经被申请完毕了。
把临界资源分成多块,让多个进程来并发访问 不同块的资源,以此提高效率。

申请到信号量,就说明将来,一定会有临界资源的一份给你这个线程。
线程竞争一个内部有很多份资源的临界资源时,首先去竞争信号量,
所以信号量本身,也是原子的。所以归还信号量,信号量++;申请信号量,信号量-。
这两个操作也要保证是原子的。很简单,加锁就可以实现
3. 基于环形队列的生产消费模型
环形队列采用数组模拟,用模运算来模拟环状特性