<> <> <> <> <> <> <<>> DIRECTORY IPDefs USING [DByte, Address], TCPOps USING [TCPHandle, TCPSendBuffer]; TCPTransmit: CEDAR DEFINITIONS = { rexmitInterval: INT = 10000; -- retransmit time rexmitSleepTime: INT = rexmitInterval / 3; -- how long to sleep before looking at rexmit queues initialTimeout: INT = 60000; -- how long to retransmit SYN before declaring connection dead rexmitTimeout: INT = 180000; -- how long to retransmit before declaring connection dead SendSYN: PROC [handle: TCPOps.TCPHandle]; <> SendFIN: PROC [handle: TCPOps.TCPHandle]; <> SendReset: PROC [handle: TCPOps.TCPHandle, sourcePort, dstnPort: IPDefs.DByte, Dstn: IPDefs.Address, seq, ack: INT]; <> TryToSend: PROC [handle: TCPOps.TCPHandle]; <> TryToSendData: PROC [handle: TCPOps.TCPHandle]; <> RemoveAckedSegments: PROC [handle: TCPOps.TCPHandle]; <> RepacketizeandRexmit: PROC [handle: TCPOps.TCPHandle, tcpSendBufferPtr: REF TCPOps.TCPSendBuffer]; <> Rexmit: PROC [handle: TCPOps.TCPHandle, tcpSendBufferPtr: REF TCPOps.TCPSendBuffer]; <> }.