[PATCH RFC memory-model 0/3] LKMM updates for v4.21/v5.0

2018-11-11 Thread Paul E. McKenney
Hello! This series contains updates for the Linux-kernel memory model: 1. Model smp_mb__after_unlock_lock(), courtesy of Andrea Parri. 2. Add scripts to check github litmus tests. 3. Make scripts take "-j" abbreviation for "--jobs".

[PATCH RFC memory-model 0/3] LKMM updates for v4.21/v5.0

2018-11-11 Thread Paul E. McKenney
Hello! This series contains updates for the Linux-kernel memory model: 1. Model smp_mb__after_unlock_lock(), courtesy of Andrea Parri. 2. Add scripts to check github litmus tests. 3. Make scripts take "-j" abbreviation for "--jobs".