Java高并发--安全发布对象

主要是学习慕课网实战视频《Java并发编程入门与高并发面试》的笔记

发布对像:使一个对象能够被当前范围之外的对象使用。

对象逸出:一种错误的发布。当一个对象还没有构造完成时,就使他被其他线程所见。

如何安全的发布对象?

  • 在静态初始化函数中初始化一个对象引用
  • 将对象的引用保存到volatile类型域或者AtomicReference中
  • 将对象的引用保存到某个正确构造对象的final类型域中
  • 将对象的引用保存到一个由锁保护的域中

单例模式

拿单例模式来说

@ThreadSafe
public class SingletonImp {
    // 饿汉模式
    private static SingletonImp singletonImp = new SingletonImp();
    // 私有化(private)该类的构造函数
    private SingletonImp() {
    }

    public static SingletonImp getInstance() {
        return singletonImp;
    }

    public static void main(String[] args) {
        System.out.println(SingletonImp.getInstance());
    }
}

上面是“饿汉模式”的实现。这个实现是线程安全的,但是不能延迟加载。也就是说这个单例在类加载时就已经初始化,而不是在需要用到他的地方再初始化的,这在一定程度上造成了资源的浪费。

单例还经常有一种叫“懒汉模式”,也就是在需要用到的时候才初始化。

@NotThreadSafe
public class SingletonImp2 {
    private static SingletonImp2 singletonImp2;

    private SingletonImp2() {}
    // 懒汉模式
    public static SingletonImp2 getInstance() {
        if (singletonImp2 == null) {
            singletonImp2 = new SingletonImp2();
        }
        return singletonImp2;
    }

    public static void main(String[] args) {
        System.out.println(SingletonImp2.getInstance());
    }
}

这个程序实现了延迟加载,但是在多线程下,可能多个线程同时执行到if (singletonImp2 == null) {}导致同时创建了多个实例对象,这是线程不安全的实现。所以就有了下面的实现

@ThreadSafe
public class SingletonImp3 {
    private static SingletonImp3 singletonImp3;

    private SingletonImp3() {}
    // 懒汉模式
    public static SingletonImp3 getInstance() {
        // 同步锁的加入
        synchronized (SingletonImp3.class) {
            if (singletonImp3 == null) {
                singletonImp3 = new SingletonImp3();
            }
        }
        return singletonImp3;
    }
}

这个实现加了同步锁,因此是线程安全的,但是在实例被创建出来后每次getInstance都会加上同步锁(这是完全没有必要的,因为if条件中的语句不会被执行到了 ),严重拖慢了程序的性能。

完全可以在第一次创建实例时才上锁,其余时候不需要,基于此思想的实现一般称为“双重检测”,如下

@NotThreadSafe
public class SingletonImp4 {
    private static SingletonImp4 singletonImp4;

    private SingletonImp4() {}

    public static SingletonImp4 getInstance() {
        // 第一次创建时才加锁
        if (singletonImp4 == null) {
            synchronized (SingletonImp4.class) {
                if (singletonImp4 == null) {
                    singletonImp4 = new SingletonImp4();
                }
            }
        }

        return singletonImp4;
    }
}

注意,这个实现是线程不安全的。究其原因,singletonImp4 = new SingletonImp4();这句其实是分三步完成的。

  1. 分配对象的内存空间

  2. 初始化对象

  3. 设置singleton变量指向刚刚分配的内存

但是由于指令重排原因,第2步和第3步可能会被交换(这个顺序在单线程下没有影响)。我们再看这个程序,注意注释部分。假设线程B执行到第一个if处,同时线程A执行到第二个if处,且由于指令重排的原因,只完成了上面三步的第1和第3步,也就是说此时singletonImp4已经被分配了内存,有值了在线程B判断时,就会跳过if直接返回singletonImp4。但是singletonImp4还没有初始化!线程B取得了还未初始化的对象,一旦使用就会出现问题。

@NotThreadSafe
public class SingletonImp4 {
    private static SingletonImp4 singletonImp4;

    private SingletonImp4() {}

    public static SingletonImp4 getInstance() {
        if (singletonImp4 == null) { // 线程B
            synchronized (SingletonImp4.class) {
                if (singletonImp4 == null) { // 线程A
                    singletonImp4 = new SingletonImp4(); // 线程A
                }
            }
        }

        return singletonImp4;
    }
}

考虑到volatile关键字可以禁止指令重排,声明singletonImp4时,添加volatile就可以解决这个问题了。

 private static volatile SingletonImp4 singletonImp4;

这样volatile + double check才是线程安全的实现。

Java高并发--安全发布对象的更多相关文章

  1. java高并发系列 - 第13天:JUC中的Condition对象

    本文目标: synchronized中实现线程等待和唤醒 Condition简介及常用方法介绍及相关示例 使用Condition实现生产者消费者 使用Condition实现同步阻塞队列 Object对 ...

  2. Java高并发--线程安全策略

    Java高并发--线程安全策略 主要是学习慕课网实战视频<Java并发编程入门与高并发面试>的笔记 不可变对象 发布不可变对象可保证线程安全. 实现不可变对象有哪些要注意的地方?比如JDK ...

  3. Java高并发综合

    这篇文章是研一刚入学时写的,今天整理草稿时才被我挖出来.当时混混沌沌的面试,记下来了一些并发的面试问题,很多还没有回答.到现在也学习了不少并发的知识,回过头来看这些问题和当时整理的答案,漏洞百出又十分 ...

  4. [ 高并发]Java高并发编程系列第二篇--线程同步

    高并发,听起来高大上的一个词汇,在身处于互联网潮的社会大趋势下,高并发赋予了更多的传奇色彩.首先,我们可以看到很多招聘中,会提到有高并发项目者优先.高并发,意味着,你的前雇主,有很大的业务层面的需求, ...

  5. 【实战Java高并发程序设计 7】让线程之间互相帮助--SynchronousQueue的实现

    [实战Java高并发程序设计 1]Java中的指针:Unsafe类 [实战Java高并发程序设计 2]无锁的对象引用:AtomicReference [实战Java高并发程序设计 3]带有时间戳的对象 ...

  6. 【实战Java高并发程序设计 5】让普通变量也享受原子操作

    [实战Java高并发程序设计 1]Java中的指针:Unsafe类 [实战Java高并发程序设计 2]无锁的对象引用:AtomicReference [实战Java高并发程序设计 3]带有时间戳的对象 ...

  7. 【实战Java高并发程序设计 4】数组也能无锁:AtomicIntegerArray

    除了提供基本数据类型外,JDK还为我们准备了数组等复合结构.当前可用的原子数组有:AtomicIntegerArray.AtomicLongArray和AtomicReferenceArray,分别表 ...

  8. 【实战Java高并发程序设计 3】带有时间戳的对象引用:AtomicStampedReference

    [实战Java高并发程序设计 1]Java中的指针:Unsafe类 [实战Java高并发程序设计 2]无锁的对象引用:AtomicReference AtomicReference无法解决上述问题的根 ...

  9. 【实战Java高并发程序设计 1】Java中的指针:Unsafe类

    是<实战Java高并发程序设计>第4章的几点. 如果你对技术有着不折不挠的追求,应该还会特别在意incrementAndGet() 方法中compareAndSet()的实现.现在,就让我 ...

随机推荐

  1. Visual Studio 常见的快捷键

    “Ctrl + -”               回到上一个光标位置 “Ctrl + Shift + -”                前进到下一个光标位置 “Ctrl + C”           ...

  2. Flask上下文

    Flask的核心机制!关于请求处理流程和上下文 学习一样东西不能只停留在表面,我们要探索其中的细节,学习作者的编程思想,这样才能更进一步. 关于WSGI WSGI(全称Web Server Gatew ...

  3. eclipse中如何自动生成构造函数

    eclipse中如何自动生成构造函数 eclipse是一个非常好的IDE,我在写java程序的时候使用eclipse感觉开发效率很高.而且有很多的快捷和简便方式供大家使用,并且能直接生成class文件 ...

  4. input在ios safari中的内阴影解决方法

    最近发现 input 在 ios的 safari浏览器里显示时,会默认有内阴影,如下图 解决方法: input { -webkit-appearance: none; } -webkit-appear ...

  5. CoCos2dx开发:中文乱码

    一.FontToUTF8()方法修改字体: 1.HelloWorldScene.h头文件中声明方法: char* FontToUTF8(const char* font); 2.HelloWorldS ...

  6. mysql 开发进阶篇系列 12 锁问题(隔离级别下锁的差异)

    1. innodb在不同隔离级别下的一致性读及锁的差异 不同的隔离级别下,innodb处理sql 时采用的一致性读策略和需要的锁是不同的,同时,数据恢复和复制机制的特点,也对一些sql的一致性读策略和 ...

  7. 微信分享config:ok 但自定义内容无效

    一.问题 使用微信 JSSDK 分享,出现自定义内容无效 ,也就是分享出去的内容不是你配置的内容. 但在调试过程中发现 congfig 都是 ok 的 二.解决 检查config 配置是否正确 js ...

  8. Python快速学习10: 循环的对象及设计 (生活的规律)

    前言 系列文章:[传送门] 生活逐渐规律,按时睡觉.今天写博客,明天补时间看会书.慢慢的时间很珍惜 我很喜欢! 时钟就像个循环体,我们将它融入生活. 正文 循环对象的并不是随着Python的诞生就存在 ...

  9. Java实现敏感词过滤 - IKAnalyzer中文分词工具

    IKAnalyzer 是一个开源的,基于java语言开发的轻量级的中文分词工具包. 官网: https://code.google.com/archive/p/ik-analyzer/ 本用例借助 I ...

  10. 【原创】《windows驱动开发技术详解》第4章实验总结二

    1 实验要求(WDM驱动)     2 编写过程   2.1 确立整体架构   2.1.1 入口函数——DriverEntry   (1)作用 设置pDriverObject结构体,注册AddDevi ...