diff options
author | Ingo Molnar <mingo@kernel.org> | 2018-01-31 11:28:45 +0300 |
---|---|---|
committer | Ingo Molnar <mingo@kernel.org> | 2018-01-31 11:28:45 +0300 |
commit | 7246a966b6784a9a72f3d8bcc2784cddee459967 (patch) | |
tree | 0dd052493156fb413bab453c2026e17e885bf9c9 /Documentation/locking/lockdep-design.txt | |
parent | 72906f38934a49faf4d2d38ea9ae32adcf7d5d0c (diff) | |
parent | 1c27b644c0fdbc61e113b8faee14baeb8df32486 (diff) | |
download | linux-7246a966b6784a9a72f3d8bcc2784cddee459967.tar.xz |
Merge branch 'lkmm-for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into locking/urgent
Pull the "Linux kernel memory model" tooling implementation from Paul E. McKenney:
'This pull request contains a single commit that adds a memory model to
the tools directory. This memory model can (roughly speaking) be thought
of as an automated version of memory-barriers.txt. It is written in the
"cat" language, which is executable by the externally provided "herd7"
simulator, which exhaustively explores the state space of small litmus
tests.'
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Acked-by: Peter Zijlstra <peterz@infradead.org>
Diffstat (limited to 'Documentation/locking/lockdep-design.txt')
0 files changed, 0 insertions, 0 deletions