Question:
Consider the rt2.2 receiver in Figure 3.14, and the creation of a new packet in the se1f-ansition (i.e., the transition from the state back to itself) in the Waifor-0-from-below arid the Wait-for-I-from-below states: sndpkt = make_pkt (ACK, 1, checksurn) and sndpkt = make_ pkt (ACK, 0, checkum). Would the protocol work correctly if this action were removed from the self-transition in the Wait-for- 1-from-below state? Justify your answer. What if this event were removed from the self-transition in the Wait-for-0-from-below state?
Figure 3.14
Transcribed Image Text:
rdt_rcv (rcvpkt) && notcorrupt(rcvpkt) & & has_seq0 (rcvpkt) extract (rcvpkt, data) deliver_data (data) rdt_rcv rcvpkt) && (corrupt (rcvpkt) || has seq0 (revpkt)) sndpkt=make_pkt(ACK, 0, checksum) udt_send (sndpkt) sndpkt=make_pkt (ACK, 0, checksum) udt_send (sndpkt) Wait for 1 from below Wait for rdt_rcv (rcvpkt) && (corrupt (rcvpkt) || has seqi (rcvpkt)) 0 from below sndpkt=make_pkt (ACK, 1, checksum) udt_send (sndpkt) rdt_rcv (rcvpkt) && notcorrupt(rcvpkt) & & has_seql (rcvpkt) extract (rcvpkt,data) deliver data (data) sndpkt=make_pkt (ACK, 1, checksum) udt_send (sndpkt)