[tip:locking/core] tools/memory-model: Add extra ordering for locks and remove it for ordinary release/acquire

Commit-ID: 6e89e831a90172bc3d34ecbba52af5b9c4a447d1 Gitweb: https://git.kernel.org/tip/6e89e831a90172bc3d34ecbba52af5b9c4a447d1 Author: Alan Stern AuthorDate: Wed, 26 Sep 2018 11:29:17 -0700 Committer: Ingo Molnar CommitDate: Tue, 2 Oct 2018 10:28:01 +0200 tools/memory-model: Add extra

[tip:locking/core] tools/memory-model: Improve mixed-access checking in lock.cat

Commit-ID: 30b795df11a1a9dd7fc50c1ff4677343b67cb379 Gitweb: https://git.kernel.org/tip/30b795df11a1a9dd7fc50c1ff4677343b67cb379 Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:52 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:18 +0200 tools/memory-model: Improve

[tip:locking/core] tools/memory-model: Remove out-of-date comments and code from lock.cat

Commit-ID: cee0321a404fe6b43d1f4364639c8ffe2f2b37d1 Gitweb: https://git.kernel.org/tip/cee0321a404fe6b43d1f4364639c8ffe2f2b37d1 Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:53 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:18 +0200 tools/memory-model: Remove o

[tip:locking/core] tools/memory-model: Improve comments in lock.cat

Commit-ID: fd0359dbac3df00d1c6c22769e7d647b16b920cc Gitweb: https://git.kernel.org/tip/fd0359dbac3df00d1c6c22769e7d647b16b920cc Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:51 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:18 +0200 tools/memory-model: Improve

[tip:locking/core] tools/memory-model: Remove duplicated code from lock.cat

Commit-ID: 8559183ccaec97454b2515ac426f113967256cf9 Gitweb: https://git.kernel.org/tip/8559183ccaec97454b2515ac426f113967256cf9 Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:50 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:17 +0200 tools/memory-model: Remove d

[tip:locking/core] tools/memory-model: Redefine rb in terms of rcu-fence

Commit-ID: 9d036883a17969caf8796d1fce813af0ab016986 Gitweb: https://git.kernel.org/tip/9d036883a17969caf8796d1fce813af0ab016986 Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:40 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:16 +0200 tools/memory-model: Redefine

[tip:locking/core] tools/memory-model: Rename link and rcu-path to rcu-link and rb

Commit-ID: 1ee2da5f9b5a8e814b397b77a08d44fed5f96a4a Gitweb: https://git.kernel.org/tip/1ee2da5f9b5a8e814b397b77a08d44fed5f96a4a Author: Alan Stern AuthorDate: Mon, 14 May 2018 16:33:39 -0700 Committer: Ingo Molnar CommitDate: Tue, 15 May 2018 08:11:15 +0200 tools/memory-model: Rename l

[tip:locking/core] tools/memory-model: Finish the removal of rb-dep, smp_read_barrier_depends(), and lockless_dereference()

Commit-ID: bd5c0ba2cd78a4c116726ead84f8f37dc92d043e Gitweb: https://git.kernel.org/tip/bd5c0ba2cd78a4c116726ead84f8f37dc92d043e Author: Alan Stern AuthorDate: Wed, 7 Mar 2018 09:27:40 -0800 Committer: Ingo Molnar CommitDate: Sat, 10 Mar 2018 10:22:23 +0100 tools/memory-model: Finish th

[tip:locking/core] tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference

Commit-ID: bf28ae5627442355dbb8d99238da4fb95c2dd4ec Gitweb: https://git.kernel.org/tip/bf28ae5627442355dbb8d99238da4fb95c2dd4ec Author: Alan Stern AuthorDate: Tue, 20 Feb 2018 15:25:12 -0800 Committer: Ingo Molnar CommitDate: Wed, 21 Feb 2018 09:58:16 +0100 tools/memory-model: Remove r

[tip:locking/core] tools/memory-model: Add a S lock-based external-view litmus test

Commit-ID: 556bb7d252ae42d4653557325670e665087c38ad Gitweb: https://git.kernel.org/tip/556bb7d252ae42d4653557325670e665087c38ad Author: Alan Stern AuthorDate: Tue, 20 Feb 2018 15:25:10 -0800 Committer: Ingo Molnar CommitDate: Wed, 21 Feb 2018 09:58:15 +0100 tools/memory-model: Add a S