【正文】 確認(rèn)，發(fā)送方的利用率可在停等操作模式的基礎(chǔ)上得到增加。否定確認(rèn)報(bào)文通常攜帶著未被正確接收的分組的序號(hào)。確認(rèn)可以是逐個(gè)的或累積的，這取決于協(xié)議。 確認(rèn) 接收方用于告訴發(fā)送方一個(gè)分組或一組分組已被正確地接收到了。所接收分組的序號(hào)間的空隙可使該接收方檢測(cè)出丟失的分組。由于當(dāng)一個(gè)分組被時(shí)延但未丟失（過早超時(shí)），或當(dāng)一個(gè)分組已被接收方收到但從接收方到發(fā)送方的 ACK丟失時(shí)，可能產(chǎn)生超時(shí)事件，所以接收方可能會(huì)收到一個(gè)分組的多個(gè)冗余拷貝。 雖然如此，還可能有差錯(cuò)嗎？ 詳情見后 …… 目的 : 在傳輸?shù)亩沃袡z測(cè)“差錯(cuò)” (如比特翻轉(zhuǎn) ) 19 運(yùn)輸層 互聯(lián)網(wǎng)檢查和例子 ? 注 意 ?當(dāng) 數(shù)字作加法時(shí)，最高位進(jìn)比特位的進(jìn)位需要加到結(jié)果中 ? 例子 : 兩個(gè) 16bit整數(shù) 相加 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 回卷 和 檢查和 20 運(yùn)輸層 第 3章 要點(diǎn) ? 運(yùn)輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報(bào)文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機(jī)制 ? TCP吞吐量 ? TCP公平性 ? 時(shí)延模型 21 運(yùn)輸層 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? 在應(yīng)用層、運(yùn)輸層、數(shù)據(jù)鏈路層的重要性 ? 重要的網(wǎng)絡(luò)主題中的最重要的 10個(gè)之一 ! ? 不可靠信道的特點(diǎn)決定了可靠數(shù)據(jù)傳輸 協(xié)議 (rdt) 的復(fù)雜性 22 運(yùn)輸層 可靠數(shù)據(jù)傳輸 : 基本概念 發(fā)送側(cè) 接收側(cè) rdt_send(): called from above, (., by app.). Passed data to deliver to receiver upper layer udt_send(): called by rdt, to transfer packet over unreliable channel to receiver rdt_rcv(): called when packet arrives on rcvside of channel deliver_data(): called by rdt to deliver data to upper 23 運(yùn)輸層 可靠數(shù)據(jù)傳輸 : 基本概念 我們將 : ? 增強(qiáng)研發(fā)發(fā)送方，可靠數(shù)據(jù)傳輸協(xié)議 (rdt) 的接收方側(cè) ? 僅考慮單向數(shù)據(jù)傳輸 ? 但控制信息將在兩個(gè)方向流動(dòng)！ ? 使用有限狀態(tài)機(jī) (FSM)來定義發(fā)送方和接收方 狀態(tài) 1 狀態(tài) 2 引起狀態(tài)變遷的事件 狀態(tài)變遷所采取的行動(dòng) 狀態(tài) : 當(dāng)位于這個(gè)“狀態(tài)時(shí) ”，下個(gè)狀態(tài)惟一地由下個(gè)事件決定 事件 動(dòng)作 24 運(yùn)輸層 第 3章 要點(diǎn) ? 運(yùn)輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報(bào)文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機(jī)制 ? TCP吞吐量 ? TCP公平性 ? 時(shí)延模型 25 運(yùn)輸層 : 經(jīng)可靠信道的可靠傳輸 ? 底層信道非常可靠 ? 無比特差錯(cuò) ? 無分組丟失 ? 裝發(fā)送方、接收方的單獨(dú) FSM: ? 發(fā)送方將數(shù)據(jù)發(fā)向底層信道 ? 接收方從底層信道讀取數(shù)據(jù) Wait for call from above packet = make_pkt(data) udt_send(packet) rdt_send(data) extract (packet,data) deliver_data(data) Wait for call from below rdt_rcv(packet) 發(fā)送方 接收方 26 運(yùn)輸層 第 3章 要點(diǎn) ? 運(yùn)輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報(bào)文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機(jī)制 ? TCP吞吐量 ? TCP公平性 ? 時(shí)延模型 27 運(yùn)輸層 : 具有比特差錯(cuò)的信道 ? underlying channel may flip bits in packet ? checksum to detect bit errors ? the question: how to recover from errors: ? acknowledgements (ACKs): receiver explicitly tells sender that pkt received OK ? negative acknowledgements (NAKs): receiver explicitly tells sender that pkt had errors ? sender retransmits pkt on receipt of NAK ? new mechanisms in (beyond ): ? error detection ? receiver feedback: control msgs (ACK,NAK) rcvrsender 28 運(yùn)輸層 : FSM規(guī)格參數(shù) 等待來自上面的調(diào)用 snkpkt = make_pkt(data, checksum) udt_send(sndpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ACK) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) rdt_rcv(rcvpkt) isACK(rcvpkt) udt_send(sndpkt) rdt_rcv(rcvpkt) isNAK(rcvpkt) udt_send(NAK) rdt_rcv(rcvpkt) corrupt(rcvpkt) 等待 ACK 或 NAK 等待來自下面的調(diào)用 發(fā)送方 接收方 rdt_send(data) L 29 運(yùn)輸層 : 無差錯(cuò)時(shí)的操作 等待來自上面的調(diào)用 snkpkt = make_pkt(data, checksum) udt_send(sndpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ACK) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) rdt_rcv(rcvpkt) isACK(rcvpkt) udt_send(sndpkt) rdt_rcv(rcvpkt) isNAK(rcvpkt) udt_send(NAK) rdt_rcv(rcvpkt) corrupt(rcvpkt) 等待 ACK 或NAK 等待來自下面的調(diào)用 rdt_send(data) L 30 運(yùn)輸層 : 有差錯(cuò)時(shí)的情況 等待來自上面的調(diào)用 snkpkt = make_pkt(data, checksum) udt_send(sndpkt) extract(rcvpkt,data) deliver_data(data) udt_send(ACK) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) rdt_rcv(rcvpkt) isACK(rcvpkt) udt_send(sndpkt) rdt_rcv(rcvpkt) isNAK(rcvpkt) udt_send(NAK) rdt_rcv(rcvpkt) corrupt(rcvpkt) 等待 ACK 或 NAK 等待來自下面的調(diào)用 rdt_send(data) L 31 運(yùn)輸層 ! 如果 ACK/NAK受損，將會(huì)出現(xiàn)何種情況？ ? 發(fā)送方不知道在接收方會(huì)發(fā)生什么情況！ ? 不能只是重傳：可能導(dǎo)致冗余 處理冗余 : ? 發(fā)送方對(duì)每個(gè)分組增加 序列號(hào) ? 如果 ACK/NAK受損，發(fā)送方重傳當(dāng)前的分組 ? 接收方丟棄 (不再向上交付 )冗余分組 發(fā)送方發(fā)送一個(gè)分組，然后等待接收方響應(yīng) 停止等待 32 運(yùn)輸層 : 發(fā)送方 , 處理受損的 ACK/NAK 等待來自上面的調(diào)用 0 sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_send(data) 等待 ACK 或 NAK 0 udt_send(sndpkt) rdt_rcv(rcvpkt) ( corrupt(rcvpkt) || isNAK(rcvpkt) ) sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) rdt_send(data) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) isACK(rcvpkt) udt_send(sndpkt) rdt_rcv(rcvpkt) ( corrupt(rcvpkt) || isNAK(rcvpkt) ) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) isACK(rcvpkt) 等待來自上面的調(diào)用 1 等待 ACK 或 NAK 1 L L 33 運(yùn)輸層 : 接收方 ,處理受損的 ACK/NAK 等待來自下面的調(diào)用 0 sndpkt = make_pkt(NAK, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) not corrupt(rcvpkt) has_seq0(rcvpkt) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) has_seq1(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ACK, chksum) udt_send(sndpkt) 等待來自上面的調(diào)用 1 rdt_rcv(rcvpkt) notcorrupt(rcvpkt) has_seq0(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ACK, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) (corrupt(rcvpkt) sndpkt = make_pkt(ACK, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) not corrupt(rcvpkt) has_seq1(rcvpkt) rdt_rcv(rcvpkt) (corrupt(rcvpkt) sndpkt = make_pkt(ACK, chksum) udt_send(sndpkt) sndpkt = make_pkt(NAK, chksum) udt_send(sndpkt) 34 運(yùn)輸層 : 討論 發(fā)送方 : ? 序號(hào) seq 加入分組中 ? 兩個(gè)序號(hào) seq. ’s (0,1) 將夠用 . ( 為什么 ?) ? 必須檢查是否收到的ACK/NAK受損 ? 狀態(tài)增加一倍 ? 狀態(tài)必須“記住”是否“當(dāng)前的”分組具有 0或 1序號(hào) 接收方 : ? 必須檢查是否接收到的分組是冗余的 ? 狀態(tài)指示是否 0或 1是所期待的分組序號(hào) seq ? 注意 : 接收方不能知道是否它的最后的 ACK/NAK在發(fā)送方已經(jīng)接收 OK 35