Rfc9293 WIP

net/tcp.lisp

@@ -1,14 +1,8 @@
 ;;; TCP
 ;;;
 ;;; Transmission Control Protocol - Protocol Specification
-;;; https://tools.ietf.org/html/rfc793
+;;; https://datatracker.ietf.org/doc/html/rfc9293
 ;;;
-;;; EFSM/SDL modeling of the original TCP standard (RFC793) and the
-;;; Congestion Control Mechanism of TCP Reno
-;;; http://www.medianet.kent.edu/techreports/TR2005-07-22-tcp-EFSM.pdf
-;;;
-;;; Computing TCP's Retransmission Timer
-;;; https://tools.ietf.org/html/rfc6298
 
 (in-package :mezzano.network.tcp)
 
@@ -383,8 +377,9 @@ Set to a value near 2^32 to test SND sequence number wrapping.")
              (setf (tcp-connection-last-ack-time connection)
                    (get-internal-run-time))
              (when (not *netmangler-force-local-retransmit*)
-               (tcp4-send-packet connection iss (+u32 irs 1) nil :ack-p t :syn-p t))))
+               (tcp4-send-packet connection iss (+u32 irs 1) nil :syn-p t))))
           ((logtest flags +tcp4-flag-rst+)) ; Do nothing for resets addressed to nobody.
+          ((logtest flags +tcp4-flag-fin+)) ; Do nothing for finish since the SEG.SEQ cannot be validated
           (t
            (let* ((seq (if (logtest flags +tcp4-flag-ack+)
                            (tcp-packet-acknowledgment-number packet start end)
@@ -474,8 +469,7 @@ Set to a value near 2^32 to test SND sequence number wrapping.")
     (tcp4-send-packet connection
                       (tcp-connection-snd.nxt connection)
                       (tcp-connection-rcv.nxt connection)
-                      nil
-                      :ack-p t)))
+                      nil)))
 
 (defun tcp-packet-sequence-number (packet start end)
   (declare (ignore end))
@@ -593,7 +587,7 @@ Set to a value near 2^32 to test SND sequence number wrapping.")
                       (tcp-connection-rcv.nxt connection) (+u32 seq 1))
                 (when (not *netmangler-force-local-retransmit*)
                   (tcp4-send-packet connection ack (tcp-connection-rcv.nxt connection) nil
-                                    :ack-p t :syn-p t))
+                                    :syn-p t))
                 ;; Cancel retransmit
                 (disarm-retransmit-timer connection)
                 (disarm-timeout-timer connection))
@@ -637,8 +631,7 @@ Set to a value near 2^32 to test SND sequence number wrapping.")
                   (tcp4-send-packet connection
                                     (tcp-connection-snd.nxt connection)
                                     (tcp-connection-rcv.nxt connection)
-                                    nil
-                                    :ack-p t)))
+                                    nil)))
                ((logtest flags +tcp4-flag-rst+)
                 (setf (tcp-connection-pending-error connection)
                       (make-condition 'connection-reset
@@ -700,7 +693,7 @@ Set to a value near 2^32 to test SND sequence number wrapping.")
                       (setf (mezzano.supervisor:event-state
                              (tcp-connection-receive-event connection))
                             t)
-                      (tcp4-send-packet connection ack (+u32 seq 1) nil :ack-p t))
+                      (tcp4-send-packet connection ack (+u32 seq 1) nil))
                     (tcp4-receive-data connection data-length end header-length packet seq start)))
                ((eql (tcp-connection-snd.una connection) ack)
                 ;; TODO: slow start/duplicate ack detection/fast retransmit/etc.