标签：变量 atomic 不变性 atom 线程 定义 共享 解决方案 应该
1.定义：当多个线程访问某个类时，不管运行环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。
2.产生线程非安全的主要原因：竞态条件的产生
竞态条件：例如，先检查后执行（延迟初始化）；复合操作：例如，计数器的递增操作（读取—操作—写入），导致竞态条件
解决方案：必须使它们以原子操作来避免产生竞态条件。具体方法：（1）加锁实现同步，sychronized关键字，有方法锁和同步代码块；（2）线程安全的对象来管理类的可变状态（即原子变量atomic，对单个变量来说是很有效的）。
3.用锁来保护状态：
（1）每个共享的和可变的变量都应该只由一个锁来保护；
（2）对于每个包含多个变量的不变性条件，其中涉及的所有变量都需要由同一个锁来保护。
标签：变量 atomic 不变性 atom 线程 定义 共享 解决方案 应该
原文地址：http://www.cnblogs.com/changna1314/p/6815926.html
