Java内存模型（JMM）是Java并发编程的基础，它定义了多个线程之间如何通过共享内存进行通信。JMM确保了在并发环境中，程序员能够预测和控制他们的代码行为。为了深入理解JMM，我们需要关注其三个关键特性：可见性、有序性和原子性。
1. 可见性
可见性是指一个线程对共享变量所做的更新，对其他线程来说是立即可见的。在Java中，当一个线程修改了共享变量的值，必须通过同步机制来保证这个新值对其他线程立即可见。如果没有正确的同步，其他线程可能会看到过期的值，因为它们在自己的工作内存中可能存有该变量的缓存副本。
例如，使用volatile关键字可以保证变量的可见性。当一个变量被声明为volatile时，线程在读取该变量时会直接从主内存中读取，写入时也会直接写入主内存，从而确保了变量的可见性。
2. 有序性
有序性指的是程序中的操作按照代码的顺序执行。在单线程程序中，这个顺序通常是确定的。然而，在多线程环境中，编译器和处理器可能会对指令进行重排序以优化性能，这可能导致意料之外的结果。
JMM通过happens-before原则来保证有序性。如果两个操作之间存在happens-before关系，那么第一个操作将对第二个操作可见，且第一个操作按顺序排在第二个操作之前。
例如，当一个线程进入同步块时，它之前的所有操作都对其他随后进入同步块的线程可见，并且按照代码顺序执行。
3. 原子性
原子性是指一个或一系列操作要么全部完成，要么全部不执行，不会被线程切换所中断。在Java中，基本数据类型的读写操作本身就是原子的，但是对于更大范围的操作（如自增操作），就需要使用锁或其他同步机制来保证原子性。
例如，synchronized关键字可以用来创建一个原子操作。当一个线程获得对象的监视器锁并执行同步代码块时，其他线程将被阻止访问该代码块，直到第一个线程释放锁。
结合实例
考虑一个简单的计数器例子，其中多个线程同时增加计数器的值。如果不使用同步机制，可能会出现计数器值不一致的问题。通过使用synchronized关键字或者AtomicInteger类，我们可以确保每次递增操作都是原子的，从而避免了这个问题。
总结来说，Java内存模型是理解和掌握Java并发编程的关键。通过正确应用可见性、有序性和原子性这三个核心特性，开发者可以编写出既高效又稳定的多线程应用程序。
