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 Kernelnewbies@xxxxxxxxxxxxxxxxx https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
