On Fri, Jan 17, 2020 at 03:17:56PM -0800, Paul E. McKenney wrote: [...] > But rcutorture already has tests for RCU priority boosting. Or are those > failing in some way? Yes there are tests, but I thought of just a simple experiment to study this. Purely since it is existing RCU kernel code that I'd like to understand. And me/Daniel are also looking into possibly using run-time / trace-based verification some of these behaviors. thanks, - Joel
