3. 可见性

可见性就是指一个线程对共享变量的更新结果对于读取该共享变量的线程是可见的

缓存同步

一个处理器从其自身处理器缓存以外的其他存储部件中读取数据并将其更新到自身处理器的高速缓存的过程

冲刷处理器缓存

一个处理器对共享变量所做的更新最终写入该处理器的高速缓存或主内存中（而不是始终停留在其写缓冲器中）的过程

刷新处理器缓存

一个处理器在读取共享变量时，若其他处理器在此之前已经更新了该变量，那么该处理器必须从其他处理器的高速缓存或主内存中对应的变量进行缓存同步的过程

可见性的保障

通过使更新共享变量的处理器执行冲刷处理器缓存的动作，并且使读取该共享变量的处理器执行刷新处理器缓存的动作来实现