synchronized 如何保证可见性的？

synchronized 关键字在 Java 中不仅提供了对临界区的原子性操作，同时也确保了内存可见性。

1. 原子性操作： synchronized 保证了被同步的代码块在同一时刻只能被一个线程执行，从而确保了代码块中的操作是原子的，不会被中断。这意味着，即使有多个线程同时访问一个同步块，也只有一个线程可以进入执行，其他线程需要等待。

2. 内存可见性： 当一个线程进入synchronized代码块时，它会清空或刷新该线程的本地内存，并从主内存中重新加载变量的值，这样确保了当前线程对共享变量的操作是基于最新的值。而当这个线程离开synchronized代码块时，会强制将本地内存中的修改刷新回主内存，这样其他线程就可以看到最新的值。

synchronized块内的代码会在进入和退出时自动获取和释放锁。当线程获取锁时，它会清除在本地内存中的变量值，确保了这些变量在锁释放前的修改对其他线程可见。

虽然synchronized关键字提供了对共享资源的访问控制，但是它会造成一些性能损耗，因为每次使用synchronized时，都会涉及到锁的获取和释放。在并发性能要求较高的情况下，可以考虑使用更轻量级的锁或并发工具来实现可见性保证，比如volatile变量、Lock接口的实现类或者Atomic类。