Re: Litmus test names

[Paul E. McKenney]

On Thu, Apr 06, 2023 at 05:36:13PM -0400, Alan Stern wrote:
> Paul:
> 
> I just saw that two of the files in tools/memory-model/litmus-tests have 
> almost identical names:
> 
> 	Z6.0+pooncelock+pooncelock+pombonce.litmus
> 	Z6.0+pooncelock+poonceLock+pombonce.litmus
> 
> They differ only by a lower-case 'l' vs. a capital 'L'.  It's not at all 
> easy to see, and won't play well in case-insensitive filesystems.
> 
> Should one of them be renamed?

Quite possibly!

The "L" denotes smp_mb__after_spinlock().  The only code difference
between these is that Z6.0+pooncelock+poonceLock+pombonce.litmus has
smp_mb__after_spinlock() and Z6.0+pooncelock+pooncelock+pombonce.litmus
does not.

Suggestions for a better name?  We could capitalize all the letters
in LOCK, I suppose...

							Thanx, Paul