RCU signal handler reader over reader
[urcu.git] / formal-model / urcu / DEFINES
CommitLineData
8bc62ca4
MD
1
2#define NR_READERS 1
3#define NR_WRITERS 1
4
5#define NR_PROCS 2
6
7#define read_free_race (read_generation[0] == last_free_gen)
8#define read_free (free_done && data_access[0])
9
10#define TEST_SIGNAL
11#define TEST_SIGNAL_ON_READ
12
60a1db9d
MD
13#define RCU_GP_CTR_BIT (1 << 7)
14#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
15
06d6106d 16#ifndef READER_NEST_LEVEL
8bc62ca4 17#define READER_NEST_LEVEL 1
06d6106d 18#endif
cc76fd1d
MD
19
20#define REMOTE_BARRIERS
This page took 0.022862 seconds and 4 git commands to generate.