标签：a1 begin full end 前趋 信号量 a2 a6 描述

进程间同步关系也可用前趋图表示。C和P两进程先计算好再打印同步关系前趋图如下：

 

 

 

 

对应这个前趋关系可设置同步信号量full，它为后继进程P拥有，初值为0.它的并发执行程序如下：

vat  full  :  semaphore:  =0;

begin

  parbegin

　　C:begin Compute  :  V(full)  :  end

　　P:begin  P(full)  :  Print  :        end

  parend

End

 例题：

 

 

var  a1,a2,a3,a4,a5,a6,a7:semaphore: =0;

begin

  parbegin

　　s1:begin  s1;  V(a1)  ;  V(a2)  ;  end

　　s2:begin  P(a1)  ;  s2  ;  V(a4)  ;  V(a5)  ;  end

　　s3:begin  P(a1)  ;  s3  ;  V(a6)  ;  end

　　s4:begin  P(a2)  ;  s4  ;  V(a6)  ;  end

　　s5:begin  P(a2)  ;  s5  ;  V(a6)  ;  end

　　s6:begin  P(a3)  ;  P(a4)  ;  P(a5)  ;   s6  ;  end

标签：a1,begin,full,end,前趋,信号量,a2,a6,描述
来源： https://www.cnblogs.com/fate-/p/12463945.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。