diff options
| author | Linus Torvalds <torvalds@linux-foundation.org> | 2024-07-15 15:22:35 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2024-07-15 15:22:35 -0700 |
| commit | 253e1e98180a124475327f2ce7b6f15f2e4d0d45 (patch) | |
| tree | 4d1e81b297ffedd542205d93def82c859ee7daf8 /MAINTAINERS | |
| parent | c4b729b0fac2d1b336df6d3e8c3fdb67ee9fff82 (diff) | |
| parent | ea6ee1bac6034cb4e91bcc229ed1354ca1a024d5 (diff) | |
Merge tag 'lkmm.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu
Pull memory model updates from Paul McKenney:
"lkmm: Fix corner-case locking bug and improve documentation
A simple but odd single-process litmus test acquires and immediately
releases a lock, then calls spin_is_locked(). LKMM acts if it was a
deadlock due to an assumption that spin_is_locked() will follow a
spin_lock() or some other process's spin_unlock(). This litmus test
manages to violate this assumption because the spin_is_locked()
follows the same process's spin_unlock().
This series fixes this bug, reorganizes and optimizes the lock.cat
model, and updates documentation"
* tag 'lkmm.2024.07.12a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu:
tools/memory-model: Code reorganization in lock.cat
tools/memory-model: Fix bug in lock.cat
tools/memory-model: Add access-marking.txt to README
tools/memory-model: Add KCSAN LF mentorship session citation
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions