Java理论与实践:描绘线程安全性

本文定义了线程安全性，类要成为线程安全的，首先必须在单线程环境中有正确的行为。并在被多个线程访问时，不管运行时环境执行这些线程有什么样的时序安排，它必须有如上所述的正确行为，并且在调用的代码中没有任何额外的同步。其效果就是，在所有线程看来，对于线程安全对象的操作是以固定的、全局一致的顺序发生的。本文还介绍了线程的安全程度。描述线程安全性的分类方法：不可变、线程安全、有条件线程安全、线程兼容和线程对立。一个类的线程安全行为是其规格说明中的固有部分，应该成为其文档的一部分。