On Fri, Sep 20, 2013 at 06:41:44PM +0200, Oleg Nesterov wrote:
 > On 09/20, Dave Jones wrote:
 > >
 > > It looks like both 64a16caf5, and 98abed020 both introduced error paths to 
 > > do_wait
 > > where we miss unlocking the tasklist.
 > >
 > > Spotted with coverity.
 > 
 > Not really, afaics.
 > 
 > > --- a/kernel/exit.c
 > > +++ b/kernel/exit.c
 > > @@ -1526,13 +1526,15 @@ repeat:
 > >    tsk = current;
 > >    do {
 > >            retval = do_wait_thread(wo, tsk);
 > > -          if (retval)
 > > +          if (retval) {
 > > +                  read_unlock(&tasklist_lock);
 > 
 > note that do_wait_thread() paths should drop tasklist if it returns non-zero.

Ah, I missed the unlock in wait_task_continued. 

I'm not sure why the checker didn't infer that. Perhaps it thinks it's possible 
we
can get take one of the early returns in that function before we do the 
tasklist unlock.

thanks,

        Dave


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to