JVM内存模型

最新推荐文章于 2024-05-04 15:46:19 发布
最新推荐文章于 2024-05-04 15:46:19 发布
阅读量86 收藏
点赞数
文章标签： jvm java 面试
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_33888850/article/details/130368047
版权
  • 获得更好的阅读体验，可以移步至我的个人博客：https://cyborg2077.github.io/
    1. JVM导学：https://cyborg2077.github.io/2023/03/26/JvmPart1/
    2. JVM内存结构：https://cyborg2077.github.io/2023/03/27/JvmPart2/
    3. JVM垃圾回收：https://cyborg2077.github.io/2023/04/01/JvmPart3/
    4. JVM类加载与字节码技术：https://cyborg2077.github.io/2023/04/05/JvmPart4/
    5. JVM内存模型：https://cyborg2077.github.io/2023/04/11/JvmPart5/
    6. JVM相关面试题：https://cyborg2077.github.io/2023/04/15/JvmPart6/

写在最前

  • 这部分的内容会在后续的JUC详细讲解

Java内存模型

  • 很多人将Java内存结构和Java内存模型傻傻分不清，Java内存模型是Java Memory Model(JMM)的意思
  • 简单地说，JMM定义了一套在多线程读写共享数据时（成员变量、数组），对数据的可见性、有序性和原子性的规则和保障

原子性

  • 原子性在前面的文章也提过，现在来简单回顾一下
  • 两个线程对初始值为0的静态变量，一个做自增，一个做自减，各做5000次，那么最终结果是0吗？
public class JMM01 {
    static int i = 110;

    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                i++;
            }
        });
        Thread t2 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                i--;
            }
        });
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(i);
    }
}

问题分析

  • 以上的结果可能是正数、负数、零。为什么呢？
  • 因为Java中对静态变量的自增、自减操作并不是原子操作
public class JMM02 {
    static int i = 0;

    public static void main(String[] args) {
        i++;
        i--;
    }
}
  • 编译后的字节码文件
Code:
  stack=2, locals=1, args_size=1
     0: getstatic     #2                  // Field i:I
     3: iconst_1
     4: iadd
     5: putstatic     #2                  // Field i:I
     8: getstatic     #2                  // Field i:I
    11: iconst_1
    12: isub
    13: putstatic     #2                  // Field i:I
    16: return
  • 对于i++而言（注意i为静态常量），实际上会产生如下字节码指令
getstatic     #2    // 获取静态常量 i 的值
iconst_1            // 准备常量 1
iadd                // 加法（如果是局部变量，则调用的是iinc）
putstatic     #2    // 将修改后的值存入静态变量 i
  • 而对于i–而言，也是类似的操作
getstatic     #2    // 获取静态常量 i 的值
iconst_1            // 准备常量 1
isub                // 减法
putstatic     #2    // 将修改后的值存入静态变量 i
  • 在多线程环境下，这些指令可能会被CPU交错的执行，就会导致我们看到的结果出现问题
  • Java的内存模型如下，完成静态变量的自增、自减需要在主存与线程内存中进行数据交换
  • 出现负数的情况：
// 假设i的初始值为0
getstatic i         // 线程1-获取静态变量i的值 线程内i=0
getstatic i         // 线程2-获取静态变量i的值 线程内i=0
iconst_1            // 线程1-准备常量1
iadd                // 线程1-自增 线程内i=1
putstatic i         // 线程1-将修改后的值存入静态变量i 静态变量i=1
iconst_1            // 线程2-准备常量1
isub                // 线程2-自减 线程内i=-1
putstatic i         // 线程2-将修改后的值存入静态变量i 静态变量i=-1
  • 出现正数的情况：
// 假设i的初始值为0
getstatic i         // 线程1-获取静态变量i的值 线程内i=0
getstatic i         // 线程2-获取静态变量i的值 线程内i=0
iconst_1            // 线程1-准备常量1
iadd                // 线程1-自增 线程内i=1
iconst_1            // 线程2-准备常量1
isub                // 线程2-自减 线程内i=-1
putstatic i         // 线程2-将修改后的值存入静态变量i 静态变量i=-1
putstatic i         // 线程1-将修改后的值存入静态变量i 静态变量i=1

解决方法

  • 使用synchronized（同步关键字），语法如下
synchronized(obj) {
    要作为原子操作的代码
}
  • 解决上面的问题，在i++和i--操作处加锁
public class JMM03 {
    static int i = 0;
    static Object obj = new Object();

    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                synchronized (obj) {
                    i++;
                }
            }
        });
        Thread t2 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                synchronized (obj) {
                    i--;
                }
            }
        });
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(i);
    }
}
  • 可以把obj想象成一间房间（撤硕），线程t1、线程t2想象成两个人
  • 当线程t1执行到synchronized(obj)时，就好比t1进入了撤硕，并反手锁住了门，在门内执行i++操作
  • 此时如果t2也运行到了synchronized(obj)，它发现门被锁住了，只能在门外等待
  • 当t1执行完synchronized块内的代码，此时才会解开门上的锁，从撤硕出来，t2线程此时才可以进入撤硕，并反手锁住门，执行它的i--操作
    {% note warning no-icon %}
  • 注意：上例中的t1和t2线程都必须使用synchronized锁住同一个obj对象，如果t1锁住的是x对象，t2锁住的是y对象，就好比两个人进入了两个不同的撤硕，没法起到同步的效果
    {% endnote %}
  • 最后，也建议将synchronized加锁的范围设置的大一些，刚刚的代码中，仅在i++操作上加锁，锁住了4条虚拟机指令，但是外层循环了5W次，那就要加锁解锁5W次，这样是比较耗时的，那么此时我们就可以直接在for循环上加锁，这样就只用解锁一次
Thread t1 = new Thread(() -> {
    synchronized (obj) {
        for (int j = 0; j < 5000; j++) {
            i++;
        }
    }
});

可见性

  • 可见性指的是当一个线程修改了共享变量的值后，其他线程能够立即看到这个修改的结果。在单线程环境下，修改变量的值和读取变量的值都是在同一个线程内进行的，所以不存在可见性问题。但是在多线程环境下，由于每个线程都有自己的缓存，所以可能出现一个线程修改了共享变量的值，但是其他线程还是看到原来的旧值的情况。

退不出的循环

  • 先来看一个现象，main线程对run变量的修改，对于t线程不可见，导致t线程无法停止
public class JMM04 {

    static boolean run = true;

    public static void main(String[] args) throws InterruptedException {
        Thread t = new Thread(() -> {
            while (run) {
                //TODO
            }   
        });
        t.start();
        Thread.sleep(1000);     //  休眠 1 秒
        run = false;            // 此时将run改为false，按理说上面的while循环应该会结束
    }
}
  • 那这是为什么呢？我们来分析一下{% psw （提示：联想一下上篇文章的JIT优化） %}
    1. 初始状态：t线程刚开始就从主存读取到了run的值到工作内存
    2. 因为t线程要频繁的从主存中读取run的值，JIT编译器会将run的值缓存至自己工作内存的高速缓存中，减少对主存中run的访问，提高效率
    3. 1秒过后，main线程修改了run值，并同步至主存，但是t现在已经是从自己工作内存的高速缓存中读取的run，结果永远是true

解决方法

  • 可见性问题的方法是通过使用volatile关键字来声明共享变量。在使用了volatile关键字声明的共享变量上进行读写操作时，JVM会保证所有线程都能够看到该变量的最新值，从而解决可见性问题。
public class JMM04 {

    volatile static boolean run = true;

    public static void main(String[] args) throws InterruptedException {
        Thread t = new Thread(() -> {
            while (run) {
                //TODO
            }
        });
        t.start();
        Thread.sleep(1000);
        run = false;    
    }
}
  • 此时程序运行1秒后就会停下来了
    {% note warning no-icon %}
  • synchronized语句块既可以保证代码的原子性，同时也可以保证代码块内变量的可见性。但缺点是synchronized属于重量级操作，性能相对较低
    {% endnote %}
  • 如果在前面示例的死循环中，加入一条输出指令System.out.println()会发现，即使不加volatile修饰符，线程t也正确看到run变量的修改了，这是为什么呢？
    • 因为System.out.println()语句具有同步锁的效果，它会强制刷新CPU缓存，从而强制线程从主内存中读取变量的值。这与volatile的作用相似，可以保证线程获取到最新的变量值。
    public void println(int x){
    synchronized(this) {
        print(x);
        newLine( );
    }
}

有序性

诡异的结果

  • 先来看一段代码
    int num = 0;
    boolean ready = false;
    
    // 线程1 执行此方法
    public void method1(Person p) {
        if(ready) {
            p.age = num + num;
        } else {
            p.age = 1;
        }
    }

    // 线程2 执行此方法
    public void method2(Person p) {
        num = 2;
        ready = true;
    }

  • Person是一个对象，有一个属性age用来保存结果，那么上面的代码会有几种可能？

    1. 线程1先执行，此时ready = false，进入else分支，结果是1
    2. 线程2先执行，num = 2，ready = true，线程1执行是，ready = true，执行if分支，同时num = 2，结果是4
    3. 线程2先执行，num = 2，还没来得及执行ready = true，此时线程1执行，ready = false，进入else分支，结果是1

  • 但是其实还有一种可能，结果是0

    • 这种情况下：线程2先执行ready = true，切回到线程1，进入if分支，相加为0，再切回线程2执行num = 2

  • 这种现象叫：指令重排

    • 指令重排是指在编译器或者JIT编译器优化过程中，为了提高程序的性能而重新排列指令的执行顺序，以便在运行时更加高效地执行。
    • 指令重排并不会改变程序的语义，但它可能会改变程序的执行顺序，从而导致程序出现错误或异常。
    • 指令重排需要通过大量测试才能发现，借助java并发压测工具jcstress
    • 在JVM中，指令重排主要有以下三种类型：
      1. 编译器重排：编译器在生成目标代码时对指令进行重排，以提高代码的性能。
      2. 运行时重排：JIT编译器在运行时对字节码进行优化，对指令进行重排，以提高程序的性能。
      3. 处理器重排：现代处理器具有乱序执行的能力，可以根据需要重新排列指令的执行顺序，以提高指令的执行效率。
    • 指令重排的好处是可以提高程序的性能，但也有风险。如果重排不当，可能会导致程序出现错误或异常。为了避免这种情况，JVM提供了一些机制，例如volatile关键字、synchronized关键字、final关键字等，以保证程序的正确性。

  • 运行如下maven命令

mvn archetype:generate -DarchetypeGroupId=org.openjdk.jcstress -DarchetypeArtifactId=jcstress-java-test-archetype -DarchetypeVersion=0.5 -DgroupId=com.demo.jmm -DartifactId=com.demo.jmm.my-test-project -Dversion=1.0-SNAPSHOT

  • 修改生成的测试方法
@JCStressTest
@Outcome(id = {"1", "4"}, expect = Expect.ACCEPTABLE, desc = "ok")
@Outcome(id = "0", expect = Expect.ACCEPTABLE_INTERESTING, desc = "!!!!")
@State
public class ConcurrencyTest {
    int num = 0;
    boolean ready = false;
    @Actor
    public void actor1(I_Result r) {
        if(ready) {
            r.r1 = num + num;
        } else {
            r.r1 = 1;
        }
    }
    @Actor
    public void actor2(I_Result r) {
        num = 2;
        ready = true;
    }
}
  • 执行maven clean install，生成jar包
  • 使用java -jar命令启动测试，结果如下
*** INTERESTING tests
  Some interesting behaviors observed. This is for the plain curiosity.

  2 matching test results. 
      [OK] com.demo.jmm.ConcurrencyTest
    (JVM args: [-XX:-TieredCompilation])
  Observed state   Occurrences              Expectation  Interpretation
               0         4,118   ACCEPTABLE_INTERESTING  !!!!
               1   100,677,962               ACCEPTABLE  ok
               4    65,352,081               ACCEPTABLE  ok

      [OK] com.demo.jmm.ConcurrencyTest
    (JVM args: [])
  Observed state   Occurrences              Expectation  Interpretation
               0         4,446   ACCEPTABLE_INTERESTING  !!!!
               1    70,399,953               ACCEPTABLE  ok
               4    64,934,892               ACCEPTABLE  ok
  • 可以看到，出现结果为0的次数有4118次，虽然次数相对较少，但毕竟还是出现了

解决方法

  • 使用volatile修饰的变量，可以禁用指令重排
@JCStressTest
@Outcome(id = {"1", "4"}, expect = Expect.ACCEPTABLE, desc = "ok")
@Outcome(id = "0", expect = Expect.ACCEPTABLE_INTERESTING, desc = "!!!!")
@State
public class ConcurrencyTest {
    int num = 0;
    volatile boolean ready = false;
    @Actor
    public void actor1(I_Result r) {
        if(ready) {
            r.r1 = num + num;
        } else {
            r.r1 = 1;
        }
    }
    @Actor
    public void actor2(I_Result r) {
        num = 2;
        ready = true;
    }
}
  • 结果如下
*** INTERESTING tests
  Some interesting behaviors observed. This is for the plain curiosity.

  0 matching test results.

有序性理解

  • JVM会在不影响正确性的前提下，调整语句的执行顺序，来看一下下面的代码
static int i;
static int j;

//在某个线程内执行如下赋值操作（单线程）
i = ...;    // 较为耗时的操作
j = ...l    // 简单的 操作
  • 可以看到，不管是先执行i还是先执行j，对最终的结果都不会产生影响，所以上面两条语句的执行顺序可以任意的排列组合
  • 这种特性被称之为指令重排，多线程下的指令重排会影响正确性，例如著名的double-checked-locking模式实现单例
public final class Singleton {
    private Singleton(){}
    private static Singleton INSTANCE = null;
    public static Singleton getInstance(){
        if (INSTANCE == null){
            synchronized (Singleton.class){
                if (INSTANCE == null){
                    INSTANCE = new Singleton();
                }
            }
        }
        return INSTANCE;
    }
}
  • 以上的实现的特点是
    1. 懒惰实例化
    2. 首次使用getInstance()才使用synchronized加锁，后续使用时无需加锁
  • 但是在多线程环境下，上面的代码是有问题的，INSTANCE = new Singleton();对应的字节码如下
0: new #2               // class cn/itcast/jvm/t4/Singleton
3: dup  
4: invokespecial #3     // Method "<init>":()V
7: putstatic #4         // Field
  • 其中4和7 两步的顺序不是固定的，也许jvm会优化为：先将引用地址赋给INSTANCE变量后，再执行构造方法，如果两个线程t1、t2按如下时间序列执行
    1. 时间1 t1 线程执行到 INSTANCE = new Singleton();
    2. 时间2 t1 线程分配空间，为Singleton对象生成了引用地址（0 处）
    3. 时间3 t1 线程将引用地址赋值给 INSTANCE，这时 INSTANCE != null（7 处）
    4. 时间4 t2 线程进入getInstance() 方法，发现 INSTANCE != null（synchronized块外），直接返回 INSTANCE
    5. 时间5 t1 线程执行Singleton的构造方法（4 处）
  • 此时t1还未完全将构造方法执行完毕，如果在构造方法中要执行很多初始化操作，那么t2拿到的将是一个未完成初始化的单例
  • 对INSTANCE使用volatile修饰即可，可以禁用指令重排

happens-before

  • happens-before规定了哪些写操作对其他线程的读操作可见，它是可见性与有序性的一套规则总结。抛开以下happens-before规则，JMM不能保证一个线程对共享变量的写，对于其他线程对该共享变量的读是可见的
  1. 线程解锁m之前对变量的写，对于接下来对m加锁的其他线程对该变量的读可见
    static int x;
static Object m = new Object();

public static void main(String[] args) {
    new Thread(() -> {
        synchronized (m) {
            x = 10;
        }
    }, "t1").start();
    new Thread(() -> {
        synchronized (m) {
            System.out.println(x);
        }
    }, "t2").start();
}
    • 在线程t2中，当获取了对象m的锁之后，线程可以读取到线程t1对变量x的写入结果。
  2. 线程对volatile变量的写，对接下来其他线程对该变量的读可见
    volatile static int x;

public static void main(String[] args) {
    new Thread(() -> {
        x = 10;
    }, "t1").start();
    new Thread(() -> {
        System.out.println(x);
    }, "t2").start();
}
    • 在线程t2中，当读取变量x的值时，可以看到线程t1对变量x的最新写入结果，而不会读取到变量x的旧值。
  3. 线程start前对变量的写，对该线程开始后对该变量的读可见
    static int x;

public static void main(String[] args) {
    x = 10;
    new Thread(() -> {
        System.out.println(x);
    }, "t2").start();
}
  4. 线程结束前对变量的写，对其他线程得知它结束后的读可见
    static int x;

public static void main(String[] args) throws InterruptedException {
    Thread t1 = new Thread(()->{
        x = 10;
    },"t1");
    t1.start();
    t1.join();
    System.out.println(x);
}
    • 当主线程中读取变量x的值时，可以看到线程t1对变量x的写入结果。
  5. 线程 t1 打断 t2（interrupt）前对变量的写，对于其他线程得知 t2 被打断后对变量的读可见（通过t2.interrupted 或 t2.isInterrupted）
    static int x;

public static void main(String[] args) {
    Thread t2 = new Thread(() -> {
        while (true) {
            if (Thread.currentThread().isInterrupted()) {
                System.out.println(x);
                break;
            }
        }
    }, "t2");
    t2.start();
    new Thread(() -> {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        x = 10;
        t2.interrupt();
    }, "t1").start();
    while (!t2.isInterrupted()) {
        Thread.yield();
    }
    System.out.println(x);
}
    • 以上代码创建了两个线程t1和t2。线程t2在一个无限循环中不断检查自身的中断状态，如果发现自己被打断则打印变量x的值并跳出循环，线程t1会在1秒后修改变量x的值并打断线程t2。
    • 线程t1在打断线程t2之前对变量x的写操作对于其他线程得知线程t2被打断后的读操作可见。在本例中，线程t1在修改变量x的值并打断线程t2之前会先睡眠1秒，因此线程t2的循环会在线程t1修改变量x的值之后才会被打断。此时，线程t2中对变量x的读操作就能看到线程t1对变量x的修改。

CAS与原子类

  • CAS即Compare And Swap，它体现的是一种乐观锁的思想，比如多个线程要对一个共享的整型变量执行 +1 操作：
// 需要不断尝试
while(true) {
    int 旧值 = 共享变量;    // 比如当前共享变量是 0
    int 结果 = 旧值 + 1;    // 在旧值的基础上 +1 ，结果是 1

    /*
        此时如果别的线程将共享变量改为了 5，那么本线程的正确结果 1 就作废了
        此时compareAndSwap 返回 false，重新尝试
        直到compareAndSwap 返回 true，表示本线程做修改的同时，别的线程没有干扰
    */
   if(compareAndSwap(旧值, 结果)) {
        // 比较旧值和当前共享变量是否相等
        // 成功，退出循环
   }
}
  • 获取共享变量时，为了保证该变量的可见性需要使用volatile修饰。结合CAS和volatile可以实现无锁并发，适用于竞争不激烈、多核CPU的场景下
    • 因为没有使用synchronized，所以线程不会陷入阻塞，这是效率提升的因素之一
    • 但如果竞争激烈，可以想到重试必然频繁发生，反而效率会受影响
  • CAS底层依赖于一个Unsafe类来直接调用操作系统底层的CAS指令，下面是直接使用Unsafe对象进行线程安全保护的一个例子
import sun.misc.Unsafe;

import java.lang.reflect.Field;

public class JMM06 {
    public static void main(String[] args) throws InterruptedException {
        DataContainer dc = new DataContainer();
        int count = 5;
        Thread t1 = new Thread(() -> {
            for (int i = 0; i < count; i++) {
                dc.increase();
            }
        });
        t1.start();
        t1.join();
        System.out.println(dc.getData());
    }
}

class DataContainer {
    private volatile int data;
    static final Unsafe unsafe;
    static final long DATA_OFFSET;

    static {
        try {
            // Unsafe 对象不能直接调用，只能通过反射获得
            Field theUnsafe = Unsafe.class.getDeclaredField("theUnsafe");
            theUnsafe.setAccessible(true);
            unsafe = (Unsafe) theUnsafe.get(null);
        } catch (NoSuchFieldException | IllegalAccessException e) {
            throw new Error(e);
        }
        try {
            // data 属性在 DataContainer 对象中的偏移量，用于 Unsafe 直接访问该属性
            DATA_OFFSET = unsafe.objectFieldOffset(DataContainer.class.getDeclaredField("data"));
        } catch (NoSuchFieldException e) {
            throw new Error(e);
        }
    }

    public void increase() {
        int oldValue;
        while (true) {
            // 获取共享变量旧值，可以在这一行加入断点，修改 data 调试来加深理解
            oldValue = data;
            // cas 尝试修改 data 为 旧值 + 1，如果期间旧值被别的线程改了，返回 false
            if (unsafe.compareAndSwapInt(this, DATA_OFFSET, oldValue, oldValue +
                    1)) {
                return;
            }
        }
    }

    public void decrease() {
        int oldValue;
        while (true) {
            oldValue = data;
            if (unsafe.compareAndSwapInt(this, DATA_OFFSET, oldValue, oldValue -
                    1)) {
                return;
            }
        }
    }

    public int getData() {
        return data;
    }
}

乐观锁与悲观锁

  • CAS是基于乐观锁的思想：最乐观的估计，不怕别的线程来修改共享变量，就散改了也没关系，我吃亏点再重试呗
  • synchronized是基于悲观锁的思想：最悲观的估计，得防着其他线程来修改共享变量，我上了锁你们都别想改，我改完了再解开锁，你们才有机会来

原子操作类

  • JUC(java.util.concurrent)中提供了原子操作类，可以提供线程安全的操作，例如：AtomicInteger、AtomicBoolean等，它们底层就是采用CAS技术+volatile来实现的
  • 可以使用AtomicInteger改写之前的例子
public class JMM07 {
    // 创建原子整数对象
    private static AtomicInteger i = new AtomicInteger(0);

    public static void main(String[] args) throws InterruptedException{
        Thread t1 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                i.getAndIncrement();    // 获取并且自增 i++
            }
        });
        Thread t2 = new Thread(() -> {
            for (int j = 0; j < 5000; j++) {
                i.getAndDecrement();    // 获取并且自增 i--
            }
        });
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        // 最终的结果总是0
        System.out.println(i);
    }
}

synchronized优化

  • Java HotSpot虚拟机中，每个对象都有对象头（包括class指针和Mark Word），Mark Word平时存储这个对象的哈希码、分代年龄，当加锁时，这些信息就根据情况被替换为标记位、线程锁记录指针、重量级锁指针、线程ID等内容

轻量级锁

  • 如果一个对象虽然有多线程访问，但多线程访问的时间是错开的（也就是没有竞争），那么就可以使用轻量级锁来优化，就好比
    • 学生A（线程A）用课本占座，上了半节课就出门了（CPU时间到了），回来一看，发现课本还在，说明没有竞争，继续上他的课
    • 如果此时其他学生B（线程B）来了，会告知学生A（线程A）有并发访问，线程A随即升级为重量级锁，进入重量级锁的流程
    • 而重量级锁就不是用课本占座那么简单了，在学生A走之前，把座位用铁栅栏围了起来
    • 假设有两个方法同步块，利用同一个对象加锁
    static Object obj = new Object();
public static void method1(){
    synchronized(obj) {
        // 同步块 A    
        method2();
    }
public static void method2(){
    synchronized(obj) {
        // 同步块 B    
    }
}
  • 每个线程的栈帧都会包含一个锁记录的结构，内部可以存储锁定对象的Mark Word
线程 1对象 Mark Word线程 2
访问同步块 A，把 Mark 复制到线程 1 的锁记录01（无锁）-
CAS 修改 Mark 为线程 1 锁记录地址01（无锁）-
成功（加锁）00（轻量锁）线程 1 锁记录地址-
执行同步块 A00（轻量锁）线程 1 锁记录地址-
访问同步块 B，把 Mark 复制到线程 1 的锁记录00（轻量锁）线程 1 锁记录地址-
CAS 修改 Mark 为线程 1 锁记录地址00（轻量锁）线程 1 锁记录地址-
失败（发现是自己的锁）00（轻量锁）线程 1 锁记录地址-
锁重入00（轻量锁）线程 1 锁记录地址-
执行同步块 B00（轻量锁）线程 1 锁记录地址-
同步块 B 执行完毕00（轻量锁）线程 1 锁记录地址-
同步块 A 执行完毕00（轻量锁）线程 1 锁记录地址-
成功（解锁）00（轻量锁）线程 1 锁记录地址-
-01（无锁）-
-01（无锁）访问同步块 A，把 Mark 复制到线程 2 的锁记录
-01（无锁）CAS 修改 Mark 为线程 2 锁记录地址
-00（轻量锁）线程 2锁记录地址成功（加锁）
-……

锁膨胀

  • 如果在尝试加轻量级锁的过程中，CAS操作无法完成，这时一种情况就是有其他线程为此对象加上了轻量级锁（有竞争），这时就需要进行锁膨胀，将轻量级锁变为重量级锁
    public static void method1(){
        synchronized(obj) {
            // 同步块 A    
        }
    public static void method2(){
        synchronized(obj) {
            // 同步块 B    
        }
    }
线程 1对象 Mark Word线程 2
访问同步块 A，把 Mark 复制到线程 1 的锁记录01（无锁）-
CAS 修改 Mark 为线程 1 锁记录地址01（无锁）-
成功（加锁）00（轻量锁）线程 1 锁记录地址-
执行同步块00（轻量锁）线程 1 锁记录地址-
执行同步块00（轻量锁）线程 1 锁记录地址访问同步块，把 Mark 复制到线程 2
执行同步块00（轻量锁）线程 1 锁记录地址CAS 修改 Mark 为线程 2 锁记录地址
执行同步块00（轻量锁）线程 1 锁记录地址失败（发现别人已经占了锁）
执行同步块00（轻量锁）线程 1 锁记录地址CAS 修改 Mark 为重量锁
执行同步块10（重量锁）重量锁指针阻塞中
执行完毕10（重量锁）重量锁指针阻塞中
失败（解锁）10（重量锁）重量锁指针阻塞中
释放重量锁，唤起阻塞线程竞争01（无锁）阻塞中
-10（重量锁）竞争重量锁
-10（重量锁）成功（加锁）
-……

重量锁

  • 重量级锁竞争的时候，还可以使用自旋来进行优化，如果当前线程自旋成功（即这时候持锁线程已经退出了同步块，释放了锁），这时当前线程就可以避免阻塞。
  • 在 Java 6 之后自旋锁是自适应的，比如对象刚刚的一次自旋操作成功过，那么认为这次自旋成功的可能性会高，就多自旋几次；反之，就少自旋甚至不自旋，总之，比较智能。
    • 自旋会占用 CPU 时间，单核 CPU 自旋就是浪费，多核 CPU 自旋才能发挥优势。
    • 好比等红灯时汽车是不是熄火，不熄火相当于自旋（等待时间短了划算），熄火了相当于阻塞（等待时间长了划算）
    • Java 7 之后不能控制是否开启自旋功能
  • 自旋重试成功的情况
线程 1 （cpu 1 上）对象 Mark线程 2 （cpu 2 上）
-10（重量锁）-
访问同步块，获取 monitor10（重量锁）重量锁指针-
成功（加锁）10（重量锁）重量锁指针-
执行同步块10（重量锁）重量锁指针-
执行同步块10（重量锁）重量锁指针访问同步块，获取 monitor
执行同步块10（重量锁）重量锁指针自旋重试
执行完毕10（重量锁）重量锁指针自旋重试
成功（解锁）01（无锁）自旋重试
-10（重量锁）重量锁指针成功（加锁）
-10（重量锁）重量锁指针执行同步块
-……
  • 自旋重试失败的情况
线程 1（cpu 1 上）对象 Mark线程 2（cpu 2 上）
-10（重量锁）-
访问同步块，获取 monitor10（重量锁）重量锁指针-
成功（加锁）10（重量锁）重量锁指针-
执行同步块10（重量锁）重量锁指针-
执行同步块10（重量锁）重量锁指针访问同步块，获取 monitor
执行同步块10（重量锁）重量锁指针自旋重试
执行同步块10（重量锁）重量锁指针自旋重试
执行同步块10（重量锁）重量锁指针自旋重试
执行同步块10（重量锁）重量锁指针阻塞
-……

偏向锁

  • 轻量级锁在没有竞争时（就自己这个线程），每次重入仍然需要执行 CAS 操作。Java 6 中引入了偏向锁来做进一步优化：只有第一次使用 CAS 将线程 ID 设置到对象的 Mark Word 头，之后发现这个线程 ID是自己的就表示没有竞争，不用重新 CAS.
    • 撤销偏向需要将持锁线程升级为轻量级锁，这个过程中所有线程需要暂停（STW）
    • 访问对象的 hashCode 也会撤销偏向锁
    • 如果对象虽然被多个线程访问，但没有竞争，这时偏向了线程 T1 的对象仍有机会重新偏向 T2，
    • 重偏向会重置对象的 Thread ID
    • 撤销偏向和重偏向都是批量进行的，以类为单位
    • 如果撤销偏向到达某个阈值，整个类的所有对象都会变为不可偏向的
    • 可以主动使用 -XX:-UseBiasedLocking 禁用偏向锁
  • 假设有两个方法同步块，利用同一个对象加锁
static Object obj = new Object();

public static void method1() {
    synchronized( obj ) {
        // 同步块 A
        method2();
    }
}

public static void method2() {
    synchronized(obj) {
        // 同步块 B
    }
}
线程 1对象 Mark
访问同步块 A，检查 Mark 中是否有线程 ID101（无锁可偏向）
尝试加偏向锁101（无锁可偏向）对象 hashCode
成功101（无锁可偏向）线程ID
执行同步块 A101（无锁可偏向）线程ID
访问同步块 B，检查 Mark 中是否有线程 ID101（无锁可偏向）线程ID
是自己的线程 ID，锁是自己的，无需做更多操作101（无锁可偏向）线程ID
执行同步块 B101（无锁可偏向）线程ID
执行完毕101（无锁可偏向）对象 hashCode

其他优化

  1. 减少上锁时间

    • 同步代码块中尽量短

  2. 减少锁的粒度

    • 将一个锁拆分为多个锁提高并发度，例如
      • ConcurrentHashMap
      • LongAdder 分为 base 和 cells 两部分。没有并发争用的时候或者是 cells 数组正在初始化的时候，会使用 CAS 来累加值到 base，有并发争用，会初始化 cells 数组，数组有多少个 cell，就允许有多少线程并行修改，最后将数组中每个 cell 累加，再加上 base 就是最终的值
      • LinkedBlockingQueue 入队和出队使用不同的锁，相对于LinkedBlockingArray只有一个锁效率要高

  3. 锁粗化

    • 多次循环进入同步块不如同步块内多次循环
    • 另外 JVM 可能会做如下优化，把多次 append 的加锁操作粗化为一次（因为都是对同一个对象加锁，没必要重入多次）
    new StringBuffer().append("a").append("b").append("c");

  4. 锁消除

    • JVM 会进行代码的逃逸分析，例如某个加锁对象是方法内局部变量，不会被其它线程所访问到，这时候就会被即时编译器忽略掉所有同步操作。

  5. 读写分离

    • CopyOnWriteArrayList
    • ConyOnWriteSet
Cyborg2077
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
学成在线--认证授权模块
qq_33888850的博客
03-25 3023
截至目前，项目已经完成了课程发布功能，课程发布后用户通过在线学习页面点播视频进行学习。如何去记录学生的学习过程呢？要想掌握学生的学习情况就需要知道用户的身份信息，记录哪个用户在什么时间学习什么课程，如果用户要购买课程也需要知道用户的身份信息。所以，去管理学生的学习过程最基本的要实现用户的身份认证。认证授权模块实现平台所有用户的身份认证和用户授权功能什么是用户身份认证？用户身份认证即当用户访问系统资源时，系统要求验证用户的身份信息，身份合法方可继续访问常见的用户身份认证表现形式有。
全网最全瑞吉外卖项目笔记（含扩展功能）
qq_33888850的博客
03-25 2654
写在最前 想获得最佳的阅读体验，请移步至我的个人博客查看此文：https://cyborg2077.github.io/2022/09/29/ReggieTakeOut/ 全功能实现源码链接：https://pan.baidu.com/s/11X9aKxFb07AwhhQKjsbubQ?pwd=2077 提取码：2077 准备工作 话不多说，先建表，然后创建一个SpringBoot的工程，勾选Spring Web，MySQL和MyBatis，然后在pom.xml中导入druid，lombok和MyBat
学成在线--课程发布模块
qq_33888850的博客
03-25 1031
课程信息编辑完毕即可发布课程，发布课程相当于一个确认操作，课程发布后，学习者通过学成在线平台的网站可以搜索到课程，然后查看课程的详细信息，选课进行学习。下面是课程编辑与发布的整体流程为了保证课程内容没有违规信息、课程内容安排合理，在课程发布之前，平台运营方会进行课程审核，审核通过后，课程方可发布作为课程制作方即教学机构，在课程发布前通过课程预览功能可以看到课程发布后的效果，若课程信息存在问题，方便查看，及时修改。
学成在线--媒资管理模块
qq_33888850的博客
03-25 744
媒资管理系统是每个在线教育平台所必须具备的，百度百科对其定义如下媒体资源管理(Media Asset Management，MAM)系统是建立在多媒体、网络、数据库和数字存储等先进技术基础上的一个对各种媒体及内容(如视/音频资料、文本文件、图表等)进行数字化存储、管理以及应用的总体解决方案，包括数字媒体的采集、编目、管理、传输和编码转换等所有环节。
JVM 内存模型
qq_3579905531的博客
04-17 4264
目录 1.JVM 内存模型是什么？ ​1.1 什么是内存模型? 2. JVM 概述 3.JVM 体系结构 4.内存管理 5.碎片回收 6. 图解JVM 6.1 说明：😁😁😁😁😁 7. 将JVM抽象表示： 7.1 说明： 1.JVM 内存模型是什么？ JVM是【Java Virtual Machine（Java虚拟机）】的缩写，JVM是一种用于计算设备的规范，它是一个虚构出来的计算机，是通过在实际的计算机上仿真模拟各种计算机功能来实现的。 引入Java语言虚拟机后，...
JVM内存模型（通俗易懂）
热门推荐
孤刺
10-30 22万+
1.什么是jvm? （1）jvm是一种用于计算设备的规范，它是一个虚构出来的机器，是通过在实际的计算机上仿真模拟各种功能实现的。 （2）jvm包含一套字节码指令集，一组寄存器，一个栈，一个垃圾回收堆和一个存储方法域。 （3）JVM屏蔽了与具体操作系统平台相关的信息，使Java程序只需生成在Java虚拟机上运行的目标代码（字节码）,就可以在多种平台上不加修改地运行。 JVM在执行字节码时，实际上最终还是把字节码解释成具体平台上的机器指令执行。 2.jdk、jre、jvm是什么关系？ （1）JRE(Java R
JVM内存模型详解
李嘉图呀李嘉图的博客
08-09 2719
本文主要讲解JVM运行时内存模型
【JVM】JVM内存模型(详细)
酷酷的馫博客
11-18 3万+
JVM内存模型(详细)
JVM内存模型和java内存模型
m0_45861545的博客
01-20 5382
1. JVM内存模型 Java 虚拟机在执⾏ Java 程序的过程中会把它管理的内存划分成若⼲个不同的数据区域。JDK1.8 和之前的版本略有不同，下⾯会介绍到。 首先对于一个进程来说，它包含多个线程，每个线程都有其独立的内存区域，包括：虚拟机栈，本地方法栈和程序计数器。 程序计数器：线程私有 记录当前线程所执行到的字节码的行号。 每个线程都有一个独立的程序计数器，各线程之间计数器互不影响，独立存储，我们称这类内存区域为“线程私有”的内存区域。 它是唯一没有OutOfMemoryError情况的内存区域。
jvm内存模型.pdf
04-24
jvm内存模型.pdf
JVM内存模型及垃圾回收
01-21
通俗的来讲，jvm主要分为5个部分 程序计数器、虚拟机枝、本地方法枝、 Java 堆、 方法区， 引用大佬总结的概括程序计数器用于存放下一条运行的指令，虚拟机栈和本地方法栈用于存放函数调用堆栈信息， Java 堆用于...
JVM知识总汇（JVM面试题篇5.1）
2301_79969279的博客
05-01 1028
程序计数器是用来记录下一条代码（字节码）的地址的。（个人理解）因为多线程机制，一个程序在运行时，可能半路上就去执行另一个线程了，若是另一个线程执行完之后呢，就可以通过程序计数器记录的地址，继续执行上一个线程的代码，而不用重新开始，这样能大大提高执行效率。（资料理解）java虚拟机对于多线程是通过线程轮流切换并且分配线程执行时间。在任何的 一个时间点上，一个处理器只会处理执行一个线程，如果当前被执行的这个线程 它所分配的执行时间用完了【挂起】。处理器会切换到另外的一个线程上来进行 执行。
操作系统：线程
weixin_73234157的博客
05-01 872
在前面的学习中，我们知道进程是一种处理任务的执行流，操作系统中的大部分任务都由进程来处理，而进程的创建，需要开辟内存来产生进程PCB、进程虚拟地址空间、页表……，而这个进程的创建成本较大，于是操作系统实现了另一种执行流------线程。线程是比进程更加轻量化的一种执行流，线程是进程内部的一种执行流。线程是CPU调度的基本单位，进程是承担系统资源的实体。
JVM笔记2--垃圾收集算法
qq_41056506的博客
05-04 1211
稍后收集器会对F-Queue队列上的对象进行第二次小规模标记，如果对象想在finalize()中成功拯救自己——只要。
面试：ThreadLocal
icbbm的博客
04-24 2113
每个线程内有一个ThreadLocalMap类型的成员变量，用来存储资源对象。同上所述，因为每个线程有一个自己专属的连接对象，所以在线程内，所以每个线程都会创建。
C++ Primer 第五版 第七章 类
最新发布
weixin_44500921的博客
05-04 654
成员函数的声明必须在类的内部，它的定义可以在类的内部也可以在类的外部。定义在类内部的函数是隐式的inline函数。类外部定义的成员的名字必须包含它所属的类名：IO类型属于不能被拷贝的类型，因此我们只能通过引用来传递它们。聚合类（aggregate class）使得用户可以直接访问其成员，并且具有特殊的初始化语法形式。当一个类满足如下条件时，我们说它是聚合的：我们可以用一个花括号括起来的成员初始值列表初始化聚合类的数据成员，初始值的顺序必须与声明的顺序一致。静态成员独立于任何对象。
jvm模型和jvm内存模型
06-01
JVM内存模型是指Java虚拟机管理程序运行时内存的方式，包括内存划分、内存分配和对象回收等机制。 JVM模型的组成部分包括类加载器、解释器、即时编译器、垃圾收集器等。类加载器负责将Java类加载到JVM中，并将其...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值