Will two processes each holding a given spin lock be seen as ordered by a third process not holding that lock?

[Zhang Zeren]

Hi all,
In tools/memory-model, there are two litmus tests named
*ISA2+pooncelock+pooncelock+pombonce
*and *Z6.0+pooncelock+pooncelock+pombonce. *As far as I understand it,
these two files test exactly the same thing: will two processes each
holding a given spin lock be seen as ordered by a third process not holding
that lock? However, ISA2+pooncelock+pooncelock+pombonce says YES, and
Z6.0+pooncelock+pooncelock+pombonce
says MAYBE NOT. I also read a patch about ISA2+pooncelock+pooncelock+pombonce
(
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/commit/tools/memory-model/litmus-tests/ISA2+pooncelock+pooncelock+pombonce.litmus?h=v5.14.16&id=6e89e831a90172bc3d34ecbba52af5b9c4a447d1).
If I get it right, is Z6.0+pooncelock+pooncelock+pombonce out of date?

Thanks,
Zhang Zeren
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20211110/bc0b2caa/attachment.html>