litmus内存一致性使用

1. herd7 -cat aarch64.cat example_18_12_asm.litmus

 这个工具为什么要这样执行， 不明白。

2. 运行结果

出现了两种状态， 是我们不想需要的。

3 修复后的

可以看到只有一种状态， 并且状态为no。

4 c代码的学习

5 修复后的状态

总结

从汇编的输出结果，可以知道是多个cpu共用一套寄存器。