[PATCH] tools/memory-model: Fix litmus-tests's file names for case-insensitive filesystem.
| Newsgroups | dev.linux.lists.lkmm,org.kernel.vger.linux-arch,org.kernel.vger.linux-kernel |
|---|---|
| Message-ID | <[email protected]> |
From: Benjamin Szőke <[email protected]> The goal is to fix Linux repository for case-insensitive filesystem, to able to clone it and editable on any operating systems. Rename "Z6.0+pooncelock+poonceLock+pombonce.litmus" to "Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus". Signed-off-by: Benjamin Szőke <[email protected]> --- tools/memory-model/Documentation/locking.txt | 2 +- tools/memory-model/Documentation/recipes.txt | 2 +- tools/memory-model/litmus-tests/README | 2 +- ...> Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus} | 0 4 files changed, 3 insertions(+), 3 deletions(-) rename tools/memory-model/litmus-tests/{Z6.0+pooncelock+poonceLock+pombonce.litmus => Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus} (100%) diff --git a/tools/memory-model/Documentation/locking.txt b/tools/memory-model/Documentation/locking.txt index 65c898c64a93..42bc3efe2015 100644 --- a/tools/memory-model/Documentation/locking.txt +++ b/tools/memory-model/Documentation/locking.txt @@ -184,7 +184,7 @@ ordering properties. Ordering can be extended to CPUs not holding the lock by careful use of smp_mb__after_spinlock(): - /* See Z6.0+pooncelock+poonceLock+pombonce.litmus. */ + /* See Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus. */ void CPU0(void) { spin_lock(&mylock); diff --git a/tools/memory-model/Documentation/recipes.txt b/tools/memory-model/Documentation/recipes.txt index 03f58b11c252..35996eb1b690 100644 --- a/tools/memory-model/Documentation/recipes.txt +++ b/tools/memory-model/Documentation/recipes.txt @@ -159,7 +159,7 @@ lock's ordering properties. Ordering can be extended to CPUs not holding the lock by careful use of smp_mb__after_spinlock(): - /* See Z6.0+pooncelock+poonceLock+pombonce.litmus. */ + /* See Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus. */ void CPU0(void) { spin_lock(&mylock); diff --git a/tools/memory-model/litmus-tests/README b/tools/memory-model/litmus-tests/README index d311a0ff1ae6..e3d451346400 100644 --- a/tools/memory-model/litmus-tests/README +++ b/tools/memory-model/litmus-tests/README @@ -149,7 +149,7 @@ Z6.0+pooncelock+pooncelock+pombonce.litmus spin_lock() sufficient to make ordering apparent to accesses by a process not holding the lock? -Z6.0+pooncelock+poonceLock+pombonce.litmus +Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus As above, but with smp_mb__after_spinlock() immediately following the spin_lock(). diff --git a/tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus b/tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus similarity index 100% rename from tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus rename to tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+after_spinlock+pombonce.litmus -- 2.47.0.windows.2