pd.if.org Git - liblfds/blob - liblfds/liblfds7.1.0/liblfds710/src/lfds710_stack/lfds710_stack_push.c

   1 /***** includes *****/
   2 #include "lfds710_stack_internal.h"
   3
   4
   5
   6
   7
   8 /****************************************************************************/
   9 void lfds710_stack_push( struct lfds710_stack_state *ss,
  10                          struct lfds710_stack_element *se )
  11 {
  12   char unsigned
  13     result;
  14
  15   lfds710_pal_uint_t
  16     backoff_iteration = LFDS710_BACKOFF_INITIAL_VALUE;
  17
  18   struct lfds710_stack_element LFDS710_PAL_ALIGN(LFDS710_PAL_ALIGN_DOUBLE_POINTER)
  19     *new_top[PAC_SIZE],
  20     *volatile original_top[PAC_SIZE];
  21
  22   LFDS710_PAL_ASSERT( ss != NULL );
  23   LFDS710_PAL_ASSERT( se != NULL );
  24
  25   new_top[POINTER] = se;
  26
  27   original_top[COUNTER] = ss->top[COUNTER];
  28   original_top[POINTER] = ss->top[POINTER];
  29
  30   do
  31   {
  32     se->next = original_top[POINTER];
  33     LFDS710_MISC_BARRIER_STORE;
  34
  35     new_top[COUNTER] = original_top[COUNTER] + 1;
  36     LFDS710_PAL_ATOMIC_DWCAS( ss->top, original_top, new_top, LFDS710_MISC_CAS_STRENGTH_WEAK, result );
  37
  38     if( result == 0 )
  39       LFDS710_BACKOFF_EXPONENTIAL_BACKOFF( ss->push_backoff, backoff_iteration );
  40   }
  41   while( result == 0 );
  42
  43   LFDS710_BACKOFF_AUTOTUNE( ss->push_backoff, backoff_iteration );
  44
  45   return;
  46 }
  47