线程的安全性

文档内容摘自：Java并发编程实战

概述

多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类始终都能变现出正常的行为，那么就称这个类是线程安全的。

1. 要编写线程安全的代码，其核心在于要对状态访问操作进行管理，特别是对共享的和可变的状态的访问。
2. “共享”意味着变量可以被多个线程同时访问，而“可变”则意味着变量的值在其生命周期内可以发生变化。
3. 一个对象是否需要线程安全的，取决于它是否被多个线程访问。要使得对象是线程安全的，需要采用同步机制来协同对对象可变状态的访问。如果无法实现协同，那么可能会到时数据破坏以及其他不该出现的结果。
4. 多个线程访问某个状态变量并且其中一个线程执行的是写操作，必须采用同步机制来协同这些线程对变量的访问，Java中主要同步机制是关键字synchronized，它提供了一种独占的加锁方式，但是“同步”这个术语还包括volatile类型的变量，显示锁以及原子变量。

设计原则

• 如果当多个线程访问同一个可变的状态变量时没有使用合适的同步，那么程序就会出现错误，有三种方式可以修复这个问题：

  • 不在线程之间共享该状态变量
  • 将状态变量修改为不可变的变量
  • 在访问状态变量时使用同步

• 当设计线程安全的类时，良好的面向对象技术、不可修改性、以及明晰的不变性规范都能起到一定的帮助作用。

• 在线程安全类中封装了必要的同步机制，因此客户端无须进一步采用同步措施。