多线程4笔记

进程创建进程，主线程创建新线程，谁线运行都是调度器说了算。
.hpp文件 ->可以把类的声明和实现写在一个文件里面，而且可以被Include
.cc = .cxx = .cpp 都是c++文件后缀

生产者消费者模型
如果生产者和消费者双方速度差距较大，那么快的一方需要等待慢的一方，需要一个条件变量，如果双方差距不大，就需要创建两个条件变量互相通知。

为什么pthread_cond_wait(&p_cond,&lock)为什么这里条件的等待要传入一个lock？
在调用该函数的时候，自动会释放该lock
当该函数被返回时，返回到了临界区内，所以该函数会让该线程重新持有该锁

模拟实现生产消费者模型-阻塞队列

main测试代码

阻塞队列代码

小细节

这里把If改成while，是为了如果productorWait函数如果异常，挂起失败，那么可以即使检测队列是否为空或者为满，如果满足条件，再次进入循环，再次调，再次唤醒该唤醒的人，挂起该挂起的人。

---

改进，封装task任务

POSIX信号量（信号灯）本身是一个计数器
描述临界资源有效个数
count = 5;
count-- == p();原子的
count++ == v();原子的

struct sem
{
int count;
mutex lock;
wait_queue *head;
}
p()
{
lock();
if(count > 0)count–;
else
wait;
unlock();
}
v()
{
lock();
count++;
unlock();
}

临界资源可以看成多份，不冲突，提高效率

sem_t sem;

基于环形队列的生产者消费者模型。此时生产者关系格子资源，消费者关心数据资源；生产者走完一圈后，如果没发现格子资源没了，继续走会覆盖还没使用的数据；消费者走完一圈如果没有发现数据资源没了，会重复使用已经读取的数据资源。
快的人不能把慢的人套一个圈
慢的人不能超过快的人
大部分情况下，两者不会访问同一个位置
只有队列为空或者满的时候，两者才会指向同一个位置
为空的时候，生产者满足条件先走，为空的是，消费者满足消费先走
所以此种情况也满足了互斥条件。
不指向同一位置又可以同时进行。

consumer—数据：sem_data
P(sem_data)
消费
v(sem_blank) 消费完数据后，空格子多了一个

生产者—格子: sem_blank
P(sem_blank)
生产
V(sem_data) 生产完之后，空格子少了一个