如何理解什么是线程安全？
|
什么是线程安全 线程安全在多线程编程时是一个比较重要的概念，我们下先来看下维基百科是如何定义这个概念的： https://en.wikipedia.org/wiki/Thread_safety
意思是说： 线程安全是应用于多线程代码的一种计算机编程概念，它确保多个线程能够按照程序的设计正确的访问共享数据结构。 或者再贴近编程语言的角度一点来讲，线程安全指的是同时最少有两个及以上的线程操作共享的数据区域，并且至少有一个是写操作。如果你还想不明白，可以去卫生间观察一下，一个厕位同时能有几个人使用。 线程安全的级别 线程安全的级别或者粒度有三种，如下： (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里面并发学习的知识图谱，只要把里面所有的内容都了解掌握，那么在多线程领域就可以从青铜升级到王者段位了，不过学习之路，学无止境，不能急功近利，一定得重基础，然后循序渐近，日拱一卒，就算慢点也无妨，坚持下去，肯定有所收获。 【编辑推荐】
点赞 0 （编辑：核心网） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
