Java并发编程（一）：线程安全

线程安全

编写线程安全代码的本质就是对状态的管理，即那些共享的、可变的状态。线程安全问题的本质是多个线程访问同一资源，这会产生隐患，解决的方法有三种：

• 不要跨线程共享变量
• 使状态变量为不可变的
• 在访问状态变量时使用同步

线程安全的定义：如果一个类能被多个线程安全的使用，那么它就是线程安全的。或者说，一个类在被多个线程访问时仍然能做出正确的行为。

原子性：就是一个事务要么全部执行，要么一点也没有执行，不存在其他状态。要保证线程安全就要保证事务是原子地执行。

要使变量为原子的，可以使用java.util.concurrent.atomic下提供的类和方法。

锁

通过锁来实现原子性。

内部锁

即使用synchronized块，每个java对象都可以作为一个内部锁，只有拥有这个锁的线程才能执行相应的代码，同一时间至多只能有一个线程拥有该锁。

重进入（reentrancy）

对于锁的请求是基于线程的，而非调用。重进入就是拥有该锁的线程可以重复执行相应的代码，而其他线程不能执行这些代码。

使用锁来保护状态

锁使得线程能够串行地访问被锁保护的代码路径。常用的锁规则是将所有可变状态封装在对象内，通过对象内部锁来同步可变状态。
对于每一个涉及多个状态变量的不变约束，需要同一个锁来保护其所有变量。

活跃度与性能

不要过度使用synchronized同步，因为可能这会带来严重的性能问题。比如在使用servlet时，封锁整个servlet，这使得servlet无法同时处理多个请求，严重影响性能。合理的做法是缩小synchronized的作用范围，在保证安全性的前提下提高性能；不能将一个原子操作分解到多个synchronized块中；并且应当将耗时而又不影响共享状态的代码分离出来。例：

public class CachedFactorizer extends GenericServlet implements Servlet {
    private BigInteger lastNumber;
    private BigInteger[] lastFactors;
    private long hits;
    private long cacheHits;

    public synchronized long getHits() {
        return hits;
    }

    public synchronized double getCacheHitRatio() {
        return (double) cacheHits / (double) hits;
    }

    public void service(ServletRequest req, ServletResponse resp) {
        BigInteger i = extractFromRequest(req);
        BigInteger[] factors = null;
        synchronized (this) {
            ++hits;
            if (i.equals(lastNumber)) {
                ++cacheHits;
                factors = lastFactors.clone();
            }
        }
        if (factors == null) {
            factors = factor(i);//这里是因数分解，是耗时操作又不涉及共享状态，所以分离出来
            synchronized (this) {
                lastNumber = i;
                lastFactors = factors.clone();
            }
        }
        encodeIntoResponse(resp, factors);
    }
    //...
}

对于一些耗时的计算或操作，如网络或控制台IO，执行这些操作期间不宜占用锁。

参考文献：《Java并发编程实战》