Page MenuHomeFreeBSD
Differential D27522

fd: make serialization in fdescfree_fds conditional on hold count
ClosedPublic
Actions

Authored by mjg on Dec 9 2020, 2:44 PM.
Tags
None
Referenced Files
F164349336: D27522.diff
Fri, Jul 31, 1:57 AM
Unknown Object (File)
Wed, Jul 22, 4:12 AM
Unknown Object (File)
Mon, Jul 20, 5:37 AM
Unknown Object (File)
Sun, Jul 19, 3:59 PM
Unknown Object (File)
Sat, Jul 4, 3:48 PM
Unknown Object (File)
May 8 2026, 9:41 AM
Unknown Object (File)
May 4 2026, 4:10 PM
Unknown Object (File)
Apr 30 2026, 7:53 AM
View All Files
Subscribers
imp

Details

Reviewers
kib
markj
Commits
rS368516: fd: make serialization in fdescfree_fds conditional on hold count
Summary

p_fd nullification in fdescfree serializes against new threads transitioning the count 1 -> 2, meaning that fdescfree_fds observing the count of 1 can safely assume there is nobody else using the table. Losing the race and observing > 1 is harmless.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

mjg requested review of this revision.Dec 9 2020, 2:44 PM
mjg created this revision.
markj accepted this revision.Dec 10 2020, 2:57 PM
markj added inline comments.
sys/kern/kern_descrip.c
2470 ↗(On Diff #80477)

It would be worth adding a sentence explaining why we know that fd_holdcnt can't increase at this point.

This revision is now accepted and ready to land.Dec 10 2020, 2:57 PM
Closed by commit rS368516: fd: make serialization in fdescfree_fds conditional on hold count (authored by mjg). · Explain WhyDec 10 2020, 5:17 PM
This revision was automatically updated to reflect the committed changes.
mjg added a commit: rS368516: fd: make serialization in fdescfree_fds conditional on hold count.
Herald added a subscriber: imp. · View Herald TranscriptDec 10 2020, 5:17 PM

Revision Contents
Changeset List

PathSize
head/
sys/
kern/
10 lines

Diff 80531

View Options

head/sys/kern/kern_descrip.c

Loading...