summaryrefslogtreecommitdiff
path: root/Documentation/locking/lockdep-design.txt
diff options
context:
space:
mode:
authorIngo Molnar <mingo@kernel.org>2018-01-31 11:28:45 +0300
committerIngo Molnar <mingo@kernel.org>2018-01-31 11:28:45 +0300
commit7246a966b6784a9a72f3d8bcc2784cddee459967 (patch)
tree0dd052493156fb413bab453c2026e17e885bf9c9 /Documentation/locking/lockdep-design.txt
parent72906f38934a49faf4d2d38ea9ae32adcf7d5d0c (diff)
parent1c27b644c0fdbc61e113b8faee14baeb8df32486 (diff)
downloadlinux-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