[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CANHzP_ui_TEPvr6wkWr42j46Sk5qHzZ+p0oo06BrNny52dPK9Q@mail.gmail.com>
Date: Wed, 23 Apr 2025 22:29:39 +0800
From: 姜智伟 <qq282012236@...il.com>
To: Jens Axboe <axboe@...nel.dk>
Cc: viro@...iv.linux.org.uk, brauner@...nel.org, jack@...e.cz,
akpm@...ux-foundation.org, peterx@...hat.com, asml.silence@...il.com,
linux-fsdevel@...r.kernel.org, linux-mm@...ck.org,
linux-kernel@...r.kernel.org, io-uring@...r.kernel.org
Subject: Re: [PATCH v2 1/2] io_uring: Add new functions to handle user fault scenarios
Jens Axboe <axboe@...nel.dk> 于2025年4月23日周三 21:34写道:
>
> On 4/22/25 8:49 PM, ??? wrote:
> > On Wed, Apr 23, 2025 at 1:33?AM Jens Axboe <axboe@...nel.dk> wrote:
> >>
> >> On 4/22/25 11:04 AM, ??? wrote:
> >>> On Wed, Apr 23, 2025 at 12:32?AM Jens Axboe <axboe@...nel.dk> wrote:
> >>>>
> >>>> On 4/22/25 10:29 AM, Zhiwei Jiang wrote:
> >>>>> diff --git a/io_uring/io-wq.h b/io_uring/io-wq.h
> >>>>> index d4fb2940e435..8567a9c819db 100644
> >>>>> --- a/io_uring/io-wq.h
> >>>>> +++ b/io_uring/io-wq.h
> >>>>> @@ -70,8 +70,10 @@ enum io_wq_cancel io_wq_cancel_cb(struct io_wq *wq, work_cancel_fn *cancel,
> >>>>> void *data, bool cancel_all);
> >>>>>
> >>>>> #if defined(CONFIG_IO_WQ)
> >>>>> -extern void io_wq_worker_sleeping(struct task_struct *);
> >>>>> -extern void io_wq_worker_running(struct task_struct *);
> >>>>> +extern void io_wq_worker_sleeping(struct task_struct *tsk);
> >>>>> +extern void io_wq_worker_running(struct task_struct *tsk);
> >>>>> +extern void set_userfault_flag_for_ioworker(void);
> >>>>> +extern void clear_userfault_flag_for_ioworker(void);
> >>>>> #else
> >>>>> static inline void io_wq_worker_sleeping(struct task_struct *tsk)
> >>>>> {
> >>>>> @@ -79,6 +81,12 @@ static inline void io_wq_worker_sleeping(struct task_struct *tsk)
> >>>>> static inline void io_wq_worker_running(struct task_struct *tsk)
> >>>>> {
> >>>>> }
> >>>>> +static inline void set_userfault_flag_for_ioworker(void)
> >>>>> +{
> >>>>> +}
> >>>>> +static inline void clear_userfault_flag_for_ioworker(void)
> >>>>> +{
> >>>>> +}
> >>>>> #endif
> >>>>>
> >>>>> static inline bool io_wq_current_is_worker(void)
> >>>>
> >>>> This should go in include/linux/io_uring.h and then userfaultfd would
> >>>> not have to include io_uring private headers.
> >>>>
> >>>> But that's beside the point, like I said we still need to get to the
> >>>> bottom of what is going on here first, rather than try and paper around
> >>>> it. So please don't post more versions of this before we have that
> >>>> understanding.
> >>>>
> >>>> See previous emails on 6.8 and other kernel versions.
> >>>>
> >>>> --
> >>>> Jens Axboe
> >>> The issue did not involve creating new worker processes. Instead, the
> >>> existing IOU worker kernel threads (about a dozen) associated with the VM
> >>> process were fully utilizing CPU without writing data, caused by a fault
> >>> while reading user data pages in the fault_in_iov_iter_readable function
> >>> when pulling user memory into kernel space.
> >>
> >> OK that makes more sense, I can certainly reproduce a loop in this path:
> >>
> >> iou-wrk-726 729 36.910071: 9737 cycles:P:
> >> ffff800080456c44 handle_userfault+0x47c
> >> ffff800080381fc0 hugetlb_fault+0xb68
> >> ffff80008031fee4 handle_mm_fault+0x2fc
> >> ffff8000812ada6c do_page_fault+0x1e4
> >> ffff8000812ae024 do_translation_fault+0x9c
> >> ffff800080049a9c do_mem_abort+0x44
> >> ffff80008129bd78 el1_abort+0x38
> >> ffff80008129ceb4 el1h_64_sync_handler+0xd4
> >> ffff8000800112b4 el1h_64_sync+0x6c
> >> ffff80008030984c fault_in_readable+0x74
> >> ffff800080476f3c iomap_file_buffered_write+0x14c
> >> ffff8000809b1230 blkdev_write_iter+0x1a8
> >> ffff800080a1f378 io_write+0x188
> >> ffff800080a14f30 io_issue_sqe+0x68
> >> ffff800080a155d0 io_wq_submit_work+0xa8
> >> ffff800080a32afc io_worker_handle_work+0x1f4
> >> ffff800080a332b8 io_wq_worker+0x110
> >> ffff80008002dd38 ret_from_fork+0x10
> >>
> >> which seems to be expected, we'd continually try and fault in the
> >> ranges, if the userfaultfd handler isn't filling them.
> >>
> >> I guess this is where I'm still confused, because I don't see how this
> >> is different from if you have a normal write(2) syscall doing the same
> >> thing - you'd get the same looping.
> >>
> >> ??
> >>
> >>> This issue occurs like during VM snapshot loading (which uses
> >>> userfaultfd for on-demand memory loading), while the task in the guest is
> >>> writing data to disk.
> >>>
> >>> Normally, the VM first triggers a user fault to fill the page table.
> >>> So in the IOU worker thread, the page tables are already filled,
> >>> fault no chance happens when faulting in memory pages
> >>> in fault_in_iov_iter_readable.
> >>>
> >>> I suspect that during snapshot loading, a memory access in the
> >>> VM triggers an async page fault handled by the kernel thread,
> >>> while the IOU worker's async kernel thread is also running.
> >>> Maybe If the IOU worker's thread is scheduled first.
> >>> I?m going to bed now.
> >>
> >> Ah ok, so what you're saying is that because we end up not sleeping
> >> (because a signal is pending, it seems), then the fault will never get
> >> filled and hence progress not made? And the signal is pending because
> >> someone tried to create a net worker, and this work is not getting
> >> processed.
> >>
> >> --
> >> Jens Axboe
> > handle_userfault() {
> > hugetlb_vma_lock_read();
> > _raw_spin_lock_irq() {
> > __pv_queued_spin_lock_slowpath();
> > }
> > vma_mmu_pagesize() {
> > hugetlb_vm_op_pagesize();
> > }
> > huge_pte_offset();
> > hugetlb_vma_unlock_read();
> > up_read();
> > __wake_up() {
> > _raw_spin_lock_irqsave() {
> > __pv_queued_spin_lock_slowpath();
> > }
> > __wake_up_common();
> > _raw_spin_unlock_irqrestore();
> > }
> > schedule() {
> > io_wq_worker_sleeping() {
> > io_wq_dec_running();
> > }
> > rcu_note_context_switch();
> > raw_spin_rq_lock_nested() {
> > _raw_spin_lock();
> > }
> > update_rq_clock();
> > pick_next_task() {
> > pick_next_task_fair() {
> > update_curr() {
> > update_curr_se();
> > __calc_delta.constprop.0();
> > update_min_vruntime();
> > }
> > check_cfs_rq_runtime();
> > pick_next_entity() {
> > pick_eevdf();
> > }
> > update_curr() {
> > update_curr_se();
> > __calc_delta.constprop.0();
> > update_min_vruntime();
> > }
> > check_cfs_rq_runtime();
> > pick_next_entity() {
> > pick_eevdf();
> > }
> > update_curr() {
> > update_curr_se();
> > update_min_vruntime();
> > cpuacct_charge();
> > __cgroup_account_cputime() {
> > cgroup_rstat_updated();
> > }
> > }
> > check_cfs_rq_runtime();
> > pick_next_entity() {
> > pick_eevdf();
> > }
> > }
> > }
> > raw_spin_rq_unlock();
> > io_wq_worker_running();
> > }
> > _raw_spin_lock_irq() {
> > __pv_queued_spin_lock_slowpath();
> > }
> > userfaultfd_ctx_put();
> > }
> > }
> > The execution flow above is the one that kept faulting
> > repeatedly in the IOU worker during the issue. The entire fault path,
> > including this final userfault handling code you're seeing, would be
> > triggered in an infinite loop. That's why I traced and found that the
> > io_wq_worker_running() function returns early, causing the flow to
> > differ from a normal user fault, where it should be sleeping.
>
> io_wq_worker_running() is called when the task is scheduled back in.
> There's no "returning early" here, it simply updates the accounting.
> Which is part of why your patch makes very little sense to me, we
> would've called both io_wq_worker_sleeping() and _running() from the
> userfaultfd path. The latter doesn't really do much, it simply just
> increments the running worker count, if the worker was previously marked
> as sleeping.
>
> And I strongly suspect that the latter is the issue, not the marking of
> running. The above loop is fine if we do go to sleep in schedule.
> However, if there's task_work (either TWA_SIGNAL or TWA_NOTIFY_SIGNAL
> based) pending, then schedule() will be a no-op and we're going to
> repeatedly go through that loop. This is because the expectation here is
> that the loop will be aborted if either of those is true, so that
> task_work can get run (or a signal handled, whatever), and then the
> operation retried.
>
> > However, your call stack appears to behave normally,
> > which makes me curious about what's different about execution flow.
> > Would you be able to share your test case code so I can study it
> > and try to reproduce the behavior on my side?
>
> It behaves normally for the initial attempt - we end up sleeping in
> schedule(). However, then a new worker gets created, or the ring
> shutdown, in which case schedule() ends up being a no-op because
> TWA_NOTIFY_SIGNAL is set, and then we just sit there in a loop running
> the same code again and again to no avail. So I do think my test case
> and your issue is the same, I just reproduce it by calling
> io_uring_queue_exit(), but the exact same thing would happen if worker
> creation is attempted while an io-wq worker is blocked
> handle_userfault().
>
> This is why I want to fully understand the issue rather than paper
> around it, as I don't think the fix is correct as-is. We really want to
> abort the loop and allow the task to handle whatever signaling is
> currently preventing proper sleeps.
>
> I'll dabble a bit more and send out the test case too, in case it'll
> help on your end.
>
> --
> Jens Axboe
I’m really looking forward to your test case. Also, I’d like to emphasize one
more point: the handle_userfault graph path I sent you, including the schedule
function, is complete and unmodified. You can see that the schedule function
is very, very short. I understand your point about signal handling, but in this
very brief function graph, I haven’t yet seen any functions related to signal
handling. Additionally, there is no context switch here, nor is it the situation
where the thread is being scheduled back in. Perhaps the scenario you’ve
reproduced is still different from the one I’ve encountered in some subtle way?
void io_wq_worker_running(struct task_struct *tsk)
{
struct io_worker *worker = tsk->worker_private;
if (!worker)
return;
if (!test_bit(IO_WORKER_F_FAULT, &worker->flags)) {
if (!test_bit(IO_WORKER_F_UP, &worker->flags))
return;
if (test_bit(IO_WORKER_F_RUNNING, &worker->flags))
return;
set_bit(IO_WORKER_F_RUNNING, &worker->flags);
io_wq_inc_running(worker);
}
}
However, from my observation during the crash live memory analysis,
when this happens in the IOU worker thread, the
IO_WORKER_F_RUNNING flag is set. This is what I said "early return",
rather than just a simple accounting function.I look forward to your
deeper analysis and any corrections you may have.
Powered by blists - more mailing lists