Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1386005
| From | Vineet Gupta <Vineet.Gupta1@synopsys.com> |
|---|---|
| Newsgroups | linux.kernel |
| Subject | Re: [RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() |
| Date | 2016-04-25 06:30 +0200 |
| Message-ID | <rrGjM-88W-7@gated-at.bofh.it> (permalink) |
| References | <rqFSN-8hs-3@gated-at.bofh.it> <rqG2x-8lR-69@gated-at.bofh.it> <rqGYy-EU-23@gated-at.bofh.it> <rqK66-3fM-29@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Friday 22 April 2016 07:46 PM, Peter Zijlstra wrote:
> On Fri, Apr 22, 2016 at 10:50:41AM +0000, Vineet Gupta wrote:
>
>>> > > +#define ATOMIC_FETCH_OP(op, c_op, asm_op) \
>>> > > +static inline int atomic_fetch_##op(int i, atomic_t *v) \
>>> > > +{ \
>>> > > + unsigned int val, result; \
>>> > > + SCOND_FAIL_RETRY_VAR_DEF \
>>> > > + \
>>> > > + /* \
>>> > > + * Explicit full memory barrier needed before/after as \
>>> > > + * LLOCK/SCOND thmeselves don't provide any such semantics \
>>> > > + */ \
>>> > > + smp_mb(); \
>>> > > + \
>>> > > + __asm__ __volatile__( \
>>> > > + "1: llock %[val], [%[ctr]] \n" \
>>> > > + " mov %[result], %[val] \n" \
>> >
>> > Calling it result could be a bit confusing, this is meant to be the "orig" value.
>> > So it indeed "result" of the API, but for atomic operation it is pristine value.
>> >
>> > Also we can optimize away that MOV - given there are plenty of regs, so
>> >
>>> > > + " " #asm_op " %[val], %[val], %[i] \n" \
>>> > > + " scond %[val], [%[ctr]] \n" \
>> >
>> > Instead have
>> >
>> > + " " #asm_op " %[result], %[val], %[i] \n" \
>> > + " scond %[result], [%[ctr]] \n" \
>> >
>> >
> Indeed, how about something like so?
>
> ---
> Subject: locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}()
> From: Peter Zijlstra <peterz@infradead.org>
> Date: Mon Apr 18 01:16:09 CEST 2016
>
> Implement FETCH-OP atomic primitives, these are very similar to the
> existing OP-RETURN primitives we already have, except they return the
> value of the atomic variable _before_ modification.
>
> This is especially useful for irreversible operations -- such as
> bitops (because it becomes impossible to reconstruct the state prior
> to modification).
>
> Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Vineet Gupta <vgupta@synopsys.com>
Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
[RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() Peter Zijlstra <peterz@infradead.org> - 2016-04-22 12:00 +0200
Re: [RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() Vineet Gupta <Vineet.Gupta1@synopsys.com> - 2016-04-22 13:00 +0200
Re: [RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() Peter Zijlstra <peterz@infradead.org> - 2016-04-22 16:20 +0200
Re: [RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() Vineet Gupta <Vineet.Gupta1@synopsys.com> - 2016-04-25 06:30 +0200
Re: [RFC][PATCH 03/31] locking,arc: Implement atomic_fetch_{add,sub,and,andnot,or,xor}() Peter Zijlstra <peterz@infradead.org> - 2016-04-22 16:30 +0200
csiph-web