1.Java内存模型如何解决可见性和有序性问题

什么是Java内模型？

已经知道，导致可见性的原因是缓存，导致有序性的原因是编译优化，那解决可见性、有序性最直接的办法就是禁用缓存和编译优化，但是这么做程序对的性能就会受到很大的影响。

Java内存模型规范了JVM如何提供按需禁用缓存和编译优化的方法，程序员可以通过volatile、synchronized和final关键字，以及六项Happens-Before规则来解决可见性和有序性问题。

1. volatile关键字

   通过使用volatile关键字，程序可以保证一个变量对于其他线程的可见性。当一个变量被声明为volatile时，它的值会被保存到主内存中，当其他线程要访问这个变量时，它们会从主内存中读取最新的值，而不是从自己的本地缓存中读取过期的值。

2. synchronized关键字

   通过synchronized关键字，程序可以保证临界区的代码同一时间只能由一个线程执行，并且在线程释放锁之前，对共享变量所做的修改对其他线程是可见的。

3. 正确地使用final关键字

   由于final关键字可以保证变量初始化后不再会被修改，因此在多线程环境中，正确地使用final关键字可以保证对于这个变量的读操作是线程安全的。

4. Happens-Before规则

   Java内存模型中定义了Happens-Before规则，按字面意思翻译成“先行发生”，真正含义应该理解为前面一个操作的结果对后续操作是可见的，它们规定了一些线程间操作的执行顺序，保证了多线程环境中数据的可见性和有序性。例如，对于volatile变量的写操作，Happens-Before于任何后续对该变量的读操作。

   1. 程序顺序规则：一个线程中的每个操作，Happens-Before与该线程中任何后续操作。

   2. volatile变量规则：对一个volatile变量的写操作，Happens-Before于任何后续对这个volatile变量的读操作。

   3. 传递性规则：如果A Happens-Before B，且B Happens-Before C，那么A Happens-Before C。

   4. 锁定规则：对于同一个锁，释放锁操作Happens-Before于任何后续的获取锁操作。这保证了线程间的信息流动。

   5. 线程启动规则：start()操作Happens-Before于执行该线程的任何操作。

   6. 线程终止规则：一个线程的所有操作Happens-Before于其他线程检测到该线程已经终止。

   7. 监视器锁规则：获取一个监视器锁Happens-Before于每个后续释放监视器锁的操作。

   8. 对象终结规则：对象的构造函数执行Happens-Before于finalize()方法的执行。