Re: [PATCH] kernel: fix data race in put_pid

Oleg Nesterov
2015-09-18T13:34:33Z

Damn, sorry for noise,

On 09/18, Oleg Nesterov wrote:
>
> Now. In theory this this code is wrong:
>
> if (Y) {
> BUG_ON(X == 0);
> }

Of course without READ_ONCE() or barrier() in between this code
is buggy in any case. But I hope you understand what I tried to
say...

Oleg.