On Wed, Jun 05, 2024 at 09:56:41AM +0200, Marco Elver wrote:
> On Wed, 5 Jun 2024 at 00:36, Paul E. McKenney wrote:
> >
> > On powerpc systems, spinlock acquisition does not order prior stores
> > against later loads. This means that this statement:
> >
> > rfcp->rfc_next = NULL;
> >
> >
On Wed, 5 Jun 2024 at 00:36, Paul E. McKenney wrote:
>
> On powerpc systems, spinlock acquisition does not order prior stores
> against later loads. This means that this statement:
>
> rfcp->rfc_next = NULL;
>
> Can be reordered to follow this statement:
>
> WRITE_ONCE(*rfcpp, rfc
On powerpc systems, spinlock acquisition does not order prior stores
against later loads. This means that this statement:
rfcp->rfc_next = NULL;
Can be reordered to follow this statement:
WRITE_ONCE(*rfcpp, rfcp);
Which is then a data race with rcu_torture_fwd_prog_cr(), specif