PhaseNetwork.pptVIP

Phase 4: Network For ACM05, By Mu LI The Goal Implement a full-duplex, reliable, byte-stream communication with no size limits. Write a chat-room program to test your codes. The network layer of nachos IP Address ? LinkAddress Port Number ? Port Number UDP ? Embedded in Machine.NetworkLink UDP Packet ? Machine.Packet TCP ? Embedded in the Network Package TCP Packet ? Network.MailMessage TCP Network Daemon ? Network.PostOffice TCP Socket ? Tuple of (SrcLinkAddr, DestLinkAddr, SrcPort, DestPort) A Graphic Example Provided Codes provided machine.NetworkLink.java – provides ordered, unreliable, transmission of limits size packets between nodes machine.Packet.java – transmission unit Your work Define the message formats over Packet.java Design a socket states transition table A sample format The control bit (FIN, …) take one bit, resp. and is in effect when 1 Blank is just for keeping regular Message Types The message is the type iff all correspond control bits are 1 and the others are 0 The states for socket Name Description Duty CLOSED 无连接 等待连接或者连接已结束 SYN_SENT 已发送SYN 等待SYN/ACK SYN_RECVD 接受到SYN 调用accept() ESTABLISHED 全双工连接已建立 发送接受数据 STP_SENT 已发送STP 不过要将未发送完的数据发完 STP_RECVD 接受到STP 不再发送，不过可以接受 CLOSING 发送FIN 等待FIN/ACK，连接结束 The Events Cause Transition Name Property Description CONNECT 主动调用 程序调用connect() ACCEPT 主动调用 程序调用accept() RECV 主动调用 程序调用read() SEND 主动调用 程序调用write() CLOSE 主动调用 程序调用close() TIMER 系统自动调用 SYN 接受到数据 接受到SYN包 SYNACK 接受到数据 接受到SYN/ACK包 DATA 接受到数据 接受到DATA包 ACK 接受到数据 接受到ACK包 STP 接受到数据 接受到STP包 FIN 接受到数据 接受到FIN包 FINACK 接受到数据 接受到FIN/ACK包 States Transition Table Cur. State Event New State Operation CLOSED CONNECT SYN_SENT Send(SYN), block等待SYN/ACK RECV - 取数据出队，队为空时失败 SYN SYN_RCVD FIN - Send(FINACK) （由于有可能FINACK丢失） SYN_SENT TIMER - Send(SYN) SYN - Deadlock! （双方都等待对方SYN/ACK） SYNACK ESTABLISHED 叫醒等待connect()的线程 DATA, STP, FIN - Send(SYN) ESTABLISHED RECV - 取数据出队 SEND - 列数据入队，移动发送窗口 CLOSE CLOSING STP_SENT 如果发送队列为空，send(FIN) 否则send(STP) TIMER - 重新发送未收到回答的包