DIRECTORY Arpa USING [Address], ArpaBuf USING [Buffer, Protocol] ; ArpaIP: CEDAR DEFINITIONS ~ { Handle: TYPE ~ REF Object; Object: TYPE; Buffer: TYPE ~ ArpaBuf.Buffer; Buffers: TYPE ~ ArpaBuf.Buffer; ChecksumProc: TYPE ~ PROC [b: Buffers]; RouteHint: TYPE ~ REF; nullRouteHint: READONLY RouteHint; CreateHandle: PROC [protocol: ArpaBuf.Protocol, recvProc: RecvProc, recvErrorProc: RecvProc _ NIL, acceptLongDatagrams: BOOL _ FALSE] RETURNS [handle: Handle]; DestroyHandle: PROC [handle: Handle]; RecvProc: TYPE ~ PROC [b: Buffers] RETURNS [rB: Buffers]; FreeBuffers: PROC [b: Buffers]; GetUserBytes: PROC [b: Buffer] RETURNS [bodyBytes: CARDINAL, optionsBytes: CARDINAL]; GetSource: PROC [b: Buffers] RETURNS [source: Arpa.Address]; AllocBuffers: PROC [howMany: CARDINAL _ 1] RETURNS [Buffers]; SetUserBytes: PROC [b: Buffer, bodyBytes: CARDINAL, optionsBytes: CARDINAL _ 0]; SetNoFragmentation: PROC [b: Buffers, inhibitFragmentation: BOOL _ TRUE]; Send: PROC [h: Handle, b: Buffers, dest: Arpa.Address, setChecksum: ChecksumProc _ NIL, hint: RouteHint _ NIL] RETURNS [newHint: RouteHint]; FetchOptionAddress: PROC [b: Buffer, pos: CARDINAL] RETURNS [address: Arpa.Address]; FetchOptionByte: PROC [b: Buffer, pos: CARDINAL] RETURNS [value: BYTE]; FetchOptionH: PROC [b: Buffer, pos: CARDINAL] RETURNS [value: CARD16]; FetchOptionF: PROC [b: Buffer, pos: CARDINAL] RETURNS [value: CARD32]; StoreOptionAddress: PROC [b: Buffer, pos: CARDINAL, address: Arpa.Address]; StoreOptionByte: PROC [b: Buffer, pos: CARDINAL, value: BYTE]; StoreOptionH: PROC [b: Buffer, pos: CARDINAL, value: CARD16]; StoreOptionF: PROC [b: Buffer, pos: CARDINAL, value: CARD32]; SendToSelf: PUBLIC PROC [h: Handle, b: Buffers, dest: Arpa.Address, setChecksum: ChecksumProc]; DispatchICMP: PROC [b: Buffers, protocol: ArpaBuf.Protocol]; OnesComplementAddBlock: UNSAFE PROC [ptr: LONG POINTER, count: CARDINAL, initialSum: CARDINAL _ 0] RETURNS [sum: CARDINAL]; MoveBytes: UNSAFE PROC [toPtr: LONG POINTER, toOffset: INT, fromPtr: LONG POINTER, fromOffset: INT, bytes: INT]; Error: ERROR [code: ATOM]; }... <ArpaIP.mesa Demers, September 4, 1987 6:31:23 pm PDT Types Chain of buffers (linked together by b.ovh.next) containing a single IP datagram. If the datagram fits in a single buffer, that's the way it's represented; otherwise it's kept as a list of (long) fragments. Checksum computing proc used by Send. Cached routing information used by Send. Registration Register self as protocol module for given protocol. recvProc gets called with received packets of the given protocol. recvErrorProc gets called with received ICMP packets generated in response to packets of the given protocol. If acceptLongDatagrams is FALSE, chains of fragments will not be presented to the recvProc or accepted on output. ! Error[$protocolAlreadyRegistered] Unregister this protocol module. Beware: there's a race that can cause recvProc or recvErrorProc to be called after the handle has been destroyed. ! Error[$handleDestroyed] Receiving A RecvProc gets called with every received IP datagram. The datagram has been reassembled into a single buffer if it fits; otherwise it is represented as (large) fragments in a chain of buffers. A RecvProc also gets called with certain ICMP datagrams. See ArpaICMP for details. The bodyBytes is the same number that would be returned by GetUserBytes[b]. The result buffer list rB is returned to the CommDriver buffer pool. It needn't be the same as b, and may be NIL. Free a chain of buffers. Not equivalent to CommDriver.FreeBuffer! Return the number of bytes in the datagram (fragment) contained in b^. The fixed part of the IP header is not counted, and IP options are counted separately. Note the TCP or UDP header is counted in bodyBytes. This is how to determine the sender. Sending Allocate a buffer list of the specified length. Set the length of the datagram (fragment) body and options. The fixed part of the IP header isn't counted in bodyBytes, but the UDP or TCP header is. Options may only be present in the first fragment of a chain. Is it okay to fragment this packet in transmission? SetUserBytes[b] implicitly does SetNoFragmentation[b, FALSE]; so to inhibit fragmentation you must call SetNoFragmentation[b] after calling SetUserBytes[b]. Send chain of buffers. The length field must be correct in each fragment in the chain (set by SetUserBytes), and the options length must be 0 in all but the first fragment. Fragmentation control fields will be filled in automatically, and options from the first fragment will be copied to the remaining ones as appropriate. If the destination address is Arpa.broadcastAddress, the datagram will be broadcast on all network interfaces. The ChecksumProc is passed in by the client to compute a higher-level protocol checksum field. It is called once, after the datagram has been routed, so the IP header source address has been filled in properly before the checksum is computed. This ugly mechanism is necessary because of the "pseudo-header" in UPD and TCP checksums. The hint / newHint is a performance hack for cacheing of routes. If you pass NIL (the default) it will recompute the route for each send, and return NIL. If you pass nullRouteHint, if will recompute the route and return a RouteHint that can be passed in on subsequent calls to avoid the overhead of the routing computation. Use this only if you're really worried about performance. On return, the content of buffers is unmodified. Buffers aren't freed. ! Error[$nullDestination | $destUnreachable | $datagramTooLong | $clientFragmentationError] Options See option type description in ArpaBuf.mesa. In each case the position argument is 0-relative to the beginning of the entire options field, not the individual option. Backdoor Caller asserts that dest is an address of this machine. Fragmentation/reassembly is avoided, and the bits are not sent on the wire. The buffers are passed to the receiving process. Pass buffers to specified protocol module. Used to pass appropriate ICMP messages to protocol modules that know how to deal with them. Utilities Useful to higher-level protocols that are clients of IP. Compute (efficiently) the ones-complement sum of the 16-bit words in the block [ptr..ptr+count)^. Useful for checksum procs. Move (efficiently) between from and to. Errors The error codes that can occur: $protocolOutOfRange : bogus protocol specified to CreateHandle. $nilRecvProc : NIL recvProc in call to CreateHandle. $protocolAlreadyRegistered : we only allow one protocol module per protocol. $handleDestroyed : you can't send on a handle after calling Destroy, or Destroy a handle more than once. $notICMP : non-ICMP datagram passed to Dispatch others as they become necessary. Ê˜code™K™(K™—šÏk ˜ Kšœœ˜Kšœœ˜ K˜—K˜šÏnœœœ˜K˜head™Kšœœœ˜Kšœœ˜ K˜Kšœœ˜K˜šœ œ˜K™Ï—K˜šœœœ˜'K™%K™—šœœœ˜K™(K˜—Kšœœ˜"K˜—™š žœœLœœœ˜…Kšœ˜K™4K™AK™lKšœq™qK™#K˜—šž œœ˜%K™ K™qK™—K˜—™ šœ œœœ˜9KšœÃ™ÃKšœS™SK™KK™rK˜—šžœœ˜K™BK˜—š žœœ œ œœ˜UK™Ó—K˜šž œœœ˜K˜—šžœœœ œ˜=K˜—Kšžœœœ œ˜=—™šž œœœH˜_K™7K™KKš 0™0—K˜šžœœ*˜