通訊協(xié)議例子(編輯修改稿)
2025-08-13 14:08 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 pc: {s0,s1,s2,s3}。 tmp: {ack,red,green,blue}。 INIT pc=s0。 tmp=0。 TRANS pc=s0: chget(aa,tmp,s)amp。(pc):=(s1)。 pc=s1: (wd,[s],[s],pc):=(wd+1,1,tmp,s2)。 pc=s2: chput(rr,tmp,s)amp。(s):=((s+1)%M)amp。RETURN。 過(guò)程說(shuō)明 3b PROCEDURE mpsscase2(q) VAR pc: {s0,s1}。 tmp: {ack,red,green,blue}。 INIT pc=s0。 TRANS pc=s0: (tmp,pc):=([q],s1)。 pc=s1: chput(rr,tmp,q)amp。RETURN。 進(jìn)程模塊說(shuō)明 4(prr) MODULE mprr() VAR recv[0..ML]: 0..1。 ibuf[0..ML]: {ack,red,green,blue}。 p: 0..ML。 m: 0..ML。 //p=last acked, m=last received INIT (for xx in [0..ML]): recv[xx]=0。 (for xx in [0..ML]): ibuf[xx]=0。 p=0。 m=0。 TRANS 0: mprrcase1(m,p)amp。(m):=(m)。 recv[p]=1amp。QSamp。QS: mprrcase2(p)amp。(m):=(m)。 過(guò)程說(shuō)明 4a PROCEDURE mprrcase1(m,p) VAR pc: {s0,s1,s2}。 tmp: {ack,red,green,blue}。 INIT pc=s0。 tmp=0。 TRANS pc=s0: chget(rr,tmp,m)amp。(pc):=(s1)。 pc=s1amp。[m]=1amp。((pmamp。pm=W)|(p+Mmamp。p+Mm=W)): chput(ss,ack,m)amp。RETURN。 pc=s1amp。[m]=1amp。!((pmamp。pm=W)|(p+Mmamp。p+Mm=W)): RETURN。 pc=s1amp。[m]=0: ([m],[m],pc):=(tmp,1,s2)。 pc=s2: ([(m+MW)%M],pc):=(0,s2)amp。RETURN。 過(guò)程說(shuō)明 4b
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1