【多线程】——线程安全性（2）

一、前言

通过前面的章节，我们知道知道什么是进程，什么是线程，其次因为线程的引入，安全性也是我们关注的一个重点，那么如何判断一个对象是线程安全的呢？取决于它是否被多个线程访问，这指的是在程序中访问对象的方式，而不是对象要实现的功能。所以为了保证对象的安全性，我们需要同步机制的保证，在java中我们主要的同步机制关键字是synchronized，同时还包括volatile类型的变量、显示锁以及原子变量等。

二、安全性

线程安全的定义不是非常好定义，支持比较多的定义是：如果某个类可以在多个线程中安全的使用，那么他就是一个线程安全的类。举个例子：我们的web请求的最终处理都是基于无状态的servlet对象来处理的：它既不包含任何域，也不包含任何对其他类中域的引用，所以无状态对象一定是线程安全的。假如现在我们想在在其中增加一个计数器的功能，类型用long，执行语句用++count，这样的话就是线程不安全的了，因为++count是一个非原子操作，也就是这个操作其实是可以被拆分成三步的：第一步获取count值；第二步将这个值+1；第三步将结果写入count，这样在多线程环境下就很有可能没有取到最新的值。在并发编程中，这种由于不恰当的执行时序而出现不正确结果的情况叫做竞态条件。

要想解决上面的问题无非就是需要保证对count操作的原子性，这样就能够保证数据的安全性了，可以将count定义为final不能修改的，类型为AtomicLong保证count所有操作都是原子性的。

这所虽然解决了问题，但是如果有多个变量呢，也是采用相同的方法，万一有两处需要修改两个变量的值呢，还是会存在线程安全的问题？

这个时候就是synchronized关键字施展的时候，可以将这个对变量的逻辑操作放在一个同步代码块中，这样就能够保证每次之后一个线程在修改变量的值，线程就是安全的，但是这个在加锁的时候也是需要考虑性能的问题。

三、ThreadLocal

其实解决线程安全问题就是尽量不要使用共享的变量，那么我们考虑就是能不能定义线程自己的私有变量，将这些变量与保存值的对象关联起来，这样就完美的避免了线程安全问题，所以ThreadLocal类就应运而生。threadlocal提供了get和set方法，这些方法为每个使用该变量的线程都存有一份独立的副本，因此get总是返回有当前执行线程在调用set是设置的最新值。（具体用法可以参考Threadlocal使用教程）

四、不可变

另外一种解决的办法就是将对象设置为不可变也是能够解决线程安全问题，但是设置为不可变并不仅仅指将对象设置为final，当满足以下条件时，对象才是不可变的：

• 对象创建以后其状态就不能修改
• 对象的所有域都是final类型
• 对象正确创建的（在对象的创建期间，this引用没有逸出）