VarHandle 内存语义理解 -> 可见性

Question

通过内存语义和模型，我们通过指令重新排序和围绕屏障的缓存刷新/更新来理解它。在 Java 的 Varhandle 类中，他们引入了许多内存语义，但很少解释它到底是做什么的？我有以下问题和需要澄清 ->

a) 简单的 set 和 get 就像正常的内存访问一样，没有内存排序限制，也没有可见性保证？？？ b）不透明的内存语义->它到底是做什么的？它是一个简单的内存读写到主内存（不涉及缓存），没有任何内存排序限制吗？？？文档说->它保证单个线程对相同变量的有序访问。 c) 获取/释放和易失性之间的区别？？

谢谢

Answer 1

这是我从以下文档中得到的 -> http://gee.cs.oswego.edu/dl/html/j9mm.html Acquire/Release versus Sequentially Consistent memory order

a) 普通模式 -> 只有原始和引用 get 和 set 是原子的，允许所有排序并且没有缓存刷新。 b) 不透明 -> 保证程序顺序线程间只有一个变量的可见性。不保证/约束其他变量可见性线程间 c) Acquire/Release -> 相同变量的完整订单保证加上发生在保证之前。获取时缓存是否无效，释放时是否刷新缓存 d) 易失性 -> 对所有易失性变量进行完全有序的内存访问。完全符合程序订单的预期。