Re: [PATCH] rcu: tree: correctly handle sparse possible CPUs

From: Andrey Ryabinin
Date: Wed May 18 2016 - 11:15:33 EST


2016-05-16 19:48 GMT+03:00 Mark Rutland <mark.rutland@xxxxxxx>:

> /*
> + * Iterate over all possible CPUs in a leaf RCU node.
> + */
> +#define for_each_leaf_node_possible_cpu(rnp, cpu) \
> + for ((cpu) = rnp->grplo; \
> + cpu <= rnp->grphi; \
> + cpu = cpumask_next((cpu), cpu_possible_mask))
> +
> +/*
> + * Iterate over all possible CPUs in a leaf RCU node, at each step providing a
> + * bit for comparison against rcu_node bitmasks.
> + */
> +#define for_each_leaf_node_possible_cpu_bit(rnp, cpu, bit) \
> + for ((cpu) = rnp->grplo, (bit) = 1; \
> + cpu <= rnp->grphi; \
> + cpu = cpumask_next((cpu), cpu_possible_mask), \
> + (bit) = 1UL << (cpu - rnp->grplo))
> +


[ 0.163652] UBSAN: Undefined behaviour in ../kernel/rcu/tree.c:2912:3
[ 0.164000] shift exponent 64 is too large for 64-bit type 'long
unsigned int'