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
_______________________________________________
Kernelnewbies mailing list
[email protected]
https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

Reply via email to