可见性与原子性

原子性描述的是一个线程对共享变量的操作，从另一个线程的角度来看，它要么完成要么尚未发生，而不是进行中的某种状态。因此，原子性可以保证一个线程所读取的共享变量要么是初始值，要么是相对新值（约定：对于一个线程，在读取并使用该共享变量期间，其他线程无法更改该值，则称之为最新值，反之，称为相对新值），而不是进行中的某种状态。

可见性描述的是一个线程对共享变量的修改对于另一个线程是否可见。保障可见性意味着一个线程可以读取到相应共享变量的相对新值。