formal-model/urcu/result-standard-execution-nonest/DEFINES

   1
   2 #define read_free_race  (read_generation[0] == last_free_gen)
   3 #define read_free       (free_done && data_access[0])
   4
   5 //#define TEST_SIGNAL
   6 //#define TEST_SIGNAL_ON_READ
   7 //#define TEST_SIGNAL_ON_WRITE
   8
   9 #define RCU_GP_CTR_BIT (1 << 7)
  10 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
  11
  12 #ifndef READER_NEST_LEVEL
  13 #define READER_NEST_LEVEL 1
  14 //#define READER_NEST_LEVEL 2
  15 #endif
  16
  17 #define REMOTE_BARRIERS