Re: Compilers and RCU readers: Once more unto the breach!

From: Ramana Radhakrishnan
Date: Wed May 20 2015 - 09:44:39 EST




On 20/05/15 14:37, David Howells wrote:
Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> wrote:

I was thinking of "y" as a simple variable, but if it is something more
complex, then the compiler could do this, right?

char *x;

y;
x = z;

Yeah. I presume it has to maintain the ordering, though.

The scheduler for e.g. is free to reorder if it can prove there is no dependence (or indeed side-effects for y) between insns produced for y and `x = z'.

regards
Ramana


David

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/