package tcpip

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

OCaml

Innovation. Community. Security.