答： 这两个进程的相互制约关系为同步关系；

答： 设两个信号量S1和S2。其中S1表示Q是否为空，初值为1，表示Q是空的；S2表示Q中是否有信息，初值为0，表示Q中无信息。

两进程的代码段如下：

       input进程                                 output进程

        ……                                     ……

       While 信息未处理完毕                     While 信息未处理完毕

      {  加工一个信息；                         { P（S2）；

       P（S1）；        从Q中读出一个信息；

 将信息放入Q中；                         V（S1）；}

       V（S2）；}                                 ……