<div dir="ltr">Hi all,<div>In tools/memory-model, there are two litmus tests named <span style="color:rgb(0,0,0);font-size:13.3333px"><i>ISA2+pooncelock+pooncelock+pombonce </i>and </span><span style="color:rgb(0,0,0);font-size:13.3333px"><i>Z6.0+pooncelock+pooncelock+pombonce. </i>As far as I understand it, these two files test </span>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, <span style="color:rgb(0,0,0);font-size:13.3333px">ISA2+pooncelock+pooncelock+pombonce says YES, and </span><span style="color:rgb(0,0,0);font-size:13.3333px">Z6.0+pooncelock+pooncelock+pombonce says MAYBE NOT. I also read a patch about </span><span style="color:rgb(0,0,0);font-size:13.3333px">ISA2+pooncelock+pooncelock+pombonce (</span><a href="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">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</a><span style="color:rgb(0,0,0);font-size:13.3333px">). If I get it right, is </span><span style="color:rgb(0,0,0);font-size:13.3333px">Z6.0+pooncelock+pooncelock+pombonce out of date?</span></div><div><span style="color:rgb(0,0,0);font-size:13.3333px"><br></span></div><div><font color="#000000"><span style="font-size:13.3333px">Thanks,</span></font></div><div><font color="#000000"><span style="font-size:13.3333px">Zhang Zeren</span></font></div></div>