竟然将线程安全讲的如此清新脱俗,谈谈你对线程安全性的理解!

开发 前端
简单来说,就是在多个线程环境下,访问同一个对象时,如果不用考虑这些线程在运行时环境下的调度和交替执行,在不做任何干预的强可选,调用这个对象的行为都可以获得预期的结果,那么这个对象就是线程安全的。

1.官方定义

线程安全通常是相对于多线程或者并发的情况下而言的。如果是单线程操作的话,就无所谓线程安全了。

图片

简单来说,就是在多个线程环境下,访问同一个对象时,如果不用考虑这些线程在运行时环境下的调度和交替执行,在不做任何干预的强可选,调用这个对象的行为都可以获得预期的结果,那么这个对象就是线程安全的。

看完这段,是不是还是很难理解?下面,我来分享一下看我是如何理解的。

2.Tom的理解

我认为,在多线程环境下保证线程安全,无非就是保证对对象访问的原子性、有序性和多个线程之间的可见性。

图片

原子性呢,说的是当一个线程执行一系列程序指令操作的时候,它应该是不可中断的,因为一旦出现中断,站在多线程的视角来看,这一系列的程序指令会出现前后执行结果不一致的问题。

这个和数据库里面的原子性是一样的,简单来说就是一段程序只能由一个线程完整的执行完成,而不能存在多个线程干扰。CPU的上下文切换 , 是导致出现多线程原子性问题的核心原因 , 而JDK面也提供了synchronized 关键字来解决原子性问题。

然后,就是可见性,相当于在多线程环境下,可能会存在读和写是发生在不同的线程里面,有可能出现某个线程对共享变量的修改,对其他线程不是实时可见的。导致可见性问题的原因有很多,比如 CPU的高速缓存、CPU的指令重排、编译器的指令重排等因素。

最后,就是有序性,指的是程序编写的指令顺序和最终 CPU 运行的指令顺序可能出现不一致的现象,这种现象也可以称为指令重排序,所以有序性也会导致可见性问题。可见性和有序性可以通过JDK提供的volatile 关键字来解决。

我认为,导致有序性、原子性、可见性问题的本质,是计算机设计的时候,为了最大化提升 CPU 利用率导致的。比如CPU设计了三级缓存、设计了 StoreBuffer、设计了缓存行这种预读机制、在操作系统里面,设计了线程模型、在编译器里面,设计了编译器的深度优化机制等等。

我们都在说,面试造火箭,工作拧螺丝。对于企业来说,如果选择一个对计算机底层原理了解更透彻的程序员,不用担心他滥用线程导致一些不可预测的安全问题。其实也是在降低用人成本。

最后,我把之前分享的视频全部整理成了文字,想获取的小伙伴可以从我的个人煮叶简介中找到,希望能够以此来提高各位粉丝的通过率。

我是被编程耽误的文艺Tom,如果我的分享对你有帮助,请动动手指一键三连分享给更多的人。关注我,面试不再难!

责任编辑:武晓燕 来源: Tom弹架构
相关推荐

2020-01-18 08:49:17

目录安全.ssh木马

2022-01-09 23:38:42

通信协议网络

2017-09-18 15:14:43

2021-03-21 23:43:22

线程编程安全

2021-01-12 07:39:48

线程线程安全

2021-05-16 17:14:30

线程安全性

2011-05-31 18:41:45

复印机技巧

2012-12-21 15:24:53

Android 上的安全性

2021-04-29 20:10:17

安全线程存储

2021-07-03 17:44:34

并发高并发原子性

2019-01-28 08:50:09

线程安全

2019-10-08 11:35:33

大数据安全网络

2019-08-20 16:58:14

戴尔

2010-11-08 10:04:44

2016-07-05 10:50:44

2009-11-30 09:41:38

2022-09-16 06:59:49

api线程安全

2018-06-12 09:49:44

JavaSpring线程

2010-03-02 16:34:36

WCF线程

2023-06-27 07:09:39

点赞
收藏

51CTO技术栈公众号