Re: [GIT PULL rcu/next] fixes and breakup of memory-barrier-decreasepatch

From: Ingo Molnar
Date: Sat May 21 2011 - 10:29:00 EST



* Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> wrote:

> Hello, Ingo,
>
> This pull requests covers some RCU bug fixes and one patch rework.
>
> The first group breaks up the infamous now-reverted (but ultimately
> vindicated) "Decrease memory-barrier usage based on semi-formal proof"
> commit into five commits. These five commits immediately follow the
> revert, and the diff across all six of these commits is empty, so that
> the effect of the five commits is to revert the revert.

But ... the regression that was observed with that commit needs to be fixed
first, or not? In what way was the barrier commit vindicated?

Thanks,

Ingo
--
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/