作者rusynth (stw)
看板Network
标题[问答] 关於 Computer Networking 书上的 rdt 2.2 receiver
时间Fri Aug 24 12:52:22 2012
James F. Kurose 的 Computer Networking: A Top-down Approach 5th edition
第三章 Transport Layer 的 3.4 节 -- Principles of Reliable Data Transfer
其中的 rdt 2.2 receiver 的 Finite State Machine
Λ
----------
oncethru=0 ↘
┌─────────┐
│ │
rdt_rcv(rcvpkt) && (corrupt(rcvpkt) || ┌--→ │ │
has_seq1(rcvpkt)) │ │ Wait for call 0 │→
-------------------------------------- │ │ from below │
if (oncethru == 1) └---- │ │
udt_send(sndpkt) │ │
└─────────┘
我不懂的地方是，为什麽要增加 oncethru 这个变数呢？
为什麽左边那个递回的部分，不乾脆改成底下这样：
rdt_rcv(rcvpkt) && (corrupt(rcvpkt) || has_seq1(rcvpkt))
--------------------------------------------------------
sndpkt=make_pkt(ACK,1,checksum)
udt(send(sndpkt)
就好了呢？这样就不需要增加 oncethru 这个变数了不是吗？
而且使用 oncethru，且一开始 oncethru=0
万一 receiver 第一个接收到的 packet 就是 corrupt 的 packet
由於一开始 oncethru=0，结果底下的 udt_send(sndpkt) 并不执行
这样岂不是 sender 根本就不知道第一个 packet 就已经 corrupt 了
然後 sender 就一直卡在 wait for ACK 0 这边动弹不得？
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.254.0.106
1F：→ a40136:为什麽我翻了好几本都是 08/25 01:22
2F：→ a40136:rdt_rcv(rcvpkt) && (corrupt(rcvpkt) ||has_seq1(rcvpkt)) 08/25 01:22
3F：→ a40136:------------------------------------------------------- 08/25 01:22
4F：→ a40136:udt(send(sndpkt) 没你说的那行 08/25 01:23
5F：→ rusynth:不可能直接udt_send(sndpkt)，因为这个时候sndpkt是空的 08/25 02:18
6F：→ rusynth:必须先执行sndpkt=make_pkt(ACK,1,checksum) 08/25 02:19
7F：→ rusynth:可是第五版书上却是用oncethru来检查，可是这样的话，第一 08/25 02:20
8F：→ rusynth:个packet出错的话，receiver根本不会回传任何讯息... 08/25 02:20
9F：→ rusynth:我手上只有第五版的书，难道说前几版不是这样写的？ 08/25 02:21
11F：→ rusynth:改成这样或许还比较合理： 08/25 02:26
12F：→ rusynth:if (oncethru==0) 08/25 02:27
13F：→ rusynth: sndpkt=make_pkt(ACK,1,checksum) 08/25 02:27
14F：→ rusynth: udt_send(sndpkt) 08/25 02:27
15F：→ rusynth:if (oncethru==1) 08/25 02:28
16F：→ rusynth: udt_send(sndpkt) 08/25 02:28
18F：→ rusynth:谢谢 ^^ 看来是书籍版本不同的问题。我刚刚也找了一个 08/25 02:41
20F：→ rusynth:不管新旧版本，只要第一个packet出错，整个系统就不会运作 08/25 02:43