专栏首页我是攻城师什么是线程安全?

什么是线程安全?

什么是线程安全

线程安全在多线程编程时是一个比较重要的概念,我们下先来看下维基百科是如何定义这个概念的:

https://en.wikipedia.org/wiki/Thread_safety

Thread safety is a computer programming concept applicable to multi-threaded code. Thread-safe code only manipulates shared data structures in a manner that ensures that all threads behave properly and fulfill their design specifications without unintended interaction. 意思是说:

线程安全是应用于多线程代码的一种计算机编程概念,它确保多个线程能够按照程序的设计正确的访问共享数据结构。

或者再贴近编程语言的角度一点来讲,线程安全指的是同时最少有两个及以上的线程操作共享的数据区域,并且至少有一个是写操作。如果你还想不明白,可以去卫生间观察一下,一个厕位同时能有几个人使用。

线程安全的级别

线程安全的级别或者粒度有三种,如下:

(1)线程安全

这种情况下其实没有线程安全问题,比如上面的例子中,每个人都有自己专用的卫生间,所以不会存在竞争问题。

(2)条件安全

条件安全,顾名思义是有条件的,所有人共用几个卫生间,抢到资源的就把门关上,通过门来隔离资源,后面的人就在外面等待直到里面的人出来。

(3)不安全

这种情况下连门都没有,所以并不能很好保证资源安全,所以这种情况最好不能让同时让多个人直接使用。

实现线程安全的方式

大体来说有两种,首先我们明白安全问题来自于竞争,没有竞争就不会有问题。

方式一:

核心思路是避免共享数据结构,共享状态。包括:

(1)使用线程local变量

(2)使用不可变对象

方式二:

核心思路是共享不可避免,需要通过条件来确保按照。包括:

(1)互斥锁

(2)CAS原子操作

Java语言里面实现策略

这里以Java语言为例子,上面谈到的4种方式,其实在Java里面都支持,分别对应的解决手段为:

(1)ThreadLocal变量

(2)不可变对象有String,CopyOnWrite集合类

(3) 互斥锁包括JDK5之前的内置锁synchronized和JDK5之后的Lock接口

(4) J.U.C里面Atom开头的类

可以看出来Java里面的处理策略还是比较多的,当然不同的策略其实也有具体的适用场景,此外引入了线程安全和同步手段会对代码的性能造成一定的影响,这一点需要了解。

一般来说避免共享数据结构是能够比较优雅的解决并发问题,这种程序对多线程更友好,性能也会更高。比如单机的ThreadLocal和分布式的Ator模型。这里面不存在竞争。其次是不可变变量,多线程操作的都是CopyOnWrite,这也是为什么一些动态编程语言如Scala里面的默认数据结构大多数都是不可变的。不可变有不可变的好处,但缺点也是明显的,如果需要频繁对数据修改,那么会创建很多临时对象和占用更多的内存。

上面这两种场景,我们一般称为无锁实现,性能很好。如果避免不了共享数据,那么接着性能比较好的就是CAS这种原子操作,这种情况下我们一般也称是无锁的,但其实是利用了操作系统的原子指令来实现的,在竞争不激烈的场景下性能比较好,一般的编程语言都有封装好的工具类。如果竞争激烈,其实性能未必比使用互斥锁高。互斥锁一般也称重量级锁,需要OS干涉线程的调度,适合用于竞争激烈的场景下,这种方式下线程上下文的交换会降级系统的性能,在使用时需要注意。

线程并发技能图谱

多线程编程领域其实涉及很多计算机知识,线程安全只是其中的冰山一角,作为一名技术人员我们有必要系统的学习和攻破并发编程这一块,很多人觉得并发编程很难,其实是没有掌握系统的学习方法,在这里我放出我之前总结并发知识的一张图谱,供大家参考学习:

总结

本文主要介绍了什么是线程安全,及实现线程安全的一些手段,并结合Java语言描述了相关的知识,最后又总结了Java里面并发学习的知识图谱,只要把里面所有的内容都了解掌握,那么在多线程领域就可以从青铜升级到王者段位了,不过学习之路,学无止境,不能急功近利,一定得重基础,然后循序渐近,日拱一卒,就算慢点也无妨,坚持下去,肯定有所收获。

本文分享自微信公众号 - 我是攻城师(woshigcs)

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2019-01-27

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Java线程的基本知识总结

    关于yield方法,是指当前线程可能运行不太重要的任务,可以通过这个方法暗示操作系统线程调度我可以晚点执行,先把CPU资源让给优先级给我一样或者大于我的任务,如...

    我是攻城师
  • 理解Java并发工具包线程池的设计

    创建线程的流程依赖底层的操作系统,不同的操作系统可能不一样,此外更多的线程意味着 OS调度需要做更多的工作来决定哪一个线程可以访问资源,并且要通过OS调度切换维...

    我是攻城师
  • 关于线程中的sleep,wait,yield的区别

    在Java的线程里面有几个比较常见的方法如sleep,wait,yield,但是你知道它们之间的区别吗?

    我是攻城师
  • ThreadPoolExecutor源码学习

    但点进去看newSingleThreadExecutor可以看到其会调用ThreadPoolExecutor里面的线程。因此有必要研究ThreadPoolExe...

    路行的亚洲
  • 线程优化

    Process中定义,值越小,优先级越高,默认是THREAD_PRIORITY_DEFAULT 0

    Yif
  • 线程的六种状态转换

    New的意思是当前线程新建出来但没有启动,比如新建一个线程时new Thread(),此时线程就处于New状态,如果线程调用的了start()方法,此时线程开始...

    笑凡尘
  • 怎么理解分布式、高并发、多线程?(含面试题和答案解析)

    看到分布式、高并发、多线程这三个词的时候,很多人是不是都认为分布式=高并发=多线程?

    程序员追风
  • 高级java必须清楚的概念:原子性、可见性、有序性

    原子性、可见性、有序性是多线程编程中最重要的几个知识点,由于多线程情况复杂,如何让每个线程能看到正确的结果,这是非常重要的。 原子性 原子性是指一个线程的操作是...

    Java技术栈
  • 谈谈java的ThreadLocal

    简单介绍 ThreadLocal一般称为线程本地变量,它是一种特殊的线程绑定机制,将变量与线程绑定在一起,为每一个线程维护一个独立的变量副本。通过Thread...

    Spark学习技巧
  • java面试必备之ThreadLocal

    按照传统的经验,如果某个对象是非线程安全的,在多线程环境下对象的访问需要采用synchronized进行同步。但是模板类并未采用线程同步机制,因为线程同步会降低...

    JKXQJ

扫码关注云+社区

领取腾讯云代金券