[PATCH RFC memory-model 0/3] LKMM updates for v4.21/v5.0
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
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".