2010-01-07 11:53:35 -05:00
# ifndef _ASM_X86_ATOMIC_H
# define _ASM_X86_ATOMIC_H
# include <linux/compiler.h>
# include <linux/types.h>
# include <asm/alternative.h>
# include <asm/cmpxchg.h>
2013-09-11 15:19:24 +02:00
# include <asm/rmwcc.h>
2014-03-13 19:00:35 +01:00
# include <asm/barrier.h>
2010-01-07 11:53:35 -05:00
/*
* Atomic operations that C can ' t guarantee us . Useful for
* resource counting etc . .
*/
# define ATOMIC_INIT(i) { (i) }
/**
* atomic_read - read atomic variable
* @ v : pointer of type atomic_t
*
* Atomically reads the value of @ v .
*/
2015-05-08 12:26:02 +02:00
static __always_inline int atomic_read ( const atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2015-09-18 11:13:10 +02:00
return READ_ONCE ( ( v ) - > counter ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_set - set atomic variable
* @ v : pointer of type atomic_t
* @ i : required value
*
* Atomically sets the value of @ v to @ i .
*/
2015-05-08 12:26:02 +02:00
static __always_inline void atomic_set ( atomic_t * v , int i )
2010-01-07 11:53:35 -05:00
{
2015-09-18 11:13:10 +02:00
WRITE_ONCE ( v - > counter , i ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_add - add integer to atomic variable
* @ i : integer value to add
* @ v : pointer of type atomic_t
*
* Atomically adds @ i to @ v .
*/
2015-04-20 23:27:11 +02:00
static __always_inline void atomic_add ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
asm volatile ( LOCK_PREFIX " addl %1,%0 "
: " +m " ( v - > counter )
: " ir " ( i ) ) ;
}
/**
* atomic_sub - subtract integer from atomic variable
* @ i : integer value to subtract
* @ v : pointer of type atomic_t
*
* Atomically subtracts @ i from @ v .
*/
2015-04-20 23:27:11 +02:00
static __always_inline void atomic_sub ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
asm volatile ( LOCK_PREFIX " subl %1,%0 "
: " +m " ( v - > counter )
: " ir " ( i ) ) ;
}
/**
* atomic_sub_and_test - subtract value from variable and test result
* @ i : integer value to subtract
* @ v : pointer of type atomic_t
*
* Atomically subtracts @ i from @ v and returns
* true if the result is zero , or false for all
* other cases .
*/
2016-06-08 12:38:38 -07:00
static __always_inline bool atomic_sub_and_test ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2016-06-08 12:38:39 -07:00
GEN_BINARY_RMWcc ( LOCK_PREFIX " subl " , v - > counter , " er " , i , " %0 " , e ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_inc - increment atomic variable
* @ v : pointer of type atomic_t
*
* Atomically increments @ v by 1.
*/
2015-04-20 23:27:11 +02:00
static __always_inline void atomic_inc ( atomic_t * v )
2010-01-07 11:53:35 -05:00
{
asm volatile ( LOCK_PREFIX " incl %0 "
: " +m " ( v - > counter ) ) ;
}
/**
* atomic_dec - decrement atomic variable
* @ v : pointer of type atomic_t
*
* Atomically decrements @ v by 1.
*/
2015-04-20 23:27:11 +02:00
static __always_inline void atomic_dec ( atomic_t * v )
2010-01-07 11:53:35 -05:00
{
asm volatile ( LOCK_PREFIX " decl %0 "
: " +m " ( v - > counter ) ) ;
}
/**
* atomic_dec_and_test - decrement and test
* @ v : pointer of type atomic_t
*
* Atomically decrements @ v by 1 and
* returns true if the result is 0 , or false for all other
* cases .
*/
2016-06-08 12:38:38 -07:00
static __always_inline bool atomic_dec_and_test ( atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2016-06-08 12:38:39 -07:00
GEN_UNARY_RMWcc ( LOCK_PREFIX " decl " , v - > counter , " %0 " , e ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_inc_and_test - increment and test
* @ v : pointer of type atomic_t
*
* Atomically increments @ v by 1
* and returns true if the result is zero , or false for all
* other cases .
*/
2016-06-08 12:38:38 -07:00
static __always_inline bool atomic_inc_and_test ( atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2016-06-08 12:38:39 -07:00
GEN_UNARY_RMWcc ( LOCK_PREFIX " incl " , v - > counter , " %0 " , e ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_add_negative - add and test if negative
* @ i : integer value to add
* @ v : pointer of type atomic_t
*
* Atomically adds @ i to @ v and returns true
* if the result is negative , or false when
* result is greater than or equal to zero .
*/
2016-06-08 12:38:38 -07:00
static __always_inline bool atomic_add_negative ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2016-06-08 12:38:39 -07:00
GEN_BINARY_RMWcc ( LOCK_PREFIX " addl " , v - > counter , " er " , i , " %0 " , s ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_add_return - add integer and return
* @ i : integer value to add
* @ v : pointer of type atomic_t
*
* Atomically adds @ i to @ v and returns @ i + @ v
*/
2015-04-20 23:27:11 +02:00
static __always_inline int atomic_add_return ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
2011-08-23 16:59:58 -07:00
return i + xadd ( & v - > counter , i ) ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_sub_return - subtract integer and return
* @ v : pointer of type atomic_t
* @ i : integer value to subtract
*
* Atomically subtracts @ i from @ v and returns @ v - @ i
*/
2015-05-08 12:26:02 +02:00
static __always_inline int atomic_sub_return ( int i , atomic_t * v )
2010-01-07 11:53:35 -05:00
{
return atomic_add_return ( - i , v ) ;
}
# define atomic_inc_return(v) (atomic_add_return(1, v))
# define atomic_dec_return(v) (atomic_sub_return(1, v))
2016-04-18 01:16:03 +02:00
static __always_inline int atomic_fetch_add ( int i , atomic_t * v )
{
return xadd ( & v - > counter , i ) ;
}
static __always_inline int atomic_fetch_sub ( int i , atomic_t * v )
{
return xadd ( & v - > counter , - i ) ;
}
2015-05-08 12:26:02 +02:00
static __always_inline int atomic_cmpxchg ( atomic_t * v , int old , int new )
2010-01-07 11:53:35 -05:00
{
return cmpxchg ( & v - > counter , old , new ) ;
}
locking/atomic: Introduce atomic_try_cmpxchg()
Add a new cmpxchg interface:
bool try_cmpxchg(u{8,16,32,64} *ptr, u{8,16,32,64} *val, u{8,16,32,64} new);
Where the boolean returns the result of the compare; and thus if the
exchange happened; and in case of failure, the new value of *ptr is
returned in *val.
This allows simplification/improvement of loops like:
for (;;) {
new = val $op $imm;
old = cmpxchg(ptr, val, new);
if (old == val)
break;
val = old;
}
into:
do {
} while (!try_cmpxchg(ptr, &val, val $op $imm));
while also generating better code (GCC6 and onwards).
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Andy Lutomirski <luto@kernel.org>
Cc: Borislav Petkov <bp@alien8.de>
Cc: Brian Gerst <brgerst@gmail.com>
Cc: Denys Vlasenko <dvlasenk@redhat.com>
Cc: H. Peter Anvin <hpa@zytor.com>
Cc: Josh Poimboeuf <jpoimboe@redhat.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-kernel@vger.kernel.org
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2017-02-01 16:39:38 +01:00
# define atomic_try_cmpxchg atomic_try_cmpxchg
static __always_inline bool atomic_try_cmpxchg ( atomic_t * v , int * old , int new )
{
return try_cmpxchg ( & v - > counter , old , new ) ;
}
2010-01-07 11:53:35 -05:00
static inline int atomic_xchg ( atomic_t * v , int new )
{
return xchg ( & v - > counter , new ) ;
}
2014-04-23 20:28:37 +02:00
# define ATOMIC_OP(op) \
static inline void atomic_ # # op ( int i , atomic_t * v ) \
{ \
asm volatile ( LOCK_PREFIX # op " l %1,%0 " \
: " +m " ( v - > counter ) \
: " ir " ( i ) \
: " memory " ) ; \
}
2016-04-18 01:16:03 +02:00
# define ATOMIC_FETCH_OP(op, c_op) \
2017-03-17 20:44:45 +01:00
static inline int atomic_fetch_ # # op ( int i , atomic_t * v ) \
2016-04-18 01:16:03 +02:00
{ \
2017-03-17 20:44:45 +01:00
int val = atomic_read ( v ) ; \
do { \
} while ( ! atomic_try_cmpxchg ( v , & val , val c_op i ) ) ; \
return val ; \
2016-04-18 01:16:03 +02:00
}
# define ATOMIC_OPS(op, c_op) \
ATOMIC_OP ( op ) \
ATOMIC_FETCH_OP ( op , c_op )
ATOMIC_OPS ( and , & )
ATOMIC_OPS ( or , | )
ATOMIC_OPS ( xor , ^ )
2014-04-23 20:28:37 +02:00
2016-04-18 01:16:03 +02:00
# undef ATOMIC_OPS
# undef ATOMIC_FETCH_OP
2014-04-23 20:28:37 +02:00
# undef ATOMIC_OP
2010-01-07 11:53:35 -05:00
/**
2011-07-26 16:09:07 -07:00
* __atomic_add_unless - add unless the number is already a given value
2010-01-07 11:53:35 -05:00
* @ v : pointer of type atomic_t
* @ a : the amount to add to v . . .
* @ u : . . . unless v is equal to u .
*
* Atomically adds @ a to @ v , so long as @ v was not already @ u .
2011-07-26 16:09:07 -07:00
* Returns the old value of @ v .
2010-01-07 11:53:35 -05:00
*/
2015-04-20 23:27:11 +02:00
static __always_inline int __atomic_add_unless ( atomic_t * v , int a , int u )
2010-01-07 11:53:35 -05:00
{
2017-03-17 20:44:45 +01:00
int c = atomic_read ( v ) ;
do {
if ( unlikely ( c = = u ) )
2010-01-07 11:53:35 -05:00
break ;
2017-03-17 20:44:45 +01:00
} while ( ! atomic_try_cmpxchg ( v , & c , c + a ) ) ;
2011-07-26 16:09:07 -07:00
return c ;
2010-01-07 11:53:35 -05:00
}
/**
* atomic_inc_short - increment of a short integer
* @ v : pointer to type int
*
* Atomically adds 1 to @ v
* Returns the new value of @ u
*/
2015-05-08 12:26:02 +02:00
static __always_inline short int atomic_inc_short ( short int * v )
2010-01-07 11:53:35 -05:00
{
asm ( LOCK_PREFIX " addw $1, %0 " : " +m " ( * v ) ) ;
return * v ;
}
2007-10-11 11:20:03 +02:00
# ifdef CONFIG_X86_32
2012-10-02 18:01:25 +01:00
# include <asm / atomic64_32.h>
2007-10-11 11:20:03 +02:00
# else
2012-10-02 18:01:25 +01:00
# include <asm / atomic64_64.h>
2007-10-11 11:20:03 +02:00
# endif
2010-01-07 11:53:35 -05:00
# endif /* _ASM_X86_ATOMIC_H */