通訊協(xié)議例子-在線瀏覽
2024-08-27 14:08本頁(yè)面
【正文】 nts[xx]=0。 start=0。 過程說(shuō)明 1 PROCEDURE chget(nn,c,s) VAR INIT TRANS nn=rr: (c,s,):=( [],[], (+1)%QS,)amp。 nn=ss: (c,s,):=( [],[], (+1)%QS,)amp。 nn=aa: (c,):=( [],(+1)%QS,)amp。 nn=bb: (c,):=( [],(+1)%QS,)amp。 過程說(shuō)明 2 PROCEDURE chput(nn,c,s) VAR pc: {s0,s1}。 INIT pc=s0。 TRANS nn=0amp。 nn=0amp。RETURN。pc=s0: (pos,pc):=((+)%QS,s1)。pc=s1: ([pos],[pos],):=( c,s,+1)amp。 nn=2amp。 nn=2amp。RETURN。pc=s0: (pos,pc):=((+)%QS,s1)。pc=s1: ([pos],):=(c,+1)amp。 進(jìn)程模塊說(shuō)明 3(pss) MODULE mpss() VAR busy[0..ML]: 0..1。 q: 0..ML。 //q=oldest unacked,s=next to send y: 0..ML。 INIT (for xx in [0..ML]): busy[xx]=0。 q=0。 y=0。 TRANS wdWamp。QS: mpsscase1(wd,s)amp。 0: chget(ss,ack,y)amp。 wd0amp。 QSamp。busy[q]=1: mpsscase2(q)amp。 過程說(shuō)明 3a PROCEDURE mpsscase1(wd,s) VAR pc: {s0,s1,s2,s3}。 INIT pc=s0。 TRANS pc=s0: chget(aa,tmp,s)amp。 pc=s1: (wd,[s],[s],pc):=(wd+1,1,tmp,s2)。(s):=((s+1)%M)amp。 過程說(shuō)明 3b PROCEDURE mpsscase2(q) VAR pc: {s0,s1}。 INIT pc=s0。 pc=s1: chput(rr,tmp,q)amp。 進(jìn)程模塊說(shuō)明 4(prr) MODULE mprr() VAR recv[0..ML]
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1