要编写线程安全的代码，其核心在于要对状态访问操作进行管理，特别是对共享的（Shared）和可变的(Mutable)状态的访问。从非正式的意义上说（为啥这么讲我也不知道，可能这么说读者更容易理解），对象的状态是指存储在状态变量（例如实例或者静态域）中的数据。对象的状态可能包括其他依赖对象的域（意思是对象中嵌套使用了其他对象，例如HashMap中有Map.Entry一样）。
“共享”意味着变量可以由多个线程同时访问，而“可变”意味着变量的值在其生命周期内可以发生变化。我们讨论的线程安全性更侧重于如何防止在数据不受控时的并发访问。
一个对象是否需要是线程安全的，取决于它是否被多个线程访问。要使对象是线程安全的，必须采用同步机制来协同对象可变状态的访问。
当多个线程访问某个状态变量并且其中有一个线程执行写入操作时，必须采用同步机制来协同这些线程对变量的访问。而java中令大家熟知的同步机制是关键字synchronized，它提供了一种独占的加锁方式，当然同步机制还包括volatile类型的变量，显示锁和原子变量。
解决线程安全性的问题的三种举措(如果当多个线程访问同一个可变的状态变量时没有使用合适的同步，那么程序就会出错，解决方式如下)：
（1）不在线程之间共享改状态变量
（2）将状态变量修改为不可变的变量
（3）在访问状态变量时使用同步。
这边书中提到几个经验之谈：访问某个变量的代码越少，就越容易确保对变量的所有访问都实现正确同步，同时，也更容易找出变量在哪些条件下被访问。java语言并没有强制要求将状态都封装在类中，开发人员完全可以见状态保存在某个公开域（或者公开的静态域），或者提供一种对内部对象的公开引用。记住，程序封装性越好，就越容易实现程序的线程安全性。
线程安全性的定义有很多，但是最核心的就是程序执行的正确性（虽然书上之说最核心的是正确性，但我觉得这样说更容易理解）。正确性的含义在于：某个类的行为与其规范完全一致。就是当多个线程访问某个类时，这个类始终都能表现出正确的行为，那么就成这个类是线程安全的。