diff options
| author |   Ingo Molnar <mingo@kernel.org> | 2018-01-31 09:28:45 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2018-01-31 09:28:45 +0100 |
| commit | 7246a966b6784a9a72f3d8bcc2784cddee459967 (patch) | |
| tree | 0dd052493156fb413bab453c2026e17e885bf9c9 /tools/perf/scripts/python/call-graph-from-sql.py | |
| parent | Merge branch 'x86-hyperv-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (diff) | |
| parent | Automate memory-barriers.txt; provide Linux-kernel memory model (diff) | |
| download | linux-dev-7246a966b6784a9a72f3d8bcc2784cddee459967.tar.xz linux-dev-7246a966b6784a9a72f3d8bcc2784cddee459967.zip | |
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 'tools/perf/scripts/python/call-graph-from-sql.py')
0 files changed, 0 insertions, 0 deletions