Sign in
android-kvm
/
linux
/
ea52d698c1ed0c4555656de0dd1f7ac5866f89e1
/
.
/
tools
/
memory-model
/
litmus-tests
/
SB+mbonceonces.litmus
blob: b76caa5af1af35a1c0dcee4ef097de22214bd577 [
file
] [
log
] [
blame
]
C SB
+
mbonceonces
{}
P0
(
int
*
x
,
int
*
y
)
{
int
r0
;
WRITE_ONCE
(*
x
,
1
);
smp_mb
();
r0
=
READ_ONCE
(*
y
);
}
P1
(
int
*
x
,
int
*
y
)
{
int
r0
;
WRITE_ONCE
(*
y
,
1
);
smp_mb
();
r0
=
READ_ONCE
(*
x
);
}
exists
(
0
:
r0
=
0
/
\
1
:
r0
=
0
)
