[Bug 265974] SMR has several missing barriers
- In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 265974] SMR has several missing barriers"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 21 Aug 2022 14:55:29 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=265974 --- Comment #1 from Pierre Habouzit <pierre@habouzit.net> --- whoops the `smr_enter-bad.litmus` has a dmb sy that isn't there today, it should be: ``` AArch64 MP { global = 0; wr_seq = 123; p1_rd_seq = 0; 0:x0 = global; 0:x1 = wr_seq; 0:x2 = p1_rd_seq; 1:x0 = global; 1:x1 = wr_seq; 1:x2 = p1_rd_seq; } P0 | P1 ; MOV X8, #2 | LDR X8, [X1] ; STR X8, [X0] | ; LDADDL X8, X9, [X1] | LDADDA X8, X9, [X2] ; | LDR X10, [X0] ; LDR X10, [X2] | ; exists (0:X10 = 0 /\ 1:X8 = 123 /\ 1:X10 = 0) ``` I'll update the tarball -- You are receiving this mail because: You are the assignee for the bug.