线程安全性的文档化

首先说一个错误的观点是“只要是加了synchronized关键字的方法或者代码块就一定是线程安全的，而没有加这个关键字的代码就不是线程安全的”。这种观点认为“线程安全要么全有要么全无”，事实上这是错误的。因为线程安全包含了几种级别：

1. 不可变的(Immutable)：类的实例不可变（不可变类），一定线程安全，如String、Long、BigInteger等。
2. 无条件的线程安全（Unconditionally ThreadSafe）：该类的实例是可变的，但是这个类有足够的的内部同步。所以，它的实例可以被并发使用，无需任何外部同步，如Random和ConcurrentHashMap。
3. 有条件的线程安全（Conditionally ThreadSafe）：某些方法需要为了安全的并发而在外部进行同步，其余方法与无条件的线程安全一致。如Collection.synchronized返回的集合，对它们进行迭代时就需要外部同步。如下代码，当对synchronizeColletcion返回的 collection进行迭代时，用户必须手工在返回的 collection 上进行同步，不遵从此建议将导致无法确定的行为。
   

     Collection c = Collections.synchronizedCollection(myCollection);
        ...
     synchronized(c) {
         Iterator i = c.iterator(); // Must be in the synchronized block
         while (i.hasNext())
            foo(i.next());
     }