DIRECTORY BasicTime USING [GetClockPulses, Pulses], IPDefs USING [Byte, Datagram, DByte, Address, maxDataLength], PrincOps USING [zEXCH], TCP USING [Reason, TCPInfo]; TCPOps: CEDAR DEFINITIONS IMPORTS BasicTime ~ BEGIN sendBufferLength: INT ~ 4000; -- max bytes of unacked data to queue for transmission or retransmission to net recvBufferLength: INT ~ 4000; tcpHdrWordLength: INT ~ 5; tcpHdrByteLength: INT ~ tcpHdrWordLength*4; maxTCPDataLength: INT ~ IPDefs.maxDataLength - tcpHdrByteLength; ourLocalAddress: IPDefs.Address; defaultReceiveWindow: INT; repacketizing: BOOL; -- TRUE if data to be repacketized when retransmitted tcpSegmentLife: INT ~ 60; -- value for time to live ConnectionState: TYPE = {closed, listen, synSent, synRcvd, established, finWait1, finWait2, closeWait, closing, lastAck, timeWait}; Pair: TYPE = MACHINE DEPENDENT RECORD [a, b: CARDINAL]; -- used for word swap TCPHeaderP: TYPE = LONG POINTER TO TCPHeader; TCPHeader: TYPE = MACHINE DEPENDENT RECORD [ sourcePort (0): IPDefs.DByte, -- source port number dstnPort (1): IPDefs.DByte, -- destination port number seqNumber (2): Pair, -- sequence number ackNumber (4): Pair, -- acknowledgement number dataWordOffset (6: 0..3): INT [0..15], -- size of header in 32-bit words unused (6: 4..9): INT [0..63] _ 0, urg (6: 10..10): BOOL _ FALSE, -- control flags, urgent ack (6: 11..11): BOOL _ FALSE, -- acknowledgement psh (6: 12..12): BOOL _ FALSE, -- push rst (6: 13..13): BOOL _ FALSE, -- reset syn (6: 14..14): BOOL _ FALSE, -- syn (first packet on connection) fin (6: 15..15): BOOL _ FALSE, -- fin (last packet on connection) window (7): IPDefs.DByte, -- window of packets to send checksum (8): IPDefs.DByte, -- for header and pseudo header urgentPtr (9): IPDefs.DByte _ 0, -- ptr to byte following urgent data options (10): ARRAY INT [1..40] OF IPDefs.Byte]; -- options TCPHandle: TYPE ~ REF TCPHandleRec; TCPHandleRec: TYPE ~ MONITORED RECORD [ localPort: IPDefs.DByte, -- TCP port foreignAddr: IPDefs.Address, -- internet foreign address foreignPort: IPDefs.DByte, -- TCP port matchForeignAddr: BOOL, -- true to use foreign addr matchForeignPort: BOOL, -- true to use foreign port state: ConnectionState, -- state of connection reason: TCP.Reason, -- why we closed this connection active: BOOL, -- active or passive open notListening: CONDITION, -- used to wait for connection when listening maxSegmentSize: INT, -- max bytes we can send in a datagram sndUna: INT _ 0, -- oldest unacked seq number sndNxt: INT _ 0, -- next seq number to send sndWnd: INT _ 0, -- send window sndWL1: INT _ 0, -- pkt seq used for last window update sndWL2: INT _ 0, -- pkt ack used for last window update iss: INT _ 0, -- initial send seq number sndUrgent: BOOL _ FALSE, -- true if trying to send urgent data sndUp: INT _ 0, -- where it is in the stream fillSlot: INT [0..sendBufferLength) _ 0, -- for repacketizing sendSlot: INT [0..sendBufferLength) _ 0, -- for repacketizing sendBuffer: ARRAY INT [0..sendBufferLength) OF IPDefs.Byte, -- for repacketizing nBytesToSend: INT [0..sendBufferLength] _ 0, -- number of filled slots in sendBuffer rcvNxt: INT _ 0, -- next seq number to receive rcvWnd: INT, -- receive window rcvUp: INT _ 0, -- receive urgent pointer irs: INT _ 0, -- initial receive sequence number urgentMode: BOOL _ FALSE, -- rcvd urgent data and not passed to user finSequence: INT _ 0, -- sequence number of fin sent dataTimeout: INT, -- in msecs, time to wait before signalling client timeWaitTime: BasicTime.Pulses, -- when to delete a handle in timeWait state fromNetQueue: LIST OF REF ANY, -- packets received from net (actually TCPRcvBuffers) readyToReadQueue: LIST OF REF ANY, -- packets processed and ready to hand to client (TCPRcvBuffers) currentInputBuffer: REF TCPRcvBuffer, -- buffer for doling out input dataAvailable: CONDITION, -- wait here for incoming data toNetQueue: LIST OF REF ANY, -- packets to send to net (IPDefs.Datagrams) rexmitQueue: LIST OF REF ANY, -- packets to retransmit to net (TCPSendBuffers) currentOutputDatagram: IPDefs.Datagram, -- next block of data to send currentOutputPtr: INT, -- index into currentOutputDatagram for data currentOutputLimit: INT, -- max size of datagram based on maxSegmentSize windowAvailable: CONDITION, -- wait here for quota on other end urgentAvailable: CONDITION]; -- wait here for urgent data TCPRcvBuffer: TYPE ~ RECORD [ offsetSeqNo: INT, -- for use by TCP datagramPtr: IPDefs.Datagram, -- datagram received from net dataOffset: INT, -- Byte offset of data from dataPtr^ dataByteCount: INT, -- number of data bytes tcpHdrPtr: TCPHeaderP, -- pointer to TCP header (?) urg: BOOL, -- value of TCP URG field endUrgentData: INT]; -- index of byte following urgent data TCPSendBuffer: TYPE ~ RECORD [ dataByteCount: INT, -- count of data sent (not control) rexmitTime: BasicTime.Pulses, -- time to retransmit segment timeoutTime: BasicTime.Pulses, -- time to abort connection if segment not acked datagram: IPDefs.Datagram]; -- datagram sent to net TCPControlSet: TYPE ~ RECORD [ urg, ack, psh, rst, syn, fin: BOOL _ FALSE]; pktsSent: INT; pktsRcvd: INT; pktsRexmitted: INT; pktsDuplicate: INT; pktsWithNoConnection: INT; pktsFromFuture: INT; pktsFromPast: INT; pktsWithBadChecksum: INT; Open: PROC [tcpInfo: TCP.TCPInfo] RETURNS [handle: TCPHandle]; Close: PROC [handle: TCPHandle]; Abort: PROC [handle: TCPHandle]; WaitForListenerOpen: PROC [handle: TCPHandle, timeout: INT]; SendCurrentDatagram: PROC [handle: TCPHandle, push: BOOL]; GetNextDatagram: PROC [handle: TCPHandle]; SetUrgent: PROC [handle: TCPHandle]; WaitForUrgentData: PROC [handle: TCPHandle] RETURNS [urgentIndex: INT]; Flip: PROC [Pair] RETURNS [INT] = TRUSTED MACHINE CODE BEGIN PrincOps.zEXCH; END; Flop: PROC [INT] RETURNS [Pair] = TRUSTED MACHINE CODE BEGIN PrincOps.zEXCH; END; TCPChecksum: PROC [data: IPDefs.Datagram] RETURNS [checksum: IPDefs.DByte]; ChecksumsMatch: PROC [c1, c2: IPDefs.DByte] RETURNS [BOOL]; SetTimeout: PROC [delta: INT, base: BasicTime.Pulses _ BasicTime.GetClockPulses[]] RETURNS [BasicTime.Pulses]; TimedOut: PROC [timeoutTime: BasicTime.Pulses] RETURNS [BOOL]; END. ΊCopyright (C) 1983, 1985 by Xerox Corporation. All rights reserved. The following program was created in 1983 but has not been published within the meaning of the copyright law, is furnished under license, and may not be used, copied and/or disclosed except in accordance with the terms of said license. TCPOps.mesa Last Edited by: Nichols, September 1, 1983 4:27 pm Last Edited by: Taft, January 3, 1984 9:45 am Last Edited by: HGM, March 23, 1984 10:01:40 am PST Hal Murray July 16, 1985 4:39:19 pm PDT John Larson, April 14, 1986 11:18:30 pm PST Constants and types The layout of the TCP header in a datagram. One gets a TCPHeaderP by saying LOOPHOLE[@datagram.data]. The information about a TCP connection. Send state: Receive state: Random: These describe packets that have been received from the net. And these describe packets that have been sent once, but may need to be retransmitted. Statistics Routines used by TCPMain Attempts to open a new TCP connection. Returns a TCPHandle to use or raises TCP.Error. Shut down the connection normally. Shut down the connection abnormally. Wait until the listening connection on this socket is open. The current datagram in the handle is ready to send. Push is true if the TCP push option should be used. Empty datagrams are ignored unless push is true. We are through with the current input datagram and would like another. Only returns when new datagram has usable data. The urgent pointer is set to the current position in the output stream. Wait asynchronously for urgent data indication. Routines internal to the TCP stuff The following two procedures swap the halves of a long int for the encapsulation. Stolen from the pup software. Find the checksum to be used in the TCP header. Call when data.dataLength is the correct length of the packet. True if c1 and c2 are the same checksum, i.e. they are equal or are both one's complement representations of zero. Returns a timeout time computed by adding delta milliseconds to the specified base time. If delta is negative, meaning "never time out", returns zero, which is specifically defined (in TimedOut) to mean "never time out" and is never otherwise returned. Returns true if the specified time has been reached. Κj– "cedar" style˜Icode2šœ―™―head™ Icodešœ2™2Jšœ-™-Jšœ3™3Jšœ'™'M™+šΟk ˜ Kšœ œ˜)Kšœœ1˜=Kšœ œ ˜Kšœœ˜——šΟnœœ ˜Kšœ ˜Kšœ˜—™Kšœœ ΟcP˜nKšœœ ˜Kšœœ˜Kšœœ˜+Kšœœ+˜@Kšœ ˜ Kšœœ˜KšœœŸ5˜JKšœœŸ˜3Kšœœo˜„Kš œœœ œœœŸ˜MIbodyšœMœ™fKš œ œœœœ ˜.š œ œœ œœ˜,KšœŸ˜4KšœŸ˜7KšœŸ˜(KšœŸ˜/Kšœœ Ÿ"˜IKšœœ ˜"KšœœœŸ˜8KšœœœŸ˜2KšœœœŸ˜'KšœœœŸ ˜(KšœœœŸ$˜CKšœœœŸ#˜BKšœŸ˜7KšœŸ ˜KšœœŸ˜,Kšœ œŸ˜>Kšœ œŸ˜>Kšœ œœœŸ˜QKšœœŸ'˜T—™KšœœŸ˜/KšœœŸ˜KšœœŸ˜*KšœœŸ#˜1Kšœ œœŸ*˜D—™Kšœ œŸ˜5Kšœ œŸ2˜DKšœ Ÿ,˜LKš œœœœœŸ5˜TKš œœœœœŸ@˜cKšœœŸ˜DKšœ œŸ˜8Kš œ œœœœŸ,˜IKš œ œœœœŸ0˜NKšœ(Ÿ˜EKšœœŸ,˜CKšœœŸ/˜HKšœ œŸ#˜?Kšœ œŸ˜9——N™<šœœœ˜Kšœ œŸ˜$KšœŸ˜KšœW™W—šžœœ˜ K™"—šžœœ˜ K™$—šžœœœ˜K™4—Kšœ˜——…—(8