原子变量的可见性保证

Question

读了很多关于易失性、原子性和可见性的文章后，有一个问题仍然存在。以下跨线程工作，当更新/读取“B”时，“A”始终可见：

int a;
volatile int b;
a = 1; b = 1;
...
// different thread
if (b == 1) // do something with a, which is 1 now

原子变量是独立的对象，这同样适用吗？下面的操作会起作用吗？

int a;
AtomicInteger b = new AtomicInteger();
a = 1; b.set(1);
...
// different thread
if (b.get() == 1) // a guaranteed to be 1 here all the time ???

如果答案是否定的，那么扩展AtomicInteger类并在其中包含“a”就可以了，因为AtomicInteger包装了一个volatile。

Answer 1

a保证在这里一直是1？？？

否，其他set调用可以在两者之间发生。

但在volatile情况下也是如此。