编写线程安全的代码，本质上就是管理对状态的访问，而且通常是共享的、可变的状态。
通俗地说，一个对象的状态就是它的数据，存储在状态变量中，比如实例域或静态域。对象的状态还包括了其他附属对象域。例如，HashMap的状态一部分存储到对象本身中，但同时也存储到很多Map.Entry对象中。一个对象的状态包含了任何对它外部可见行为产生影响的数据。
所谓共享，是指一个变量可以被多个线程访问；所谓可变，是指变量的值在其生命周期内可以改变。我们讨论的线程安全性好像是关于代码的，但是我们真正要做的，是在不可控制的并发访问中保护数据。
一个对象是否应该是线程安全的，取决于它是否会被多个线程访问。线程安全的这个性质，取决于程序中如何使用对象 ，而不是对象完成了什么。保证对象的线程安全性需要使用同步协调对其可变状态的访问；若是做不到这一点，就会导致脏数据和其他不可预期的后果。
无论何时，只要有多于一个线程访问给定的状态变量，而且其中某个线程会写入该变量，此时必须使用同步来协调线程对该变量的访问。java中首要的同步机制是synchronized关键字，它提供了独占锁。除此之外，术语”同步“还包括
volatile变量，显示锁和原子变量的使用。
在没有正确同步的情况下，如果多个线程访问了同一个变量，你的程序就存在隐患。有3种方法修复它：
不要跨线程共享变量。
使状态变量为不可变的；或者
在任何访问状态的时候使用同步。
来源：oschina
链接：https://my.oschina.net/u/2254200/blog/396208