From: Ingo Molnar <mingo@kernel.org>
Date: Wed, 31 Jan 2018 08:28:45 +0000 (+0100)
Subject: Merge branch 'lkmm-for-mingo' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmc... 
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=7246a966b6784a9a72f3d8bcc2784cddee459967;p=linux.git

Merge branch 'lkmm-for-mingo' of git://git./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>
---

7246a966b6784a9a72f3d8bcc2784cddee459967