多线程中并发的三大特性

原子性

原子性就是指操作不可分割,所有操作要么全部执行完成,要么全部执行失败。

下面引入一个新的概念:竞态条件

竞态条件是指在多线程的情况下,由于多个线程执行的时序不同,对共享资源的访问顺序不同,可能导致出现的不正确的结果。

其中最为常见的两种情况为:

  1. 先判断后执行
    最简单的来说就是A线程需要判断某个条件是否满足,假设说当前条件已经满足应该执行某段逻辑,但此时条件的的满足性可能被B线程所修改,而A线程就会执行错误的判断。
    enter description here
  2. 延迟性加载
    先来看一个单例设计:
public class Singleton {
    private static Singleton singleton = null;

    private Singleton() {
    }

    public static Singleton getInstance() {
        if (singleton == null) {
            singleton = new Singleton();
        }
        return singleton;
    }
}

这段代码在单线程情况下是没有问题 ,但是在并发情况下可能因为竞态条件而出现问题。如果A线程在判断singleton为空之后在创建Singleton之前,此时singleton依然为空的情况下,线程也判断了singleton为空,也进入了if代码逻辑内,此时就会出现创建了双例。
在竞态条件产生的情况下,就可能出现线程安全问题,可以使用加锁或者原子变量来解决。

有序性

有序性是指代码在运行期间保证和代码的顺序一致,但实际上在执行过程中会进行指令重排序

指令重排序:为了提高CPU的运行效率,JVM可能会对编译后的代码进行顺序调换等,但会保证最终结果与调换前的结果保持一致,指令的执行顺序与代码逻辑顺序不一致,这个过程就叫做指令的重排序。
指令重排序的大致流程如下:
enter description here
这边实际上涉及到了as-if-serial,简单说一下吧。
不管怎么重排序(编译器和处理器为了提高并行度),(单线程)程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。 为了遵守as-if-serial语义,编译器和处理器不会对存在数据依赖关系的操作做重排序,因为这种重排序会改变执行结果。但是,如果操作之间不存在数据依赖关系,这些操作就可能被编译器和处理器重排序。
当然,在多线程的情况下重排序可不会保证我们代码最终结果的一致,可以通过sychronized或者volatile来确保有序性。

可见性

可见性是指某个线程对共享变量进行了修改,其他线程能够看到修改后最新的值。

对于可见性,我觉得先了解一下java内存模型还是很有必要的,先来看一下吧!
enter description here
从图中可以知道,每一个线程都会有一个自己的且独立的工作内存,其实这些工作内存仅只是主内存的一个副本,当线程需要操作主内存中的数据时,只能通过修改自己的工作内存,工作内存再通过save操作对主内存进行更新。总得来说,如果线程中想要实现可见性,必须通过主内存作为一个介质,save或者load任何一个步骤出现错误,都会造成数据更新的不及时而导致的线程安全问题。单线程的话是没有什么安全问题的,多线程由于cpu可能会对数据使用缓存以提高计算速度,就会导致不及时读取主内存数据获取不到最新值,就是读写不一致的情况。

想要解决可见性也不是很难,一种方法是通过加锁实现读写一直,另一种方式是使用volatile关键字,这种方式我还是比较推荐 ,因为它不需要加锁,自然就不会造成线程阻塞问题,效率更高一些。

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值