ocaml-ipam/test/ at main · gazagnaire.org/ocaml-ipam · Tangled

gazagnaire.org / ocaml-ipam

0

IP address management: CIDR pools and per-pool allocation

0

ocaml-ipam / test /

at main 1 folder 4 files

Thomas Gazagnaire ocaml-ipam: add a pp for the IPAM handle 2mo ago

ocaml-ipam: add a pp for the IPAM handle

2 months ago

ocaml-ipam: add a pp for the IPAM handle

2 months ago

ipam: new two-level IP address manager modelled on libnetwork Pool allocates addresses within one CIDR; the allocator carves pools from predefined networks and rejects overlaps. Occupancy lives in ewah bitmaps keyed by host ordinal, so a sparse /8 or /64 costs only the addresses in use. Reserves network/broadcast (IPv4, RFC 3021 aside) and the Subnet-Router anycast (IPv6, RFC 4291). Pure: mutators return a new value so state can be snapshotted. Verified against moby's defaultipam via a Go oracle in test/interop/moby: a replayed operation trace matches byte-for-byte. Spec tests cite the libnetwork test vectors and the RFCs; alcobar fuzz and an MDX'd README round it out.

2 months ago

tree: reformat for the upgraded ocamlformat Comment reflow and header reindent produced by the new ocamlformat; no code changes.

2 months ago

ipam: new two-level IP address manager modelled on libnetwork Pool allocates addresses within one CIDR; the allocator carves pools from predefined networks and rejects overlaps. Occupancy lives in ewah bitmaps keyed by host ordinal, so a sparse /8 or /64 costs only the addresses in use. Reserves network/broadcast (IPv4, RFC 3021 aside) and the Subnet-Router anycast (IPv6, RFC 4291). Pure: mutators return a new value so state can be snapshotted. Verified against moby's defaultipam via a Go oracle in test/interop/moby: a replayed operation trace matches byte-for-byte. Spec tests cite the libnetwork test vectors and the RFCs; alcobar fuzz and an MDX'd README round it out.

2 months ago