通訊協議例子-文庫吧資料
2024-07-30 14:08本頁面
【正文】 s2)。(pc):=(s1)。 TRANS pc=s0amp。 INIT x=0。 進程模塊說明 (測試進程 prb) MODULE mprb() VAR x: {ack,red,green,blue}。QS: chput(aa,blue,0)amp。(pc):=(s3)。 pc=s2amp。QS: chput(aa,green,0)amp。(pc):=(s2)。 pc=s1amp。QS: chput(aa,red,0)amp。(pc):=(s1)。 TRANS pc=s0amp。 進程模塊說明 (測試進程 pra) MODULE mpra() VAR pc: {s0,s1,s2,s3}。(p,pc):=((p+1)%M,s3)。(pc):=(s2)。 TRANS pc=s0: (tmp,pc):=([p],s1)。 INIT pc=s0。 過程說明 4b PROCEDURE mprrcase2(p) VAR pc: {s0,s1,s2,s3}。 pc=s2: ([(m+MW)%M],pc):=(0,s2)amp。 pc=s1amp。pm=W)|(p+Mmamp。[m]=1amp。RETURN。pm=W)|(p+Mmamp。[m]=1amp。(pc):=(s1)。 tmp=0。 tmp: {ack,red,green,blue}。(m):=(m)。QSamp。(m):=(m)。 m=0。 (for xx in [0..ML]): ibuf[xx]=0。 m: 0..ML。 ibuf[0..ML]: {ack,red,green,blue}。RETURN。 TRANS pc=s0: (tmp,pc):=([q],s1)。 tmp: {ack,red,green,blue}。RETURN。 pc=s2: chput(rr,tmp,s)amp。(pc):=(s1)。 tmp=0。 tmp: {ack,red,green,blue}。(wd):=(wd)。wd0amp。busy[q]=0: (wd,q):=(wd1,(q+1)%M)。(busy[y]):=(0)。(wd):=(wd)。0amp。 wd=0。 s=0。 (for xx in [0..ML]): obuf[xx]=0。 wd: 0..W。 s: 0..ML。 obuf[0..ML]: {ack,red,green,blue}。RETURN。 nn=3amp。 nn=3amp。pc=s1: ([pos],):=(c,+1)amp。pc=s0: (pos,pc):=((+)%QS,s1)。RETURN。 nn=1amp。
研究報告相關推薦
鄂ICP備17016276號-1