Page MenuHomeFreeBSD

pf: always mark states as unlinked before detaching them
ClosedPublic

Authored by kp on May 6 2024, 2:50 PM.
Tags
None
Referenced Files
F146635951: D45101.id.diff
Wed, Mar 4, 7:35 AM
F146610079: D45101.id138162.diff
Wed, Mar 4, 2:09 AM
F146594486: D45101.id.diff
Tue, Mar 3, 10:58 PM
Unknown Object (File)
Sun, Feb 8, 9:00 AM
Unknown Object (File)
Sun, Feb 8, 12:15 AM
Unknown Object (File)
Jan 31 2026, 9:32 AM
Unknown Object (File)
Jan 25 2026, 10:26 PM
Unknown Object (File)
Jan 24 2026, 8:22 PM

Details

Summary

Users have reported crashes in pf_test_state_udp() where at least one state key
is NULL.

That suggests that pf_detach_state() ran concurrently with pf_test_state_udp().
pf_test_state_udp() holds the state lock (aka the id lock), but
pf_detach_state() does not.
The intent is that detached states are not returned by STATE_LOOKUP/
pf_find_state(), as the state's timeout is set to PFTM_UNLINKED and thus
pf_find_state() does not find the state.

There are other paths to pf_detach_state() (outside of pf_unlink_state())
though, where we did not set the timeout to PFTM_UNLINKED. Fix those, and assert
that the timeout is set correctly when we enter pf_detach_state().

MFC after: 1 week
See also: https://redmine.pfsense.org/issues/15413
Sponsored by: Rubicon Communications, LLC ("Netgate")

Diff Detail

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