【正文】 確認，發(fā)送方的利用率可在停等操作模式的基礎(chǔ)上得到增加。否定確認報文通常攜帶著未被正確接收的分組的序號。確認可以是逐個的或累積的，這取決于協(xié)議。 確認 接收方用于告訴發(fā)送方一個分組或一組分組已被正確地接收到了。所接收分組的序號間的空隙可使該接收方檢測出丟失的分組。由于當(dāng)一個分組被時延但未丟失（過早超時），或當(dāng)一個分組已被接收方收到但從接收方到發(fā)送方的 ACK丟失時，可能產(chǎn)生超時事件，所以接收方可能會收到一個分組的多個冗余拷貝。 雖然如此，還可能有差錯嗎？ 詳情見后 …… 目的 : 在傳輸?shù)亩沃袡z測“差錯” (如比特翻轉(zhuǎn) ) 19 運輸層 互聯(lián)網(wǎng)檢查和例子 ? 注 意 ?當(dāng) 數(shù)字作加法時，最高位進比特位的進位需要加到結(jié)果中 ? 例子 : 兩個 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 運輸層 第 3章 要點 ? 運輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機制 ? TCP吞吐量 ? TCP公平性 ? 時延模型 21 運輸層 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? 在應(yīng)用層、運輸層、數(shù)據(jù)鏈路層的重要性 ? 重要的網(wǎng)絡(luò)主題中的最重要的 10個之一 ! ? 不可靠信道的特點決定了可靠數(shù)據(jù)傳輸 協(xié)議 (rdt) 的復(fù)雜性 22 運輸層 可靠數(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 運輸層 可靠數(shù)據(jù)傳輸 : 基本概念 我們將 : ? 增強研發(fā)發(fā)送方，可靠數(shù)據(jù)傳輸協(xié)議 (rdt) 的接收方側(cè) ? 僅考慮單向數(shù)據(jù)傳輸 ? 但控制信息將在兩個方向流動！ ? 使用有限狀態(tài)機 (FSM)來定義發(fā)送方和接收方 狀態(tài) 1 狀態(tài) 2 引起狀態(tài)變遷的事件 狀態(tài)變遷所采取的行動 狀態(tài) : 當(dāng)位于這個“狀態(tài)時 ”，下個狀態(tài)惟一地由下個事件決定 事件 動作 24 運輸層 第 3章 要點 ? 運輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機制 ? TCP吞吐量 ? TCP公平性 ? 時延模型 25 運輸層 : 經(jīng)可靠信道的可靠傳輸 ? 底層信道非常可靠 ? 無比特差錯 ? 無分組丟失 ? 裝發(fā)送方、接收方的單獨 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 運輸層 第 3章 要點 ? 運輸層服務(wù) ? 復(fù)用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機制 ? TCP吞吐量 ? TCP公平性 ? 時延模型 27 運輸層 : 具有比特差錯的信道 ? 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 運輸層 : 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 運輸層 : 無差錯時的操作 等待來自上面的調(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 運輸層 : 有差錯時的情況 等待來自上面的調(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 運輸層 ! 如果 ACK/NAK受損，將會出現(xiàn)何種情況？ ? 發(fā)送方不知道在接收方會發(fā)生什么情況！ ? 不能只是重傳：可能導(dǎo)致冗余 處理冗余 : ? 發(fā)送方對每個分組增加 序列號 ? 如果 ACK/NAK受損，發(fā)送方重傳當(dāng)前的分組 ? 接收方丟棄 (不再向上交付 )冗余分組 發(fā)送方發(fā)送一個分組，然后等待接收方響應(yīng) 停止等待 32 運輸層 : 發(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 運輸層 : 接收方 ,處理受損的 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 運輸層 : 討論 發(fā)送方 : ? 序號 seq 加入分組中 ? 兩個序號 seq. ’s (0,1) 將夠用 . ( 為什么 ?) ? 必須檢查是否收到的ACK/NAK受損 ? 狀態(tài)增加一倍 ? 狀態(tài)必須“記住”是否“當(dāng)前的”分組具有 0或 1序號 接收方 : ? 必須檢查是否接收到的分組是冗余的 ? 狀態(tài)指示是否 0或 1是所期待的分組序號 seq ? 注意 : 接收方不能知道是否它的最后的 ACK/NAK在發(fā)送方已經(jīng)接收 OK 35