Module Segment.RxSource

Parameters

module ACK : Ack.M

Signature

Sourcetype segment = {
  1. header : Tcp_packet.t;
  2. payload : Cstruct.t;
}

Individual received TCP segment

Sourceval pp_segment : Format.formatter -> segment -> unit
Sourcetype t

Queue of receive segments

Sourceval pp : Format.formatter -> t -> unit
Sourceval create : rx_data:(Cstruct.t list option * Sequence.t option) Lwt_mvar.t -> ack:ACK.t -> wnd:Window.t -> state:State.t -> tx_ack:(Sequence.t * int) Lwt_mvar.t -> t
Sourceval is_empty : t -> bool
Sourceval input : t -> segment -> unit Lwt.t

Given the current receive queue and an incoming packet, update the window, extract any ready segments into the user receive queue, and signal any acks to the Tx queue