libqb  1.0.2
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
Macros | Functions
qbatomic.h File Reference

Basic atomic integer and pointer operations. More...

#include <stdint.h>
#include <qb/qbdefs.h>
#include <qb/qbconfig.h>
Include dependency graph for qbatomic.h:

Macros

#define qb_atomic_int_get(atomic)
 
#define qb_atomic_int_set(atomic, newval)
 
#define qb_atomic_pointer_get(atomic)
 
#define qb_atomic_pointer_set(atomic, newval)
 
#define qb_atomic_int_inc(atomic)   (qb_atomic_int_add ((atomic), 1))
 Atomically increments the integer pointed to by atomic by 1. More...
 
#define qb_atomic_int_dec_and_test(atomic)   (qb_atomic_int_exchange_and_add ((atomic), -1) == 1)
 Atomically decrements the integer pointed to by atomic by 1. More...
 

Functions

void qb_atomic_init (void)
 
int32_t qb_atomic_int_exchange_and_add (volatile int32_t *atomic, int32_t val)
 Atomically adds val to the integer pointed to by atomic. More...
 
void qb_atomic_int_add (volatile int32_t *atomic, int32_t val)
 Atomically adds val to the integer pointed to by atomic. More...
 
int32_t qb_atomic_int_compare_and_exchange (volatile int32_t *atomic, int32_t oldval, int32_t newval)
 Compares oldval with the integer pointed to by atomic and if they are equal, atomically exchanges *atomic with newval. More...
 
int32_t qb_atomic_pointer_compare_and_exchange (volatile void **atomic, void *oldval, void *newval)
 Compares oldval with the pointer pointed to by atomic and if they are equal, atomically exchanges *atomic with newval. More...
 
int32_t qb_atomic_int_get (volatile int32_t *atomic)
 Reads the value of the integer pointed to by atomic. More...
 
void qb_atomic_int_set (volatile int32_t *atomic, int32_t newval)
 Sets the value of the integer pointed to by atomic. More...
 
void * qb_atomic_pointer_get (volatile void **atomic)
 Reads the value of the pointer pointed to by atomic. More...
 
void qb_atomic_pointer_set (volatile void **atomic, void *newval)
 Sets the value of the pointer pointed to by atomic. More...
 

Detailed Description

Basic atomic integer and pointer operations.

The following functions can be used to atomically access integers and pointers. They are implemented as inline assembler function on most platforms and use slower fall-backs otherwise. Using them can sometimes save you from using a performance-expensive pthread_mutex to protect the integer or pointer.

The most important usage is reference counting. Using qb_atomic_int_inc() and qb_atomic_int_dec_and_test() makes reference counting a very fast operation.

You must not directly read integers or pointers concurrently accessed by multiple threads, but use the atomic accessor functions instead. That is, always use qb_atomic_int_get() and qb_atomic_pointer_get() for read outs. They provide the necessary synchronization mechanisms like memory barriers to access memory locations concurrently.

If you are using those functions for anything apart from simple reference counting, you should really be aware of the implications of doing that. There are literally thousands of ways to shoot yourself in the foot. So if in doubt, use a pthread_mutex. If you don't know, what memory barriers are, do not use anything but qb_atomic_int_inc() and qb_atomic_int_dec_and_test().

It is not safe to set an integer or pointer just by assigning to it, when it is concurrently accessed by other threads with the following functions. Use qb_atomic_int_compare_and_exchange() or qb_atomic_pointer_compare_and_exchange() respectively.

Macro Definition Documentation

#define qb_atomic_int_dec_and_test (   atomic)    (qb_atomic_int_exchange_and_add ((atomic), -1) == 1)

Atomically decrements the integer pointed to by atomic by 1.

Parameters
atomica pointer to an integer
Returns
QB_TRUE if the integer pointed to by atomic is 0 after decrementing it
#define qb_atomic_int_get (   atomic)
Value:
((void) sizeof (char* [sizeof (*(atomic)) == sizeof (int32_t) ? 1 : -1]), \
(qb_atomic_int_get) ((volatile int32_t QB_GNUC_MAY_ALIAS *) (volatile void *) (atomic)))
#define QB_GNUC_MAY_ALIAS
Definition: qbdefs.h:108
#define qb_atomic_int_get(atomic)
Definition: qbatomic.h:169
#define qb_atomic_int_inc (   atomic)    (qb_atomic_int_add ((atomic), 1))

Atomically increments the integer pointed to by atomic by 1.

Parameters
atomica pointer to an integer.
#define qb_atomic_int_set (   atomic,
  newval 
)
Value:
((void) sizeof (char* [sizeof (*(atomic)) == sizeof (int32_t) ? 1 : -1]), \
(qb_atomic_int_set) ((volatile int32_t QB_GNUC_MAY_ALIAS *) (volatile void *) (atomic), (newval)))
#define QB_GNUC_MAY_ALIAS
Definition: qbdefs.h:108
#define qb_atomic_int_set(atomic, newval)
Definition: qbatomic.h:172
#define qb_atomic_pointer_get (   atomic)
Value:
((void) sizeof (char* [sizeof (*(atomic)) == sizeof (void*) ? 1 : -1]), \
(qb_atomic_pointer_get) ((volatile void* QB_GNUC_MAY_ALIAS *) (volatile void *) (atomic)))
#define QB_GNUC_MAY_ALIAS
Definition: qbdefs.h:108
#define qb_atomic_pointer_get(atomic)
Definition: qbatomic.h:175
#define qb_atomic_pointer_set (   atomic,
  newval 
)
Value:
((void) sizeof (char* [sizeof (*(atomic)) == sizeof (void*) ? 1 : -1]), \
(qb_atomic_pointer_set) ((volatile void* QB_GNUC_MAY_ALIAS *) (volatile void *) (atomic), (newval)))
#define QB_GNUC_MAY_ALIAS
Definition: qbdefs.h:108
#define qb_atomic_pointer_set(atomic, newval)
Definition: qbatomic.h:178

Function Documentation

void qb_atomic_init ( void  )
void qb_atomic_int_add ( volatile int32_t *  atomic,
int32_t  val 
)

Atomically adds val to the integer pointed to by atomic.

Also acts as a memory barrier.

Parameters
atomica pointer to an integer
valthe value to add to *atomic
int32_t qb_atomic_int_compare_and_exchange ( volatile int32_t *  atomic,
int32_t  oldval,
int32_t  newval 
)

Compares oldval with the integer pointed to by atomic and if they are equal, atomically exchanges *atomic with newval.

Also acts as a memory barrier.

Parameters
atomica pointer to an integer
oldvalthe assumed old value of *atomic
newvalthe new value of *atomic
Returns
QB_TRUE, if *atomic was equal oldval. QB_FALSE otherwise.
int32_t qb_atomic_int_exchange_and_add ( volatile int32_t *  atomic,
int32_t  val 
)

Atomically adds val to the integer pointed to by atomic.

It returns the value of *atomic just before the addition took place. Also acts as a memory barrier.

Parameters
atomica pointer to an integer
valthe value to add to *atomic
Returns
the value of *atomic before the addition.
int32_t qb_atomic_int_get ( volatile int32_t *  atomic)

Reads the value of the integer pointed to by atomic.

Also acts as a memory barrier.

Parameters
atomica pointer to an integer
Returns
the value of atomic
void qb_atomic_int_set ( volatile int32_t *  atomic,
int32_t  newval 
)

Sets the value of the integer pointed to by atomic.

Also acts as a memory barrier.

Parameters
atomica pointer to an integer
newvalthe new value
int32_t qb_atomic_pointer_compare_and_exchange ( volatile void **  atomic,
void *  oldval,
void *  newval 
)

Compares oldval with the pointer pointed to by atomic and if they are equal, atomically exchanges *atomic with newval.

Also acts as a memory barrier.

Parameters
atomica pointer to a void*
oldvalthe assumed old value of *atomic
newvalthe new value of *atomic
Returns
QB_TRUE if atomic was equal oldval, else QB_FALSE.
void* qb_atomic_pointer_get ( volatile void **  atomic)

Reads the value of the pointer pointed to by atomic.

Also acts as a memory barrier.

Parameters
atomica pointer to a void*.
Returns
the value to add to atomic.
void qb_atomic_pointer_set ( volatile void **  atomic,
void *  newval 
)

Sets the value of the pointer pointed to by atomic.

Also acts as a memory barrier.

Parameters
atomica pointer to a void*
newvalthe new value