rdt 3.0 reciever
2015-05-17 14:15:34 5 举报rdt 3.0 reciever
作者其他创作
大纲/内容
等待来自B的0
rdt_rcv(rcvpkt)&&from_B(rcvpkt)&&(corrupt(rcvpkt)||has_seq1(rcvpkt))
rdt_rcv(rcvpkt)&&from_A(rcvpkt)&&(corrupt(rcvpkt)||has_seq1(rcvpkt))
rdt_rcv(data)&¬corrupt(rcvpkt)&&has_seq1(rcvpkt)&&from_A(rcvpkt)
rdt_rcv(data)&¬corrupt(rcvpkt)&&has_seq0(rcvpkt)&&from_B(rcvpkt)
rdt_rcv(rcvpkt)&&from_A(rcvpkt)
rdt_rcv(rcvpkt)&&from_A(rcvpkt)&&(corrupt(rcvpkt)||has_seq0(rcvpkt))
rdt_rcv(rcvpkt)&&from_B(rcvpkt)&&(corrupt(rcvpkt)||has_seq0(rcvpkt))
等待来自B的1
^
rdt_rcv(rcvpkt)&&from_B(rcvpkt)
rdt_rcv(data)&¬corrupt(rcvpkt)&&has_seq1(rcvpkt)&&from_B(rcvpkt)
rdt_rcv(data)&¬corrupt(rcvpkt)&&has_seq0(rcvpkt)&&from_A(rcvpkt)
等待来自A的0
等待来自A的1
收藏
0 条评论
下一页
