JVM内存模型（五）

1.Java内存模型的概念和作用

        Java内存模型（Java Memory Model，简称JMM）是一种规范，定义了Java程序在多线程环境下如何访问共享内存的规则和语义。它定义了线程之间的通信方式，以及对共享数据的读写操作的可见性、原子性和有序性保证。

JMM的主要作用如下：

1. 可见性（Visibility）：JMM确保一个线程对共享变量的修改对于其他线程是可见的。当一个线程修改了一个共享变量的值，其他线程在之后的读操作中能够看到最新的值。

2. 原子性（Atomicity）：JMM保证对于某些特定操作（如读取和写入引用变量、读取和写入基本类型变量等）的单个操作是原子的，即要么执行完整，要么不执行。

3. 有序性（Ordering）：JMM保证在不同线程中，程序的执行顺序符合其在源代码中的顺序。但是，由于编译器和处理器的优化，某些指令的执行顺序可能会发生重排序，但不会影响单线程的语义。

        Java内存模型通过定义一组规则和约束，确保了多线程程序的正确性和可靠性。它提供了一种统一的内存访问方式，使得开发人员可以更方便地编写并发程序，而无需关注底层硬件和操作系统的细节。同时，Java提供的同步机制（如synchronized关键字、volatile关键字、Lock等）也是基于JMM的规范实现的，用于保证线程间的协同和共享数据的正确访问。

        理解和遵守Java内存模型对于编写正确且高效的多线程程序非常重要。开发人员需要了解JMM的规则和语义，并使用适当的同步机制来保证共享数据的一致性和线程安全性。

2.volatile、synchronized等关键字的作用和使用方式

volatile关键字：

• 作用：使用volatile关键字修饰的变量具有可见性和禁止指令重排序的特性。它保证了对volatile变量的写操作对其他线程的读操作是可见的，避免了多线程并发访问时的数据不一致问题。
• 使用方式：在声明变量时使用volatile关键字，例如：volatile int count = 0;。一般情况下，volatile适用于状态标志位、触发器等简单的共享变量。

synchronized关键字：

• 作用：synchronized关键字用于实现线程间的同步，保证同一时间只有一个线程可以访问被synchronized修饰的代码块或方法。它提供了互斥访问共享资源的机制，避免了多线程并发访问时的数据竞争和不一致问题。
• 使用方式：
  • 对代码块的同步：使用synchronized关键字加锁指定的对象或类，例如：

  • synchronized (obj) {
        // 需要同步的代码块
    }

  • 对方法的同步：使用synchronized关键字修饰方法，例如：

    public synchronized void method() {
        // 需要同步的方法体
    }

  • 对静态方法的同步：使用synchronized关键字修饰静态方法，例如：

    public static synchronized void staticMethod() {
        // 需要同步的静态方法体
    }

  • 注意事项：synchronized关键字会自动释放锁，当线程执行完同步代码块或方法后会释放锁，其他线程才能获取锁并执行同步代码块或方法。同时，synchronized关键字保证了线程在获取锁之前会清空工作内存中的数据，重新从主内存中获取最新的数据。

这些关键字提供了不同的同步机制，可以根据具体的需求选择合适的关键字来实现线程间的同步与数据共享。

volatile关键字的实现方式： 当一个变量被声明为volatile时，Java虚拟机会确保对该变量的读写操作都具有以下两个特性：

1. 可见性：当一个线程对volatile变量进行写操作时，它会立即将该值刷新到主内存中，并通知其他线程的工作内存失效，强制其他线程重新从主内存中读取最新的值。这样就保证了对该变量的写操作对于其他线程是可见的。

2. 禁止指令重排序：为了提高性能，编译器和处理器可能会对指令进行重排序。但是，对于volatile变量，编译器和处理器会禁止特定类型的重排序，以保证volatile变量的有序性。

        实现可见性的方式是通过在读写volatile变量时使用内存屏障（Memory Barrier）指令来实现的。内存屏障指令会强制将工作内存中的数据刷新到主内存，或者从主内存中重新加载最新的值到工作内存。

        synchronized关键字的实现方式： synchronized关键字通过使用对象监视器（Monitor）来实现对临界区的互斥访问。在Java中，每个对象都可以作为一个监视器，它具有以下特性：

1. 获取锁：当线程进入synchronized代码块或方法时，它尝试获取对象监视器的锁。如果锁没有被其他线程持有，当前线程就会获取到锁，并进入临界区执行代码。如果锁已经被其他线程持有，当前线程会进入阻塞状态，等待锁的释放。

2. 释放锁：当线程执行完synchronized代码块或方法，或者遇到异常时，它会释放对象监视器的锁。释放锁会让其他线程有机会获取锁，并进入临界区执行代码。

        Java中的synchronized关键字是通过使用底层的monitor enter和monitor exit指令来实现的。monitor enter指令用于获取锁，monitor exit指令用于释放锁。

        需要注意的是，synchronized关键字可以用于修饰代码块和方法，也可以用于修饰静态方法和类。对于静态方法和类的同步，它使用的是类级别的监视器。

3.happens-before原则和原子性的实现原理

        Happens-Before 原则是 Java 内存模型中定义的一个重要概念，它用于确定多线程程序中操作之间的顺序关系。根据 Happens-Before 原则，如果操作 A Happens-Before 操作 B，那么操作 A 的结果对于操作 B 是可见的。Happens-Before 原则确保了多线程程序中的操作顺序和可见性。

Happens-Before 原则的几个规则包括：

1. 程序顺序规则：同一个线程中的操作按照程序的顺序执行，即前面的操作 Happens-Before 后面的操作。
2. 监视器锁规则：对一个锁的解锁 Happens-Before 后续对该锁的加锁。
3. volatile 变量规则：对一个 volatile 变量的写操作 Happens-Before 后续对该变量的读操作。
4. 传递性：如果操作 A Happens-Before 操作 B，操作 B Happens-Before 操作 C，那么操作 A Happens-Before 操作 C。

        这些规则确保了在满足 Happens-Before 关系的前提下，程序中的操作能够正确地协同工作，保证了操作的有序性和可见性。

        原子性的实现原理： 原子性是指一个操作是不可分割的，要么完整地执行，要么不执行，不存在执行过程中被中断或被其他线程干扰的情况。在多线程环境中，原子性的实现需要使用同步机制来保证。

在 Java 中，实现原子操作的主要手段有以下几种：

1. 使用 synchronized 关键字：通过 synchronized 关键字修饰的方法或代码块，可以保证同一时间只有一个线程能够进入临界区执行代码，从而实现了原子性。当一个线程获取到锁执行 synchronized 代码块时，其他线程必须等待锁的释放。

2. 使用 Lock 接口：Lock 接口提供了更灵活的锁机制，通过 Lock 对象可以显式地获取锁和释放锁。Lock 接口的实现类如 ReentrantLock 提供了与 synchronized 类似的功能，可以保证临界区代码的原子性。

3. 使用原子类：Java 并发包中提供了一些原子类，如 AtomicBoolean、AtomicInteger、AtomicLong 等。这些原子类使用底层的 CAS（Compare-and-Swap）操作实现原子性。CAS 是一种乐观锁机制，通过比较当前值与期望值是否相等来决定是否更新值，避免了使用锁的开销。

这些机制都可以保证临界区中的操作是原子的，避免了多线程环境下的数据竞争和不一致性问题。