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


#define NR_READERS 2
#define NR_WRITERS 1

#define NR_PROCS 3


#if (NR_READERS == 1)

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

#elif (NR_READERS == 2)

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

#else

#error "Too many readers"

#endif

#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 2
#endif

#define REMOTE_BARRIERS
Commit	Line	Data
06e8b2a8 MD	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