formal-model/urcu-nosched-model/result-signal-over-writer/testmerge/DEFINES

   1
   2 #define NR_READERS 2
   3 #define NR_WRITERS 1
   4
   5 #define NR_PROCS 3
   6
   7
   8 #if (NR_READERS == 1)
   9
  10 #define read_free_race  (read_generation[0] == last_free_gen)
  11 #define read_free       (free_done && data_access[0])
  12
  13 #elif (NR_READERS == 2)
  14
  15 #define read_free_race  (read_generation[0] == last_free_gen || read_generation[1] == last_free_gen)
  16 #define read_free       (free_done && (data_access[0] || data_access[1]))
  17
  18 #else
  19
  20 #error "Too many readers"
  21
  22 #endif
  23
  24 #define RCU_GP_CTR_BIT (1 << 7)
  25 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
  26
  27 #ifndef READER_NEST_LEVEL
  28 #define READER_NEST_LEVEL 2
  29 #endif
  30
  31 #define REMOTE_BARRIERS