[urcu.git] / formal-model / urcu-nosched-model / result-signal-over-writer / DEFINES


#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 TEST_SIGNAL_ON_WRITE

#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
06e8b2a8 MD	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	#endif
	15
	16	#define REMOTE_BARRIERS