“共享”意味着变量可以由多个线程同时访问,而“可变”则意味着变量的值在其生命周期内可以发生变化。一个对象是否需要是线程安全的,取决于它是否被多个线程访问。要使得对象是线程安全的,需要采用同步机制来协同对对象可变状态的访问。
当多个线程访问某个状态变量并且其中有一个线程执行写入操作时,必须采用同步机制来协同这些线程对变量的访问。Java中的主要同步机制是关键字synchronized,它提供了一种独占的加锁方式,但“同步”这个术语还包括volatile类型的变量,主要用于显式锁以及原子变量。
如果当多个线程访问同一个可变的状态变量时没有使用合适的同步,程序就会出错,有三种方式可以修复这个问题:
* 不再线程之间共享该状态变量
* 将状态变量修改为不可变的变量
* 在访问状态变量时使用同步