Software networking with isolation for Tart
Go to file
Nikolay Edigaryev 173f7832b3
DHCP snooper: use coarse time to avoid clock_gettime() overhead (#137)
* DHCP snooper: use coarse time to avoid clock_gettime() overhead

* Introduce uncertainty duration and subtract it from total lease time

* Update coarse time after we've performed the waiting

* Use coarsetime::Updater to update time even when deep inside event loop

* No need for manual coarsetime::Instant::update() anymore

* Ensure that coarsetime::Updater is stopped on Proxy::shutdown()

* Revert "Ensure that coarsetime::Updater is stopped on Proxy::shutdown()"

This reverts commit de255f4240.

* Revert "Use coarsetime::Updater to update time even when deep inside event loop"

This reverts commit 6a95272dcf.

* Revert "No need for manual coarsetime::Instant::update() anymore"

This reverts commit 9ffa829add.

* Update coarse time for the DHCP snooper after reading packet(s)
2026-01-14 21:16:19 +01:00
.cargo Introduce --block in addition to --allow (#126) 2025-10-21 17:14:28 +04:00
.github Add CODEOWNERS and group all Dependabot updates in a single PR (#96) 2025-03-31 19:15:04 +04:00
lib DHCP snooper: use coarse time to avoid clock_gettime() overhead (#137) 2026-01-14 21:16:19 +01:00
src Introduce --block in addition to --allow (#126) 2025-10-21 17:14:28 +04:00
.cirrus.yml Perform batched reads from host to improve efficiency (#128) 2025-10-28 16:48:05 +04:00
.gitignore Goreleaser Fix (#30) 2024-01-24 19:09:59 +04:00
.goreleaser.yml .goreleaser.yml: require macOS Sequoia (see #128) 2025-10-28 13:49:09 +01:00
Cargo.lock DHCP snooper: use coarse time to avoid clock_gettime() overhead (#137) 2026-01-14 21:16:19 +01:00
Cargo.toml DHCP snooper: use coarse time to avoid clock_gettime() overhead (#137) 2026-01-14 21:16:19 +01:00
LICENSE License under AGPL-3.0 (#4) 2022-06-21 15:59:35 +03:00
README.md README.md: clarify how Softnet restricts networking (#71) 2025-01-10 19:31:08 +04:00
rust-toolchain.toml $ cargo update (#40) 2024-07-23 14:33:31 +04:00

README.md

Softnet

Softnet is a software networking for Tart which provides better network isolation and alleviates DHCP shortage on production systems.

It is essentially a userspace packet filter which restricts the VM networking and prevents a class of security issues, such as ARP spoofing. By default, the VM will only be able to:

  • send traffic from its own MAC-address
  • send traffic from the IP-address assigned to it by the DHCP
  • send traffic to globally routable IPv4 addresses
  • send traffic to gateway IP of the vmnet bridge (this would normally be "bridge100" interface)
  • receive any incoming traffic

In addition, Softnet tunes macOS built-in DHCP server to decrease its lease time from the default 86,400 seconds (one day) to 600 seconds (10 minutes). This is especially important when you use Tart to clone and run a lot of ephemeral VMs over a period of one day.

Please check out this blog post for backstory.

Working model

Softnet solves two problems:

  1. VM network isolation
  2. DHCP exhaustion
    • macOS built-in DHCP-server allocates a /24 subnet with 86400 seconds lease time by default, which only allows for ~253 VMs a day (or 1 VM every ~6 minutes) to be spawned without causing a denial-of-service, which is pretty limiting for CI services like Cirrus CI

And assumes that:

  1. Tart gives it's VMs unique MAC-addresses
  2. macOS built-in DHCP-server won't re-use the IP-addresses from it's pool until their lease expire

...otherwise it's possible for two VMs to receive an identical IP-address from the macOS built-in DHCP-server (even in the presence of Softnet's packet filtering) and thus bypass the protections offered by Softnet.

Installing

For proper functioning, Softnet binary requires two things:

  • a SUID-bit to be set on the binary or a passwordless sudo to be configured, which effectively gives the binary root privileges
    • these privileges are needed to create vmnet.framework interface and perform DHCP-related system tweaks
    • the privileges will be dropped automatically to that of the calling user (or those represented by the --user and --group command-line arguments) once all of the initialization is completed
  • the binary to be available in PATH
    • so that the Tart will be able to find it

Running

Softnet is started and managed automatically by Tart if --net-softnet flag is provided when calling tart run.