• 解释单例模式中的 双重锁为什么是线程不安全的



    一丶 双排序的单例模式代码如下

    public class SingletonSofeLanEx {

    /**
    * 如果要保证是单例
    * 构造函数一定是私有的
    */
    private SingletonSofeLanEx() {
    //DO SOME SING
    }

    public static SingletonSofeLanEx instace = null;

    //静态的工程方式,同一时刻只有一个线程访问
    public static SingletonSofeLanEx getInstace() {
    if (null == instace) { //#2:B线程 看到instace已经不是null啦,就直接return啦,然而此刻 第三步的 初始化还没进行,使用这个实例肯定会有
    synchronized (SingletonSofeLanEx.class){
    if (instace == null){
    instace = new SingletonSofeLanEx(); //#1:A线程 执行到指令重排的 第二步也就是3,分配内存
    }
    }
    }
    return instace;
    }

    }

    二丶 解释为什么是线程不安全的
      我来说一下 SingletonSofeLanEx 在CPU当中的工作流程,总共分为三步
       1:memory = allocate() 分配对象内存空间
    2:ctorInstance() 初始化对象
    3: instace = memory 设置instace分配的内存
     
    jvm和cpu优化会指令重排,上面顺序会变成1,3,2
    单线程环境下,此顺序是没有问题,2,3 前后没有依赖性
       但是在多线程情况下会有这种情况,具体看#1,#2

    三丶 那么如何解决呢,这里的思路是防止重排序,使用 volatile 可防止jvm跟cpu进行重排序指令
        最终代码

    public class SingletonSofeLanEx {

    /**
    * 如果要保证是单例
    * 构造函数一定是私有的
    */
    private SingletonSofeLanEx() {
    //实力的时候运行一些计算
    }

    //1:memory = allocate() 分配对象内存空间
    //2:ctorInstance() 初始化对象
    //3: instace = memory 设置instace分配的内存

    //jvm和cpu优化重新指令重排,上面会变成1,3,2
    public volatile static SingletonSofeLanEx instace = null;


    //静态的工程方式,同一时刻只有一个线程访问
    public static SingletonSofeLanEx getInstace() {
    if (null == instace) { //2:B线程 看到instace已经不是null啦,就直接return啦,然后第三步的 初始化还没进行
    synchronized (SingletonSofeLanEx.class){
    if (instace == null){
    instace = new SingletonSofeLanEx(); //1:A线程 执行到指令重排的 第二步也就是3,分配内存
    }
    }
    }
    return instace;
    }

    }


  • 相关阅读:
    论架构在嵌软设计中的重要性
    妙用typeof关键字
    说说动态内存分配
    3个实用shell脚本,建议收藏!
    GNU C语法扩展(7)
    Ubunt_配置_nfs(文件挂载)
    Ubunt_配置_samba(文件共享)
    Ubunt_配置_tftp(文件传输)
    Ubunt_配置_net
    驱动_Platform平台总线
  • 原文地址:https://www.cnblogs.com/quzhongren/p/11383998.html
Copyright © 2020-2023  润新知