ocaml-virtio/lib/eio/ at main · gazagnaire.org/ocaml-virtio · Tangled

gazagnaire.org / ocaml-virtio

0

Virtio-serial port IO for guest VMs

0

ocaml-virtio / lib / eio /

at main 3 files

Thomas Gazagnaire virtio: expose an owned receiver on the net frontend 3w ago

virtio: a thin Eio netif layer, shared across backends New virtio.eio library, the lib/eio thin layer every ocaml-protocols package has (ocaml-tcp, ocaml-arp, ocaml-dns). Virtio_eio.of_queue / of_device turn a connected Front device's queue pairs into pollable netifs (send + a receive that polls the ring and yields when empty). The driver stays the pure part: an immutable ring State machine plus an I/O-free shell over injected transport ops; this adds only the receive poll. The unikraft backend now wraps this shared adapter into its Env.Netif instead of carrying its own copy of the poll loop, and the virtio-PCI guest path will reuse the same of_device. Tested over the loopback device model; 65 virtio tests pass, the live unikraft build is unchanged.

3 weeks ago

virtio: expose an owned receiver on the net frontend A queue's receive path can now hand each frame out as a borrowed view into the device buffer, released by the consumer to re-arm the ring, matching the loan shape the ethernet reader and the vz device edge adopted. Backends that keep frames copy out and release at once, so the per-frame string allocation disappears from the pull path.

3 weeks ago

virtio: expose an owned receiver on the net frontend A queue's receive path can now hand each frame out as a borrowed view into the device buffer, released by the consumer to re-arm the ring, matching the loan shape the ethernet reader and the vz device edge adopted. Backends that keep frames copy out and release at once, so the per-frame string allocation disappears from the pull path.

3 weeks ago