[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1313528170.3436.200.camel@mfleming-mobl1.ger.corp.intel.com>
Date: Tue, 16 Aug 2011 21:56:10 +0100
From: Matt Fleming <matt@...sole-pimps.org>
To: Oleg Nesterov <oleg@...hat.com>
Cc: linux-kernel@...r.kernel.org, Petr Vandrovec <petr@...drovec.name>,
Al Viro <viro@...iv.linux.org.uk>,
Arnd Bergmann <arnd@...db.de>
Subject: Re: [PATCH 40/41] ncpfs: Use set_current_blocked()
On Tue, 2011-08-16 at 19:56 +0200, Oleg Nesterov wrote:
> On 08/11, Matt Fleming wrote:
> >
> > As described in e6fa16ab ("signal: sigprocmask() should do
> > retarget_shared_pending()") the modification of current->blocked is
> > incorrect as we need to check whether the signal we're about to block
> > is pending in the shared queue.
>
> I'd wish I could understand this code but this seems impossible ;)
Yeah, I gave up after staring at it for about twenty minutes. I couldn't
fathom the logic behind it.
> IOW, "This doesn't seem right at all." looks reasonable, and the
> PF_EXITING adds even more confusion.
Definitely. If I was more confident in this area of the kernel I would
have just deleted it ;-)
In fact, the more I stare at it, the more I think it needs removing.
Because the thread doesn't hold ->siglock over do_ncp_rpc_call() another
thread could change the signal handler for SIGINT or SIGQUIT mid-call.
Which makes the code under "if (server->m.flags & NCP_MOUNT_INTR)"
pointless.
Petr, Al, Arnd? Could one of you hit me with a clue bat?
> As for this patch, it looks (almost) fine anyway. But,
>
> > @@ -749,7 +749,7 @@ static int ncp_do_request(struct ncp_server *server, int size,
> > return -EIO;
> > }
> > {
> > - sigset_t old_set;
> > + sigset_t old_set, blocked;
> > unsigned long mask, flags;
> >
> > spin_lock_irqsave(¤t->sighand->siglock, flags);
> > @@ -769,16 +769,14 @@ static int ncp_do_request(struct ncp_server *server, int size,
> > if (current->sighand->action[SIGQUIT - 1].sa.sa_handler == SIG_DFL)
> > mask |= sigmask(SIGQUIT);
> > }
> > - siginitsetinv(¤t->blocked, mask);
> > - recalc_sigpending();
> > +
> > + siginitsetinv(&blocked, mask);
> > + __set_task_blocked(current, &blocked);
> > spin_unlock_irqrestore(¤t->sighand->siglock, flags);
>
> Why do we take ->siglock in the first place?
>
> I think it is not needed. We can calculate mask/blocked lockless and
> use set_task_blocked(). This also makes sense because __set_task_blocked
> is not exported ;)
Eek! Sorry, I didn't realise this didn't compile.
> the sighand->action[] checks are racy anyway in the mt case, siglock
> can't help.
Hmm.. really? I thought that ->siglock serialised modifications to
sighand->action[] even in the mt case, no? This was the only reason that
I left the sighand locking around in this function.
--
Matt Fleming, Intel Open Source Technology Center
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists