记录型信号量实现进程同步、互斥.单类生产者消费者.以进程同步为主互斥为辅的问题

1.问题描述

Q1：为何设置两个用于同步的信号量

Q2：为何互斥进行的是生产者的MoveStuffToBuffer()；消费者的RemoveStuffFromBuffer(); 

Q3：为何P(stuff）为生产者进程的第一个代码

2.问题分析

3.反思与总结

        为什么开始需要P操作，为什么需要两个信号量......这些问题很多都是由于我们使用记录型信号量机制这种管理策略去对并发的进程进行管理，以达到将这些并发进程有序（同步）、独立（互斥）地访问一些资源的目的，为了实现这些目的，我们想到了某些情况下可以让进程sleep()，某些情况下可以让进程wake（唤醒进程），而我们怎么知道什么时候进程需要进行sleep，什么时候进程需要被wake()？

        对于计算机而言我们可以赋予数字一些实际含义（例如将实际资源数目映射到相应数字），通过这些映射的数字来代表一种信号，使用信号反馈于多个进程，这种信号所反馈的信息可以用来检测判断是否需要将进程sleep（进入阻塞态）或者wake（转为就绪态）进而对进程进行控制，这种信号可以看做是控制信号，可以将信号与一个恒定量进行比较来决策是否需要对进程进行sleep或wake信号中的sleep的进程。但是这种管理策略是具有约束的，这些约束就是：我们只能通过判断控制信号是否小于0来确定进程是否应该被阻塞入控制信号所代表的相应资源的阻塞队列；只能那个通过判断控制信号是否大于等于0来确定是否将由于控制信号所代表的相应资源存在了而将陷入相应资源等待队列中的进程唤醒。进一步说，控制信号就是semaphore s 的 s.value; 控制信号(数值)就是实际资源映射的相应数字，对于P内操作执行s.value-1后，如果s.value<0 ，s所代表的资源的阻塞队列（等待使用资源的进程）会增加一个执行此P操作的进程，这也就解释了为什么当s.value为负值时其绝对值代表等待进程数量. 这也解释了记录型信号量为什么不⇔控制信号，记录型信号量不仅包含所记录的控制信号，还包含记录型信号量代表的相应的资源中等待使用相应资源的阻塞队列，这个队列存放着想要使用该资源的进程，记录型信号量机制是通过控制信号反馈于操作sleep当前进程和wake信号量的阻塞队列来控制进程的。

对上文的小结：

        semaphore s；//s ⇔ 系统资源

        s.value;// ⇔ 控制信号

        s.queue//⇔ 等待使用相应资源的阻塞队列

        P操作与 （信号量-1）和（阻塞进程）绑定在一起，V操作与（信号量+1）和（进程唤醒）绑 定在一起。即:P(S) V(S) 通过调节控制信号反馈作用于是否wake(s.queue)和sleep(this_process)。

        这种通过控制信号代表的资源数目来反馈控制进程的机制就是通过对s.value++ 和 s.value--来完成，信号量的s.value++和if(s.value <0) EnqueueThisProcess(s.queue); sleep(this_porcess);

绑定在一起，信号量的s.value--和if(s.value <=0) DequeueProcess(s.queue); wake(this_porcess);

绑定在一起，PV操作具有原子性，故我们不可以任意的进行P V，其代表的信号操作、信号反馈判断条件和反馈操作含义已经绑定。

        同样的，我们只能对信号量的操作也具有约束，只能进行三种操作，其分别是作分别是：

        (1)   对信号量进行初始化（并且不能为负值）

        (2）对信号量进行P(s)操作，会完成s.value--; if(s.valuie < 0){ EnqueueThisProcess(s);         sleep(ThisProcess); }

        (3)   对信号量进行V(s)操作，会完成s.value++; if(s.valuie <= 0){ DequeueTheProcess(s);         wake(TheProcess); } 

        由此约束才有了对于信号量控制进程的分析基本的法则，就像数学中的下定义，其实DJ大佬提出的信号量机制控制进程也是具有其定义的，也就是控制进程来同步互斥的控制的规则。并且具有较强的约束性，我想这也是为什么可以对多进程同步和互斥行管理使其有序的一个原因吧。

笔者思考深度有限，若有问题欢迎讨论！恳请愿各路大神指点！