介绍
我比较认同的线程安全的定义: "一段代码, 被多线程访问, 多线程之间不需要任何显式的协同, 并且运行结果是正确的, 那么这段代码就是线程安全的".
线程安全的程度
- Immutable: 不可变
- Thread-safe: 单线程下行为正确, 任何的执行序列都无法将实例带到一个非法状态; 多线程下也要继续延续该特性, 这个要求很高
- Conditionally thread-safe: 有条件的线程安全, 在某些条件下线程安全, 比如Vector的所有方法都是synchronized, 但并发访问时还是会出问题, 比如先获取size再get可能会NPE.
- Thread-Compitable: 线程兼容, 本来非多线程安全, 但可以通过显示的外部同步来获得安全(并且行为正确), 大部分实例都是这样.
- Thread-hostile: 很少见, 线程敌对, 一定非线程安全的(比如输出输出流), 我也不懂了, 直接看原文吧.
如何实现线程安全
根据我的经验, 有以下几个建议:
- 设计或结合框架的线程模型: 这个才是根本大法, 其他的线程安全方式只不过是"解决一个遇到的问题, 并不能从根本上消除", 只有设计合理的线程模型(全局或局部)才能比较彻底地解决(全局或局部)的线程安全问题.
- 比如Netty里, 一个Channel在其生命周期内只会被一个EventLoop调度, 这样每个Channel在自身生命周期回调里一般不需要考虑线程安全问题, 除非你需要访问共享的数据结构.
- GRPC也保证同一个Channel的生命周期方法一定会被串行调用(可能是不同线程, 但一定是串行的), 从而也避免在各种地方对channel进行加锁保护.
- 使用不可变对象
- 使用无状态设计
- 让调用方维护状态(状态是入参): 比如HTTP的cookie. 用得不好的话会被认为是推卸责任, 取决于具体设计, 状态总工会有人要存的, 逃不掉...
- 原子操作
- 原子计数器
- 并发安全集合
- 锁
- 阻塞型集合