Re: Litmus test names

[Paul E. McKenney]

On Fri, Apr 07, 2023 at 03:05:01PM +0200, Jonas Oberhauser wrote:
> 
> 
> On 4/7/2023 2:12 AM, Joel Fernandes wrote:
> > 
> > 
> > > On Apr 6, 2023, at 6:34 PM, Paul E. McKenney <paulmck@xxxxxxxxxx> wrote:
> > > 
> > > 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...
> 
> I don't think capitalizing LOCK is helpful.

Greek font, then?  (Sorry, couldn't resist...)

> To be honest, almost all the names are extremely cryptic to newcomers like
> me (like, what does Z6.0 mean? Is it some magic incantation?).
> And that's not something that's easy to fix.

All too true on all counts.  Some of the names abbreviate the litmus
test itself, and there are multiple encodings depending one who/what
generated the test in question.  Others of the names relate to who came
up with them or the code from which they are derived.

New allegedly universal naming schemes have a rather short half-life.

What would be cool would be a way to structurally compare litmus tests.
I bet that there are quite a few duplicates, for example.

> The only use case I can think of for spending time improving the names is
> that sometimes you wanna say something like "oh, this is like
> Z6.0+pooncelock+pooncelockmb+pombonce". And then people can look up what
> that is.
> For that, it's important that the names are easy to disambiguate by humans,
> and I think Joel's suggestion is an improvement.
> (and it also fixes the issue brought up by Alan about case-insensitive file
> systems)
> 
> > 
> > Z6.0+pooncelock+pooncelockmb+pombonce.litmus ?

I am OK with this one, but then again, I was also OK with the original
Z6.0+pooncelock+poonceLock+pombonce.litmus.  ;-)

Would someone like to to a "git mv" send the resulting patch?

							Thanx, Paul