package tcpip

  1. Overview
  2. Docs

TCP segments

The receive queue stores out-of-order segments, and can coalesece them on input and pass on an ordered list up the stack to the application.

It also looks for control messages and dispatches them to the Rtx queue to ack messages or close channels.

module Rx (T : Mirage_time.S) : sig ... end
type tx_flags =
  1. | No_flags
  2. | Syn
  3. | Fin
  4. | Rst
  5. | Psh
    (*

    Either Syn/Fin/Rst allowed, but not combinations

    *)
module Tx (Time : Mirage_time.S) (Clock : Mirage_clock.MCLOCK) : sig ... end

Pre-transmission queue