• Paul E. McKenney's avatar
    tools/memory-model: Add scripts to test memory model · 2fb6ae16
    Paul E. McKenney authored
    This commit adds a pair of scripts that run the memory model on litmus
    tests, checking that the verification result of each litmus test matches
    the result flagged in the litmus test itself.  These scripts permit easier
    checking of changes to the memory model against preconceived notions.
    
    To run the scripts, go to the tools/memory-model directory and type
    "scripts/checkalllitmus.sh".  If all is well, the last line printed will
    be "All litmus tests verified as was expected."
    Signed-off-by: default avatarPaul E. McKenney <paulmck@linux.vnet.ibm.com>
    Cc: Andrew Morton <akpm@linux-foundation.org>
    Cc: Linus Torvalds <torvalds@linux-foundation.org>
    Cc: Peter Zijlstra <peterz@infradead.org>
    Cc: Thomas Gleixner <tglx@linutronix.de>
    Cc: Will Deacon <will.deacon@arm.com>
    Cc: akiyks@gmail.com
    Cc: boqun.feng@gmail.com
    Cc: dhowells@redhat.com
    Cc: j.alglave@ucl.ac.uk
    Cc: linux-arch@vger.kernel.org
    Cc: luc.maranget@inria.fr
    Cc: npiggin@gmail.com
    Cc: parri.andrea@gmail.com
    Cc: stern@rowland.harvard.edu
    Link: http://lkml.kernel.org/r/1526340837-12222-9-git-send-email-paulmck@linux.vnet.ibm.comSigned-off-by: default avatarIngo Molnar <mingo@kernel.org>
    2fb6ae16
checkalllitmus.sh 2.29 KB