[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1521105128.11552.64.camel@synopsys.com>
Date: Thu, 15 Mar 2018 09:12:09 +0000
From: Alexey Brodkin <Alexey.Brodkin@...opsys.com>
To: "peterz@...radead.org" <peterz@...radead.org>
CC: "Vineet.Gupta1@...opsys.com" <Vineet.Gupta1@...opsys.com>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
"linux-arch@...r.kernel.org" <linux-arch@...r.kernel.org>,
"linux-snps-arc@...ts.infradead.org"
<linux-snps-arc@...ts.infradead.org>
Subject: Re: arc_usr_cmpxchg and preemption
Hi Peter,
On Thu, 2018-03-15 at 09:18 +0100, Peter Zijlstra wrote:
> On Wed, Mar 14, 2018 at 08:38:53PM +0000, Alexey Brodkin wrote:
> > > int sys_cmpxchg(u32 __user *user_ptr, u32 old, u32 new)
> > > {
> > > u32 val;
> > > int ret;
> > >
> > > again:
> > > ret = 0;
> > >
> > > preempt_disable();
> > > val = get_user(user_ptr);
> > > if (val == old)
> > > ret = put_user(new, user_ptr);
> > > preempt_enable();
> > >
> > > if (ret == -EFAULT) {
> > > struct page *page;
> > > ret = get_user_pages_fast((unsigned long)user_ptr, 1, 1, &page);
> > > if (ret < 0)
> > > return ret;
> > > put_page(page);
> > > goto again;
> >
> > I guess this jump we need to do only once, right?
>
> Typically, yes. It is theoretically possible for the page to get
> paged-out right after we do put_page() and before we do get/put_user(),
> But if that happens the machine likely has bigger problems than having
> to do this loop again.
>
> FWIW, look at kernel/futex.c for working examples of this pattern, the
> above was written purely from memory and could contain a fail or two ;-)
Thanks for the pointer!
> Also, it might make sense to stuff this implementation in some lib/ file
> somewhere and make all platforms that need it use the same code, afaict
> there really isn't anything platform specific to it.
Not clear which part do you mean here.
Are you talking about entire cmpxchg syscall implementation?
Do you think there're many users of that quite an inefficient
[compared to proper HW version] atomic exchange?
-Alexey
Powered by blists - more mailing lists