什么是可见性 ？怎么保证 ？

解答思路：

关于"可见性"，在计算机科学和编程领域，特别是在多线程编程和并发系统中，可见性通常指的是一个线程能否看到（即感知到）另一个线程对共享变量的修改。保证可见性就是确保一个线程所做的更改，能被其他线程及时、正确地观察到。

关于如何保证可见性，主要涉及的是内存模型和同步机制。一般来说，可以通过以下几种方式来实现：

1. 使用同步原语（如互斥锁、信号量等）来控制对共享资源的访问，确保在任一时刻只有一个线程能够修改共享资源，这样可以避免并发问题，自然也能保证可见性。
2. 利用现代CPU的缓存一致性协议（如MESI协议），确保对内存的修改会被广播到其他CPU核心或线程，从而实现可见性。
3. 使用原子操作或原子变量，这些操作在执行过程中不会被其他线程打断，从而保证了操作的完整性和可见性。

然后，在面试中可能会被问到关于内存模型、缓存一致性协议、以及并发编程中的其他相关概念。这些都是与可见性紧密相关的重要知识点。

最优回答：

“可见性是指在多线程编程环境中，一个线程能否看到另一个线程对共享变量的修改。保证可见性主要可以通过使用同步原语（如互斥锁、信号量）、利用CPU的缓存一致性协议，以及使用原子操作等方式来实现。”

1. 内存模型：不同的编程语言和操作系统都有自己的内存模型，理解这些模型对于理解可见性和并发控制非常重要。
2. 缓存一致性协议：现代CPU通常有多级缓存，而这些缓存之间的数据同步是通过缓存一致性协议来完成的。理解这些协议的工作原理对于理解并发编程中的可见性问题很有帮助。
3. 并发编程中的其他概念：如原子操作、无锁数据结构等，都是与可见性紧密相关的概念，理解这些概念有助于更全面地理解可见性问题。