package mirage-protocols

  1. Overview
  2. Docs

Module Mirage_protocolsSource

MirageOS signatures for network protocols

v7.0.0

Ethernet layer

Sourcemodule Ethernet : sig ... end

Ethernet errors and protocols.

Sourcemodule type ETHERNET = sig ... end

Ethernet (IEEE 802.3) is a widely used data link layer. The hardware is usually a twisted pair or fibre connection, on the software side it consists of an Ethernet header where source and destination mac addresses, and a type field, indicating the type of the next layer, are present. The Ethernet layer consists of network card mac address and MTU information, and provides decapsulation and encapsulation.

ARP

Sourcemodule Arp : sig ... end

Arp errors.

Sourcemodule type ARP = sig ... end

Address resolution protocol, translating network addresses (e.g. IPv4) into link layer addresses (MAC).

IP layer

Sourcemodule Ip : sig ... end

IP errors and protocols.

Sourcemodule type IP = sig ... end

An Internet Protocol (IP) layer reassembles IP fragments into packets, removes the IP header, and on the sending side fragments overlong payload and inserts IP headers.

Sourcemodule type IPV4 = IP with type ipaddr = Ipaddr.V4.t

IPv4 layer

Sourcemodule type IPV6 = IP with type ipaddr = Ipaddr.V6.t

IPv6 layer

ICMP layer

Sourcemodule type ICMP = sig ... end

Internet Control Message Protocol: error messages and operational information.

Sourcemodule type ICMPV4 = ICMP with type ipaddr = Ipaddr.V4.t

ICMPv4 layer

Sourcemodule type ICMPV6 = ICMP with type ipaddr = Ipaddr.V6.t

ICMPv6 layer

UDP layer

Sourcemodule type UDP = sig ... end

User datagram protocol layer: connectionless message-oriented communication.

Sourcemodule type UDPV4 = UDP with type ipaddr = Ipaddr.V4.t

UDPv4 layer

Sourcemodule type UDPV6 = UDP with type ipaddr = Ipaddr.V6.t

UDPv6 layer

TCP layer

Sourcemodule Tcp : sig ... end

TCP errors.

Sourcemodule Keepalive : sig ... end

Configuration for TCP keep-alives. Keep-alive messages are probes sent on an idle connection. If no traffic is received after a certain number of probes are sent, then the connection is assumed to have been lost.

Sourcemodule type TCP = sig ... end

Transmission Control Protocol layer: reliable ordered streaming communication.

Sourcemodule type TCPV4 = TCP with type ipaddr = Ipaddr.V4.t

TCPv4 layer

Sourcemodule type TCPV6 = TCP with type ipaddr = Ipaddr.V6.t

TCPv6 layer