pd.if.org Git - liblfds/blob - liblfds/liblfds7.0.0/liblfds700/src/lfds700_stack/lfds700_stack_push.c

   1 /***** includes *****/
   2 #include "lfds700_stack_internal.h"
   3
   4
   5
   6
   7
   8 /****************************************************************************/
   9 void lfds700_stack_push( struct lfds700_stack_state *ss, struct lfds700_stack_element *se, struct lfds700_misc_prng_state *ps )
  10 {
  11   char unsigned
  12     result;
  13
  14   lfds700_pal_uint_t
  15     backoff_iteration = LFDS700_MISC_ABSTRACTION_BACKOFF_INITIAL_VALUE;
  16
  17   struct lfds700_stack_element LFDS700_PAL_ALIGN(LFDS700_PAL_ALIGN_DOUBLE_POINTER)
  18     *new_top[PAC_SIZE],
  19     *volatile original_top[PAC_SIZE];
  20
  21   LFDS700_PAL_ASSERT( ss != NULL );
  22   LFDS700_PAL_ASSERT( se != NULL );
  23   LFDS700_PAL_ASSERT( ps != 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     new_top[COUNTER] = original_top[COUNTER] + 1;
  33     se->next = original_top[POINTER];
  34
  35     LFDS700_PAL_BARRIER_PROCESSOR_STORE;
  36     LFDS700_PAL_ATOMIC_DWCAS_WITH_BACKOFF( &ss->top, original_top, new_top, LFDS700_MISC_CAS_STRENGTH_WEAK, result, backoff_iteration, ps );
  37   }
  38   while( result != 1 );
  39
  40   return;
  41 }
  42