[urcu.git] / formal-model / urcu / DEFINES


#define NR_READERS 1
#define NR_WRITERS 1

#define NR_PROCS 2

#define read_free_race	(read_generation[0] == last_free_gen)
#define read_free	(free_done && data_access[0])

#define TEST_SIGNAL
#define TEST_SIGNAL_ON_READ

#define RCU_GP_CTR_BIT (1 << 7)
#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)

#ifndef READER_NEST_LEVEL
#define READER_NEST_LEVEL 1
#endif

#define REMOTE_BARRIERS
Commit	Line	Data
	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
	13	#define RCU_GP_CTR_BIT (1 << 7)
	14	#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
	15
	16	#ifndef READER_NEST_LEVEL
	17	#define READER_NEST_LEVEL 1
	18	#endif
	19
	20	#define REMOTE_BARRIERS