Re: [PATCH] net/9p: avoid -ERESTARTSYS leak to userspace
From: Andrew Morton
Date: Fri Mar 09 2018 - 17:13:00 EST
On Fri, 09 Mar 2018 21:41:38 +0100 Greg Kurz <groug@xxxxxxxx> wrote:
> If it was interrupted by a signal, the 9p client may need to send some
> more requests to the server for cleanup before returning to userspace.
>
> To avoid such a last minute request to be interrupted right away, the
> client memorizes if a signal is pending, clears TIF_SIGPENDING, handles
> the request and calls recalc_sigpending() before returning.
>
> Unfortunately, if the transmission of this cleanup request fails for any
> reason, the transport returns an error and the client propagates it right
> away, without calling recalc_sigpending().
>
> This ends up with -ERESTARTSYS from the initially interrupted request
> crawling up to syscall exit, with TIF_SIGPENDING cleared by the cleanup
> request. The specific signal handling code, which is responsible for
> converting -ERESTARTSYS to -EINTR is not called, and userspace receives
> the confusing errno value:
>
> open: Unknown error 512 (512)
>
> This is really hard to hit in real life. I discovered the issue while
> working on hot-unplug of a virtio-9p-pci device with an instrumented
> QEMU allowing to control request completion.
>
> Both p9_client_zc_rpc() and p9_client_rpc() functions have this buggy
> error path actually. Their code flow is a bit obscure and the best
> thing to do would probably be a full rewrite: to really ensure this
> situation of clearing TIF_SIGPENDING and returning -ERESTARTSYS can
> never happen.
>
> But given the general lack of interest for the 9p code, I won't risk
> breaking more things. So this patch simply fixes the buggy paths in
> both functions with a trivial label+goto.
>
> Thanks to Laurent Dufour for his help and suggestions on how to find
> the root cause and how to fix it.
That's a fairly straightforward-looking bug. However the code still
looks a bit racy:
: if (signal_pending(current)) {
: sigpending = 1;
: clear_thread_flag(TIF_SIGPENDING);
: } else
: sigpending = 0;
:
what happens if signal_pending(current) becomes true right here?
: err = c->trans_mod->request(c, req);
I'm surprised that the 9p client is mucking with signals at all.
Signals are a userspace IPC scheme and kernel code should instead be
using the more powerful messaging mechanisms which we've developed.
Ones which don't disrupt userspace state.
Why is this happening? Is there some userspace/kernel interoperation
involved?