On 02/24, Paul E. McKenney wrote:
>
> This is an updated version of Oleg Nesterov's QRCU that avoids the
> earlier lock acquisition on the synchronize_qrcu() fastpath. This passes
> rcutorture on x86 and the weakly ordered POWER. A promela model of the
> code passes as noted before for 2 readers
Hello!
This is an updated version of Oleg Nesterov's QRCU that avoids the
earlier lock acquisition on the synchronize_qrcu() fastpath. This passes
rcutorture on x86 and the weakly ordered POWER. A promela model of the
code passes as noted before for 2 readers and 3 updaters and for 3 readers
and
2 matches
Mail list logo