不可变对象

2014-09-16 11:44:18 158 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

ningbohezhijun 墨衍会员 · AI 创作全网分发关注 + 加入社区

VMvare 桥接模式无法联网、没有未桥接的主机网络适配器，无法将网络更改为桥接状态。很多程序员，整天沉浸在业务代码的 CRUD 中，业务中没有大量数据做并发，缺少实战经验，对并发仅仅停留在了解，做不到精通，所以总是与大厂擦肩而过。我把私藏的这套并发体系的笔记和思维脑图分享出来，理论知识与项目实战的结合，我觉得只要你肯花时间用心学完这些，一定可以快速掌握并发编程。《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取！战项目源码讲义》点击传送门即可获取！** 阅读详情

最近在看《Java 7并发编程实战手册》，遇到了个问题，希望大家帮忙。

问题是关于：不可变对象与线程安全，代码如下



@Immutable

class OneValueCache {

    private final BigInteger lastNumber;

    private final BigInteger[] lastFactors;

 

    public OneValueCache(BigInteger i,

                         BigInteger[] factors) {

        lastNumber  = i;

        lastFactors = Arrays.copyOf(factors, factors.length);

    }

 

    public BigInteger[] getFactors(BigInteger i) {

        if (lastNumber == null || !lastNumber.equals(i))

            return null;

        else

            return Arrays.copyOf(lastFactors, lastFactors.length);

    }

}

可以看到OneValueCache是不可变对象。



@ThreadSafe

public class VolatileCachedFactorizer implements Servlet {

    private volatile OneValueCache cache =

        new OneValueCache(null, null);//这里是安全发布

 

    public void service(ServletRequest req, ServletResponse resp) {

        BigInteger i = extractFromRequest(req);

        BigInteger[] factors = cache.getFactors(i);

        if (factors == null) {

            factors = factor(i);

            //由于cache为volatile，所以最新值立即能让其它线程可见

            cache = new OneValueCache(i, factors);

        }

        encodeIntoResponse(resp, factors);

    }

}

但是我又该如何理解VolatileCachedFactorizer类是线程安全的。总感觉理不清，也不知道去理清这个问题的重点是哪里。
书上是这么解释的（我没有理解）：
与cache相关的操作不会相互干扰，因为OneValueCache是不可变的，并且在每条相应的代码路径中只会访问它一次。通过使用包含多个状态变量的容器对象来维持不变性条件，并使用一个volatile类型的引用来确保可见性，使得VolatileCachedFactorizer在没有显示地使用锁的情况下仍然是线程安全的。

请点拨我一下，谢谢！

...全文