- 可见性： 线程只能看到自己对共享变量所做的修改，而其他线程对共享变量的修改则需要通过某种同步机制才能被看到。
- 原子性： 一个操作要么完整执行，要么根本不执行，没有中间状态。
- 有序性： 线程对共享变量的操作必须按照一定的顺序执行，即使在不同的线程中也是如此。
二、happens-before 原则
php小编西瓜精心撰写了一篇实战指南，旨在帮助读者避免Java并发编程中常见的陷阱。文章深入浅出地介绍了Java内存模型，探讨了如何有效地解决并发编程中可能遇到的问题，为读者提供了实用的技巧和建议。无论您是初学者还是有经验的开发者，本指南都将为您提供宝贵的参考和指导，帮助您更好地应对并发编程挑战。
happens-before 原则的常见情况包括：
- 顺序一致性： 如果一个操作 A 在另一个操作 B 之后执行，那么 A happens-before B。
- 管程锁： 如果一个线程获得了一个管程锁，那么该线程对管程锁的解锁操作 happens-before 其他线程对该管程锁的获取操作。
- volatile 变量： 对 volatile 变量的写操作 happens-before 对该 volatile 变量的读操作。
三、规避并发编程中的常见陷阱
理解 JMM 的基本概念后，您就可以规避并发编程中的常见陷阱了。这些陷阱包括：
- 内存可见性问题： 由于线程只能看到自己对共享变量所做的修改，因此可能发生内存可见性问题。例如，一个线程对共享变量进行修改，而另一个线程在同一时刻读取共享变量，此时另一个线程可能读取到修改前的值。为了解决这个问题，可以使用 volatile 变量、同步机制或原子操作来确保内存可见性。
- 原子性问题： 由于一个操作要么完整执行，要么根本不执行，因此可能发生原子性问题。例如，一个线程正在对共享变量进行自增操作，而另一个线程在同一时刻对共享变量进行自减操作，此时共享变量的值可能会变得不正确。为了解决这个问题，可以使用原子操作或同步机制来确保原子性。
- 有序性问题： 由于线程对共享变量的操作必须按照一定的顺序执行，因此可能发生有序性问题。例如，一个线程正在对共享变量进行修改，而另一个线程在同一时刻读取共享变量，此时另一个线程可能读取到修改后的值，而实际上修改操作尚未完成。为了解决这个问题，可以使用同步机制来确保有序性。
四、总结
Java 内存模型是 Java 虚拟机执行多线程程序的一组规则，通过规定线程之间共享内存的访问规则，确保线程安全和程序的一致性。理解 JMM 对于编写正确的并发程序至关重要。本文通过实战案例，帮助您深入理解 JMM，掌握规避并发编程陷阱的技巧，从而编写出更加可靠和高效的并发程序。
立即学习“Java免费学习笔记（深入）”；
