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
