PT-2026-136091
CVE-2026-99255
·
Published
2026-11-03
·
Updated
2026-11-03
Description by
Score
N/A
Not availableNo severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.
In the Linux kernel, the following vulnerability has been resolved:
io uring/io-wq: don't hide a link from cancellations
A task that exits cancels its tracked requests and waits until they are
gone. io uring cancel generic() looks everywhere a request can be, and
goes to sleep if it found nothing to cancel. It is woken up each time
one of the requests of the task is completed by task work or freed.
When io-wq is done with a request that has a link, there is a time in which
the next request of the link can't be found:
io worker handle work()
io assign current work(worker, NULL)
io wq free work(work)
io req find next() // takes the link off the request
io free req() // task work for the task
io assign current work(worker, linked)
io run task work()
cond resched()
worker->cur work = linked
It is not pending, it is not the current work of a worker, and it is not
yet on the list that it is about to be parked on. If the pass that the
exiting task makes because of io free req() falls into that time, it finds
nothing and the task goes to sleep. The worker then runs the link, which
IO WQ BIT EXIT doesn't prevent for bounded work. If that parks the request
nothing is completed or freed, and nobody wakes up the task. If it is the
process that exits it can't be killed any more either.
NOP, IOSQE ASYNC | IOSQE IO LINK
FUTEX WAIT, FUTEX2 PRIVATE
exit of the thread, or of the process, up to 63us later
With four of these per round 5 to 8 of 10,000 rounds hang (4 CPUs, KVM):
io uring cancel generic
do exit
Commit f8b632e89a10 ("io uring: tighten task exit cancellations") is about
the same gap, and makes the task look again for whatever happens before
io free req().
Free the request once the link is the current work of the worker, or
pending. Whoever is woken up by that can find the link, until it is parked
where cancellations look as well. To do so split io wq free work() in two.
Found an issue in the description? Have something to add? Feel free to write us 👾