线程安全性

Posted 2020-09-16

1.定义：当多个线程访问某个类时，不管运行环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。

2.产生线程非安全的主要原因：竞态条件的产生

竞态条件：例如，先检查后执行（延迟初始化）；复合操作：例如，计数器的递增操作（读取—操作—写入），导致竞态条件

解决方案：必须使它们以原子操作来避免产生竞态条件。具体方法：（1）加锁实现同步，sychronized关键字，有方法锁和同步代码块；（2）线程安全的对象来管理类的可变状态（即原子变量atomic，对单个变量来说是很有效的）。

3.用锁来保护状态：

（1）每个共享的和可变的变量都应该只由一个锁来保护；

（2）对于每个包含多个变量的不变性条件，其中涉及的所有变量都需要由同一个锁来保护。