南海凝心3-22 In protocol 6, when a data frame arrives, a check is made to see if the sequence number differs from the one expected and no_nak is true. If both conditions hold, a NAK is sent. Otherwise, the auxiliary timer is started. Suppose that the else clause were omitted. Would this change affect the protocol's correctness?
在协议6中，当一个数据帧到达的时候，需要执行一个检查，看它的序列号是否与期望的序列号不同，而且no_nak为真。如果这两个条件都成立，则发送一个NAK，否则的话，启动辅助定时器。假定else字句被省略掉，这种改变会影响协议的正确性吗？
答：可能导致死锁。假定有一组帧正确到达，并被接收。然后，接收方会向前移动窗口。
现在假定所有的确认帧都丢失了，发送方最终会产生超时事件，并且再次发送第一帧，接收方将发送一个NAK。然后NONAK 被置成伪。假定NAK 也丢失了。那么从这个时候开始，发送方会不断发送已经被接收方接受了的帧。接收方只是忽略这些帧，但由于NONAK 为伪，所以不会再发送NAK，从而产生死锁。如果设置辅助计数器（实现“else”子句），超时后重发NAK，终究会使双方重新获得同步。
3-23 Suppose that the three-statement while loop near the end of protocol 6 were removed from the code. Would this affect the correctness of the protocol or just the performance? Explain your answer. 假设在协议6中接近尾部的内含三条语句的while循环被去掉的话，这样会影响协议的正确性吗？还是仅仅影响协议的性能？请解释答案。
答：删除这一段程序会影响协议的正确性，导致死锁。因为这一段程序负责处理接收到的确认帧，没有这一段程序，发送方会一直保持超时条件，从而使得协议的运行不能向前进展。
