线程安全类：在线程安全类中封装了必要的同步机制，客户端无须进一步采取同步措施
示例：一个无状态的Servlet
@ThreadSafe
public class StatelessFactorizer implements Servlet{
public void service(ServletRequest req,ServletResponse resp){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
encodeIntoResponse(resp,factors);
}
}
这个类是无状态的,因为它既不包含任何域，也不包含任何对其他类中域的引用，计算过程中用到的变量是局部变量没有被共享。
无状态对象一定是线程安全的。
在并发编程中，由于不恰当执行时序而出现不正确结果的情况,称为竞态条件。
最常见的竞态类型就是先检查后执行操作：比如单例中的延迟初始化。
像递增，递减操作看上去只有一个操作，但这个操作并非原子的,会导致结果变得不可靠。这种情况称为：读取-修改-写入的复合操作,也是竞态类型的一种。
对于这些竞态条件类型的操作可以加上同步锁，或者使用一个现有的线程安全类。
如：
@ThreadSafe
public class CountingFactorizer implements Servlet{
private final AtomicLong count = new AtomicLong(0);
public long getCount(){return count.get();}
public void service(ServletRequest req,ServletResponse resp){
BigInteger i = extractFromRequest(req);
BigInteger[] factors = factor(i);
count.incrementAndGet();
encodeIntoResponse(resp,factors);
}
}
在java.util.concurrent.atomic包中包含了一些原子变量类，用于实现在数值和对象引用上的原子状态转换。
注意：当在不变性条件中涉及多个变量时，各个变量间并不是彼此独立的，而是某个变量的值会对其他变量的值产生约束。因此，当更新某一个变量时，需要在同一个原
子操作中对其他变量同时更新
重入：当某个线程请求一个由其他线程持有的锁时，发出的请求线程会被阻塞。然而内置锁是可以重入的，因此某个线程试图获得一个已经由他自己持有的锁，那么这个请求就会成
功。
这个过程可以描述为：线程请求一个未被持有的锁,JVM记下这个新的锁持有者，计数值置为1，当这个线程再次获取这个锁，计数值将递增。当线程退出同步代码块时，计数器会相
应的递减。当计数值为0时，这个锁将被释放。
示例：
public class Widget{
public synchronized void doSomething(){
...
}
}
public class LoggingWidget extends Widget{
public synchronized void doSomething(){
super.doSomething();
}
}
使用锁保护时，对于包含多个变量的不变性条件，其中涉及的所有变量都需要由同一个锁来保护。
注意：当执行时间较长的计算或者无法快速完成的操作时，一定不要持有锁。