Page MenuHomeFreeBSD

dummynet: fix ip_dn_vnet_init() / dummynet_task() race
AbandonedPublic

Authored by kp on Jul 4 2022, 9:08 PM.
Tags
None
Referenced Files
F154306157: D35716.diff
Mon, Apr 27, 5:50 PM
Unknown Object (File)
Mon, Apr 20, 6:22 AM
Unknown Object (File)
Thu, Apr 16, 5:09 PM
Unknown Object (File)
Wed, Apr 15, 10:52 AM
Unknown Object (File)
Wed, Apr 15, 3:59 AM
Unknown Object (File)
Thu, Apr 9, 3:56 AM
Unknown Object (File)
Mar 20 2026, 6:26 AM
Unknown Object (File)
Feb 16 2026, 3:34 PM

Details

Summary

If dummynet_task() is run on a vnet where dummynet is still initialising
(i.e. still running ip_dn_vnet_init()) we can attempt to use an
uninitialised mutex.

We can use the existing init_done field to check if the per-vnet
V_dn_cfg is fully set up, if we ensure that it's only set to 1 when
we've done all of the init work.

Reported by: Alfredo Dal'Ava Júnior <alfredo@freebsd.org>
Sponsored by: Rubicon Communications, LLC ("Netgate")

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

kp requested review of this revision.Jul 4 2022, 9:08 PM
This revision was not accepted when it landed; it landed in state Needs Review.Jul 5 2022, 5:56 PM
This revision was automatically updated to reflect the committed changes.

This commit breaks non-VIMAGE kernel build. Try MINIMAL kernel for example.

/usr/src/sys/netpfil/ipfw/ip_dn_io.c:674:4: error: 'continue' statement not in loop statement
                        continue;
                        ^
1 error generated.
In D35716#810455, @jkim wrote:

This commit breaks non-VIMAGE kernel build. Try MINIMAL kernel for example.

/usr/src/sys/netpfil/ipfw/ip_dn_io.c:674:4: error: 'continue' statement not in loop statement
                        continue;
                        ^
1 error generated.

I'm aware and am testing a fix (to the vnet macros).