Assuming all 4 types of memory operation orderings are upheld, we should not be able to witness the program described above produce output "10" or "00" because the memory operation orderings enforce an implied dependency in certain operations in memory (specifically the ordering of writes and reads to A and B).
Assuming all 4 types of memory operation orderings are upheld, we should not be able to witness the program described above produce output "10" or "00" because the memory operation orderings enforce an implied dependency in certain operations in memory (specifically the ordering of writes and reads to A and B).