线程POSIX信号量/基于环形队列的⽣产消费模型
一，POSIX线程信号量
信号量的本质就是一个计数器，也是对资源的预定机制，POSIX信号量和SystemV信号量作⽤相同，都是⽤于同步操作，达到⽆冲突的访问共享资源⽬的。但 POSIX可以⽤于线程间同步。
1，初始化信号量
参数：
sem：传入sem_t类型数据
pshared:0表⽰线程间共享，⾮零表⽰进程间共享
value：信号量初始值
2，销毁信号量
3，等待信号量
4，发布信号量
二，基于环形队列的⽣产消费模型
基础理论：
上一次⽣产者-消费者的例⼦是基于queue的,其空间可以动态分配,现在基于固定⼤⼩的环形队列重写这 个程序（POSIX信号量）:
其中head代表消费者，tail代表生产者，每个格子用信号量表示，在默认的情况下，全空或者全满的时候指向同一个位置。
任何人在访问资源之前都必须申请信号量：
对生产者来讲：剩余空间
对消费者来讲：剩余数据
我们先拿单生产单消费来描述条件：
1，消费者，生产者同时访问同一个位置：
1.1，为空
保证生产者，原子性先生产
1.2 为满
保证消费者，原子性先消费
2，非情况一情况
生产者和消费者一定不在同一个位置
消费者和生产者可不可以同时进行并发访问？
总结：
1，无法套一个圈
2，消费者无法超过生产者
3，同一个位置，互斥同步
4，在不同位置，并发
代码实现：
