Changes in README

1ac731c529cd4d6adbce134754b51ff7d822b145 - Merge branch 'next' into for-linus

Thu, 31 Aug 2023 01:06:38 +0200

Merge branch 'next' into for-linusPrepare input updates for 6.6 merge window. List of files: /linux/tools/memory-model/scripts/README

50501936288d6a29d7ef78f25d00e33240fad45f - Merge tag 'v6.4' into next

Mon, 17 Jul 2023 18:20:46 +0200

Merge tag 'v6.4' into nextSync up with mainline to bring in updates to shared infrastructure. List of files: /linux/tools/memory-model/scripts/README

db6da59cf27b5661ced03754ae0550f8914eda9e - Merge drm/drm-next into drm-misc-next-fixes

Thu, 15 Jun 2023 10:34:19 +0200

Merge drm/drm-next into drm-misc-next-fixesBackmerging to sync drm-misc-next-fixes with drm-misc-next.Signed-off-by: Thomas Zimmermann List of files: /linux/tools/memory-model/scripts/README

03c601927b673a243c9595e1ecc9e8adfdd02438 - Merge branch 'drm-next' of git://anongit.freedesktop.org/drm/drm into msm-next-lumag-base

Mon, 12 Jun 2023 23:20:40 +0200

Merge branch 'drm-next' of git://anongit.freedesktop.org/drm/drm into msm-next-lumag-baseMerge the drm-next tree to pick up the DRM DSC helpers (merged viadrm-intel-next tree). MSM DSC v1.2 patches depend on these helpers.Signed-off-by: Dmitry Baryshkov List of files: /linux/tools/memory-model/scripts/README

5c68005083d620b1499fc81926a514d39ae8b88c - Merge tag 'v6.4-rc4' into wpan-next/staging

Tue, 06 Jun 2023 10:42:42 +0200

Merge tag 'v6.4-rc4' into wpan-next/stagingLinux 6.4-rc4 List of files: /linux/tools/memory-model/scripts/README

9ff17e6bdaa50892dd9bdb1b116cb71b73dd711a - Merge drm/drm-next into drm-intel-gt-next

Mon, 05 Jun 2023 12:10:23 +0200

Merge drm/drm-next into drm-intel-gt-nextFor conflict avoidance we need the following commit: c9a9f18d3ad8 drm/i915/huc: use const struct bus_type pointersSigned-off-by: Tvrtko Ursulin List of files: /linux/tools/memory-model/scripts/README

9c3a985f88fa4de82bf4bda906095ce6444e9039 - Merge drm/drm-next into drm-intel-next

Wed, 17 May 2023 15:30:24 +0200

Merge drm/drm-next into drm-intel-nextBackmerge to get some hwmon dependencies.Signed-off-by: Rodrigo Vivi List of files: /linux/tools/memory-model/scripts/README

50282fd57bcd3525c9d81eef58df8718e4337c6d - Merge drm/drm-fixes into drm-misc-fixes

Fri, 12 May 2023 09:47:12 +0200

Merge drm/drm-fixes into drm-misc-fixesLet's bring 6.4-rc1 in drm-misc-fixes to start the new fix cycle.Signed-off-by: Maxime Ripard List of files: /linux/tools/memory-model/scripts/README

ff32fcca64437f679a2bf1c0a19d5def389a18e2 - Merge drm/drm-next into drm-misc-next

Tue, 09 May 2023 15:03:40 +0200

Merge drm/drm-next into drm-misc-nextStart the 6.5 release cycle.Signed-off-by: Maxime Ripard List of files: /linux/tools/memory-model/scripts/README

60eb45074234b90333b6241b4fd8d196aa2dfd98 - Merge tag 'lkmm-scripting.2023.04.07a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu

Mon, 24 Apr 2023 21:02:25 +0200

Merge tag 'lkmm-scripting.2023.04.07a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcuPull Linux Kernel Memory Model scripting updates from Paul McKenney: "This improves litmus-test documentation and improves the ability to do before/after tests on the https://github.com/paulmckrcu/litmus repo"* tag 'lkmm-scripting.2023.04.07a' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu: (32 commits) tools/memory-model: Remove out-of-date SRCU documentation tools/memory-model: Document LKMM test procedure tools/memory-model: Use "grep -E" instead of "egrep" tools/memory-model: Use "-unroll 0" to keep --hw runs finite tools/memory-model: Make judgelitmus.sh handle scripted Result: tag tools/memory-model: Add data-race capabilities to judgelitmus.sh tools/memory-model: Add checktheselitmus.sh to run specified litmus tests tools/memory-model: Repair parseargs.sh header comment tools/memory-model: Add "--" to parseargs.sh for additional arguments tools/memory-model: Make history-check scripts use mselect7 tools/memory-model: Make checkghlitmus.sh use mselect7 tools/memory-model: Fix scripting --jobs argument tools/memory-model: Implement --hw support for checkghlitmus.sh tools/memory-model: Add -v flag to jingle7 runs tools/memory-model: Make runlitmus.sh check for jingle errors tools/memory-model: Allow herd to deduce CPU type tools/memory-model: Keep assembly-language litmus tests tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw tools/memory-model: Split runlitmus.sh out of checklitmus.sh ... List of files: /linux/tools/memory-model/scripts/README

05dc8470b3bfcad6b84bcf5953172ce26cfb2bd9 - tools/memory-model: Document LKMM test procedure

Fri, 27 Jan 2023 00:41:00 +0100

tools/memory-model: Document LKMM test procedureThis commit documents how to run the various scripts in order to testa potentially pervasive change to the memory model.Signed-off-by: Paul E. McKenney List of files: /linux/tools/memory-model/scripts/README

df0f675065bf003c4f182941f62b01b06be97182 - tools/memory-model: Add checktheselitmus.sh to run specified litmus tests

Thu, 02 May 2019 19:05:14 +0200

tools/memory-model: Add checktheselitmus.sh to run specified litmus testsThis commit adds a checktheselitmus.sh script that runs the litmus testsspecified on the command line. This is useful for verifying fixes tospecific litmus tests.Signed-off-by: Paul E. McKenney List of files: /linux/tools/memory-model/scripts/README

2024436d482eca356840a3aec022bad68f72eb25 - tools/memory-model: Make judgelitmus.sh handle hardware verifications

Tue, 19 Mar 2019 22:39:10 +0100

tools/memory-model: Make judgelitmus.sh handle hardware verificationsThis commit makes the judgelitmus.sh script check the --hw argument(AKA the LKMM_HW_MAP_FILE environment variable) and to adjust itsjudgment for a run where a C-language litmus test has been translated toassembly and the assembly version verified. In this case, the assemblyverification output is checked against the C-language script's "Result:"comment. However, because hardware can be stronger than LKMM requires,the judgelitmus.sh script forgives verification mismatches featuringa "Sometimes" in the C-language script and an "Always" or "Never"assembly-language verification.Note that deadlock is not forgiven, however, this should not normally bean issue given that C-language tests containing locking, RCU, or SRCUcannot be translated to assembly. However, this issue can crop up inlitmus tests that mimic deadlock by using the "filter" clause to ignoreall executions. It can also crop up when certain herd arguments areused to autofilter everything that does not match the "exists" clausein cases where the "exists" clause cannot be satisfied.Signed-off-by: Paul E. McKenney List of files: /linux/tools/memory-model/scripts/README

0898782247ae533d1f4e47a06bc5d4870931b284 - Merge branch 'next' into for-linus

Mon, 16 Sep 2019 18:56:27 +0200

Merge branch 'next' into for-linusPrepare input updates for 5.4 merge window. List of files: /linux/tools/memory-model/scripts/README

d3f9990f1b48514b33342612b51fad238592d774 - Merge branch 'for-next' into for-linus

Sat, 14 Sep 2019 17:24:57 +0200

Merge branch 'for-next' into for-linusSigned-off-by: Takashi Iwai List of files: /linux/tools/memory-model/scripts/README

75bf465f0bc33e9b776a46d6a1b9b990f5fb7c37 - Merge remote-tracking branch 'remotes/powerpc/topic/ppc-kvm' into kvm-ppc-next

Fri, 23 Aug 2019 06:08:04 +0200

Merge remote-tracking branch 'remotes/powerpc/topic/ppc-kvm' into kvm-ppc-nextThis merges in fixes for the XIVE interrupt controller which touch bothgeneric powerpc and PPC KVM code. To avoid merge conflicts, thesecommits will go upstream via the powerpc tree as well as the KVM tree.Signed-off-by: Paul Mackerras List of files: /linux/tools/memory-model/scripts/README

58e16d792a6a8c6b750f637a4649967fcac853dc - Merge branch 'ti-sysc-fixes' into fixes

Tue, 13 Aug 2019 12:40:10 +0200

Merge branch 'ti-sysc-fixes' into fixes List of files: /linux/tools/memory-model/scripts/README

cbd32a1c56e36fedaa93a727699188bd3e6e6f67 - Merge tag 'efi-urgent' of git://git.kernel.org/pub/scm/linux/kernel/git/efi/efi into efi/urgent

Mon, 12 Aug 2019 14:36:27 +0200

Merge tag 'efi-urgent' of git://git.kernel.org/pub/scm/linux/kernel/git/efi/efi into efi/urgentPull a single EFI fix for v5.3 from Ard: - Fix mixed mode breakage in EFI config table handling for TPM. List of files: /linux/tools/memory-model/scripts/README

4aa31b4b61e4985e719352c329c3948d1932cb64 - Merge tag 'v5.3-rc4' into next

Mon, 12 Aug 2019 08:24:46 +0200

Merge tag 'v5.3-rc4' into nextSync up with mainline to bring in device_property_count_u32 andothernewer APIs. List of files: /linux/tools/memory-model/scripts/README

3f61fd41f38328f0a585eaba2d72d339fe9aecda - Merge tag 'v5.3-rc3' into drm-next-5.4

Fri, 09 Aug 2019 20:07:28 +0200

Merge tag 'v5.3-rc3' into drm-next-5.4Linux 5.3-rc3Signed-off-by: Alex Deucher List of files: /linux/tools/memory-model/scripts/README