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

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/tool...). If I get it right, is Z6.0+pooncelock+pooncelock+pombonce out of date? Thanks, Zhang Zeren