[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20081222043208.GB13406@wotan.suse.de>
Date: Mon, 22 Dec 2008 05:32:09 +0100
From: Nick Piggin <npiggin@...e.de>
To: Ingo Molnar <mingo@...e.hu>
Cc: Darren Hart <dvhltc@...ibm.com>,
Peter Zijlstra <a.p.zijlstra@...llo.nl>,
Andrew Morton <akpm@...ux-foundation.org>,
Hugh Dickins <hugh@...itas.com>,
"lkml, " <linux-kernel@...r.kernel.org>,
Rusty Russell <rusty@....ibm.com>,
Thomas Gleixner <tglx@...utronix.de>
Subject: Re: futex.c and fault handling
On Fri, Dec 19, 2008 at 11:37:20PM +0100, Ingo Molnar wrote:
>
> (extended the Cc: list with MM experts.)
>
> * Darren Hart <dvhltc@...ibm.com> wrote:
>
> > I've been working in linux-tip core/futexes lately and have a need to be
> > able to properly handle faults for r/w access to a uaddr. I was
> > planning on modeling this on the fault handling in futex_lock_pi which
> > used both get_user() and futex_handle_fault() to get the pages.
> > However, that used to be based on whether or not we held the mmap_sem.
> > Now that we're using fast_gup throughout futex.c, and the mmap_sem
> > locking has been pushed in tighter in get_futex_key(), I'm not sure if
> > the fault handling is still correct - the comments are certainly
> > incorrect since we no longer hold the mmap_sem when we hit
> > uaddr_faulted: inside futex_lock_pi (and a few other places have similar
> > comment vs. code dicrepancies):
> >
> > uaddr_faulted:
> > /*
> > * We have to r/w *(int __user *)uaddr, and we have to modify it
> > * atomically. Therefore, if we continue to fault after get_user()
> > * below, we need to handle the fault ourselves, while still holding
> > * the mmap_sem. This can occur if the uaddr is under contention as
> > * we have to drop the mmap_sem in order to call get_user().
> > */
> > queue_unlock(&q, hb);
> >
> > if (attempt++) {
> > ret = futex_handle_fault((unsigned long)uaddr, attempt);
> > if (ret)
> > goto out_put_key;
> > goto retry_unlocked;
> > }
> >
> > ---> previous versions dropped the mmap_sem here in preparation for get_user()
> >
> > ret = get_user(uval, uaddr);
> > if (!ret)
> > goto retry;
> >
> >
> > So is the code still correct without the holding of mmap_sem? I suppose
> > get_user() is still the more efficient path, and perhaps even more so
> > now that we don't have to release mmap_sem and reacquire it later in
> > order to call it. If so, then I guess all that is needed is a comments
> > patch, which I'd be happy to write up.
It would be really nice to have some arch hooks that can fault in user
addresses for read and/or write, and rip all this code out of futex.c
Even more fundamentally, I suspect the futex code might be able to be
implemented without holding mmap_sem or hb locks over the atomic op,
which would be nice. But that would be a much bigger job than simply
implementing fault_in_pages_writeable in a general manner.
--
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