【正文】 狀態(tài) 2 引起狀態(tài)變遷的事件 狀態(tài)變遷所采取的行動 狀態(tài) : 當位于這個“狀態(tài)時 ”，下個狀態(tài)惟一地由下個事件決定 事件 動作 24 運輸層 第 3章 要點 ? 運輸層服務 ? 復用與分解 ? 無連接傳輸 : 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章 要點 ? 運輸層服務 ? 復用與分解 ? 無連接傳輸 : 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ā)生什么情況！ ? 不能只是重傳：可能導致冗余 處理冗余 : ? 發(fā)送方對每個分組增加 序列號 ? 如果 ACK/NAK受損，發(fā)送方重傳當前的分組 ? 接收方丟棄 (不再向上交付 )冗余分組 發(fā)送方發(fā)送一個分組，然后等待接收方響應 停止等待 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)必須“記住”是否“當前的”分組具有 0或 1序號 接收方 : ? 必須檢查是否接收到的分組是冗余的 ? 狀態(tài)指示是否 0或 1是所期待的分組序號 seq ? 注意 : 接收方不能知道是否它的最后的 ACK/NAK在發(fā)送方已經(jīng)接收 OK 35 運輸層 : 一種無 NAK的協(xié)議 ? 與 ，僅使用 ACK ? 代替 NAK,接收方對最后正確接收的分組發(fā)送 ACK ? 接收方必須明確地包括被確認分組的序號 ? 在發(fā)送方冗余的 ACK導致如同 NAK相同的動作： 重傳當前分組 36 運輸層 : 發(fā)送方 , 接收方片段 等待來自上面的調(diào)用 0 sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) rdt_send(data) udt_send(sndpkt) rdt_rcv(rcvpkt) ( corrupt(rcvpkt) || isACK(rcvpkt,1) ) rdt_rcv(rcvpkt) notcorrupt(rcvpkt) isACK(rcvpkt,0) 等待 ACK 0 發(fā)送方 FSM 片段 等待來自下面的調(diào)用0 rdt_rcv(rcvpkt) notcorrupt(rcvpkt) has_seq1(rcvpkt) extract(rcvpkt,data) deliver_data(data) sndpkt = make_pkt(ACK1, chksum) udt_send(sndpkt) rdt_rcv(rcvpkt) (corrupt(rcvpkt) || has_seq1(rcvpkt)) udt_send(sndpkt) 接收方 FSM 片段 L 37 運輸層 第 3章 要點 ? 運輸層服務 ? 復用與分解 ? 無連接傳輸 : UDP ? 可靠數(shù)據(jù)傳輸?shù)脑瓌t ? rdt1 ? rdt2 ? rdt3 ? 流水線協(xié)議 ? 面向連接的傳輸 : TCP ? 報文段結(jié)構(gòu) ? 可靠數(shù)據(jù)傳輸 ? 流量控制 ? 連接管理 ? 擁塞控制的原則 ? TCP擁塞控制 ? 機制 ? TCP吞吐量 ? TCP公平性 ? 時延模型 38 運輸層 : 具有差錯和丟包的信道 新假設 : 下面的信道也能丟失分組 (數(shù)據(jù)或 ACK) ? 檢查和、序號、重傳將是有幫助的，但不充分 方法 : 發(fā)送方等待 ACK一段“合理的”時間 ? 如在這段時間沒有收到 ACK則重傳 ? 如果分組 (或 ACK)只是延遲 (沒有丟失 )： ? 重傳將是冗余的，但序號的使用已經(jīng)處理了該情況 ? 接收方必須定義被確認的分組序號 ? 需要倒計時定時器 39 運輸層 sndpkt = make_pkt(0, data, checksum) udt_send(sndpkt) start_timer rdt_send(data) 等待 ACK0 rdt_rcv(rcvpkt) ( corrupt(rcvpkt) || isACK(rcvpkt,1) ) 等待來自 上面的調(diào) 用 1 sndpkt = make_pkt(1, data, checksum) udt_send(sndpkt) start_timer rdt_send(data) rdt_rcv(rcvpkt) n