Page MenuHomeFreeBSD

pipe: Use a distinct wait channel for I/O serialization
ClosedPublic

Authored by markj on Jun 6 2022, 6:15 PM.
Tags
None
Referenced Files
Unknown Object (File)
Feb 20 2024, 2:22 PM
Unknown Object (File)
Feb 13 2024, 8:40 PM
Unknown Object (File)
Feb 5 2024, 11:09 PM
Unknown Object (File)
Jan 29 2024, 8:51 AM
Unknown Object (File)
Jan 14 2024, 9:50 AM
Unknown Object (File)
Dec 22 2023, 10:36 PM
Unknown Object (File)
Dec 15 2023, 9:36 AM
Unknown Object (File)
Sep 26 2023, 4:58 AM
Subscribers

Details

Summary

Suppose a thread tries to read from an empty pipe. pipe_read() does the
following:

  1. pipelock(), possibly sleeping
  2. check for buffered data
  3. pipeunlock()
  4. set PIPE_WANTR and sleep
  5. goto 1

pipelock() is an open-coded mutex; if a thread blocks in pipelock(), it
sleeps until the lock holder calls pipeunlock().

Both sleeps use the same wait channel. So if there are multiple threads
in pipe_read(), one thread T1 in step 3 can wake up a thread T2 sleeping
in step 4. Then T1 goes to sleep in step 4, and T2 acquires and
releases the pipelock, waking up T1 again. This can go on indefinitely,
livelocking the process.

Fix the problem by using a separate wait channel for the pipelock.

Reported by: Paul Floyd
PR: 264441

Test Plan

I have a test program which can reproduce the problem. A couple
of test cases from the Valgrind regression test suite also trigger
the bug.

Diff Detail

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