summaryrefslogtreecommitdiffstats
path: root/tools/memory-model/lock.cat (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/memory-model: Provide exact SRCU semanticsAlan Stern2023-03-221-3/+3
* tools/memory-model: Do not use "herd" to refer to "herd7"Andrea Parri2019-06-191-1/+1
* tools/memory-model: Avoid duplicating herdtools versionsAndrea Parri2019-03-181-3/+0
* tools/memory-model: Fix coding style in 'lock.cat'Andrea Parri2018-05-151-14/+14
* tools/memory-model: Remove out-of-date comments and code from lock.catAlan Stern2018-05-151-9/+6
* tools/memory-model: Improve mixed-access checking in lock.catAlan Stern2018-05-151-11/+11
* tools/memory-model: Improve comments in lock.catAlan Stern2018-05-151-15/+36
* tools/memory-model: Remove duplicated code from lock.catAlan Stern2018-05-151-22/+6
* tools/memory-model: Add model support for spin_is_locked()Luc Maranget2018-05-151-4/+49
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-251-0/+99