Page MenuHomeFreeBSD

reapkill: handle possible pid reuse after the pid was recorded as signalled
ClosedPublic

Authored by kib on May 14 2023, 1:53 AM.
Tags
None
Referenced Files
Unknown Object (File)
Jan 14 2024, 9:33 AM
Unknown Object (File)
Dec 23 2023, 1:31 AM
Unknown Object (File)
Nov 29 2023, 11:12 PM
Unknown Object (File)
Nov 15 2023, 4:48 PM
Unknown Object (File)
Nov 13 2023, 6:27 AM
Unknown Object (File)
Nov 11 2023, 6:27 AM
Unknown Object (File)
Nov 8 2023, 3:19 PM
Unknown Object (File)
Nov 8 2023, 4:32 AM
Subscribers

Details

Summary
Nothing prevents the signalled process from exiting, and then other
process among eligible for signalling to reuse the exited process pid.
In this case, presence of the pid in the 'pids' unr set prevents it from
getting the deserved signal.

Handle it by marking each process with the new flag P2_REAPKILLED when
we are about to send the signal.  If the process pid is present in the
pids unr, but the struct proc is not marked with P2_REAPKILLED, we must
send signal to the pid again.

The use of the flag relies on the global sapblk preventing parallel
reapkills.

The pids unr must be used to clear the flags to all signalled processes.
unr(9): add iterator interface
unr(9) iterator: add naive test

To use, compile userspace code e.g. into the subr_unit binary, then do
        $ while ./subr_unit -iv >|/tmp/subr_unit.log ; do :; done
The loop should be left run for as long as possible.

Also minor commits fix style, move is_bitmap() around and use it in one more place.
Document clean_unrhdr().

Diff Detail

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

Event Timeline

kib requested review of this revision.May 14 2023, 1:53 AM

Document first/last special ranges

uh->low is not neccessary 0

More fixes for uh->low != 0 first run iteration.
Add test.

share/man/man9/unr.9
104 ↗(On Diff #121934)
107 ↗(On Diff #121934)
sys/kern/kern_procctl.c
428 ↗(On Diff #121959)

I would use atomic_load_int() here to indicate that this is a (safe) unlocked read.

513 ↗(On Diff #121959)

How does this work with respect to parallel calls to PROC_REAP_KILL? AFAICS they are not serialized (only the shared proctree lock is used), so isn't it possible for this loop to clear flags that were set by a different caller?

kib marked 3 inline comments as done.May 15 2023, 6:22 PM
kib added inline comments.
sys/kern/kern_procctl.c
513 ↗(On Diff #121959)

From the commit message `The use of the flag relies on the global sapblk preventing parallel
reapkills.` sx_stop_all_proc_blocker is taken around REAP_KILL for the case when the whole subtree is killed, thus requiring single-threading target processes. We cannot single-thread the same process in parallel.

Then I reused the existing mechanism.

Grammar in man pages.
Update comments about unlocked read of p_flag2 and sapblk.
Use atomic_load for unlocked p_flag2 accesses.

share/man/man9/unr.9
118 ↗(On Diff #121989)
147 ↗(On Diff #121989)
150 ↗(On Diff #121989)
153 ↗(On Diff #121989)
154 ↗(On Diff #121989)
157 ↗(On Diff #121989)
158 ↗(On Diff #121989)
159 ↗(On Diff #121989)
168 ↗(On Diff #121989)
173 ↗(On Diff #121989)
sys/kern/kern_procctl.c
446 ↗(On Diff #121989)
sys/kern/subr_unit.c
254

Suppose I initialize a unr header and then try to iterate over it before allocating anything. In this case, uh->first == 0 and uh->head is empty, but here we assume uh->head is not empty.

281
313

Why iter_next_unrl() instead of next_iter_unr(), to match the pattern used everywhere else?

kib marked 15 inline comments as done.

Reviewer notes.
Fix grammar in the man page.
Correctly handle first iteration for an empty unit.

This revision is now accepted and ready to land.May 24 2023, 3:05 PM

Bug fixes.

  • Check for P2_WEXITED when deciding to skip the specific pid. Since P2_REAPKILLED is not set for such process, we might deadlock.

Several fixes for unr iterator implementation.

  • Do not use % to calculate the clipped bit index in the current bitmap, simply substract the upos_first_item idx.
  • Initialize upos_first_item for the first iteration where there is no compacted run at the beginning.

Add ddb show commands for unrhdr and unrhdr_iter.

This revision now requires review to proceed.May 26 2023, 5:01 PM