信不信？以面向对象的思想是可以写好高并发程序的！

时间：2020-05-06 11:39:07

关键字：面向对象 BSP PUBLIC LOWER

[导读]来自：冰河技术前言面向对象思想与并发编程有关系吗？本来二者是没有什么鸟关系的！它们是分属两个不同的领域，但是，Java却将二者融合在一起了！而且融合的效果不错：我们利用Java的面向对象的思想能够让并发编程变得更加简单！！那我们如何利用面向对象

信不信？以面向对象的思想是可以写好高并发程序的！

来自：冰河技术

前言

面向对象思想与并发编程有关系吗？本来二者是没有什么鸟关系的！它们是分属两个不同的领域，但是，Java却将二者融合在一起了！而且融合的效果不错：我们利用Java的面向对象的思想能够让并发编程变得更加简单！！

那我们如何利用面向对象的思想写好并发程序呢？我们可以从下面三个角度进行分析。

封装共享变量
识别共享变量间的约束条件
指定并发访问策略

封装共享变量

在编写并发程序时，我们关注的一个核心问题，其实就是解决多线程同时访问共享变量的问题！

面向对象思想中有一个很重要的特性：封装。简单的说，封装就是将属性和实现细节封装到对象的内部，外界对象只能通过目标对象提供的公共方法来间接访问内部属性。我们把共享变量作为对象的属性，那么，对于共享变量的访问路径就是对象的公共方法，所有公共方法的入口都要设置并发访问策略。

所以，我们得出一个结论：利用面向对象思想写并发程序其实挺简单，就是将共享变量作为对象属性封装在内部，对所有的公共方法指定并发访问策略！

比如，我们在很多业务场景中都会用到计数器，我们可以将计数器类定义成如下所示。

public class Counter{
    private long count;
    public synchronized long incrementCount(){
        return ++count;
    }
    public synchronized long getCount(){
        return count;
    }
}

在上面的Counter类中，存在一个共享变量count，对外提供的两个公共方法incrementCount()和getCount()设置了synchronized同步锁，此时，Counter类就是一个线程安全的类了。

在实际工作中，很多场景比计数器的实现复杂的多，比如，我们的银行账户中，有卡号、姓名、身份证、余额等共享变量，我们没有必要对每个共享变量都要考虑并发问题。此时，我们就需要仔细分析这些共享变量，看这些共享变量中哪些变量是不变的。对于我们的银行账户来说，卡号、姓名、身份证这三个共享变量就是不变的。对于这些不变的共享变量，我们可以使用final关键字来修饰它们，避免并发问题。

最后，需要注意的是，对共享变量进行封装时，要注意”对象逃逸“的问题！例如，下面的程序代码，在构造函数中将this赋值给了全局变量global.obj，此时对象初始化还没有完成，此时对象初始化还没有完成，此时对象初始化还没有完成，重要的事情说三遍！！线程通过global.obj读取的x值可能为0。此时对象this就“逃逸”了。

final x = 0;
public FinalFieldExample() { // bad!
  x = 3;
  y = 4;
  // bad construction - allowing this to escape
  global.obj = this;
}

以上示例来源于：http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#finalWrong

识别共享变量间的约束条件

共享变量间的约束条件非常重要，因为它们决定了并发访问策略。

例如，在商城业务中，对于商品的库存管理中有个合理库存的概念，库存量不能太高，也不能太低，这个值有一个上限和一个下限。例如，下面的类模拟了这个合理的库存概念。

public class Stock{
    //库存的上限
    private final AtomicLong upper = new AtomicLong(0);
    //库存的下限
    private final AtomicLong lower = new AtomicLong(0);
    //设置库存上限
    public void setUpper(long v){
        upper.set(v);
    }
    //设置库存下限
    public void setLower(long v){
        lower.set(v);
    }
    //其他众多的代码省略
}

乍一看，上面的程序没问题啊！但是，其忽略了一个约束条件，就是库存的下限要小于库存的上限。这也是很多人容易忽略的问题。

看到这里，很多人的第一反应就是在setUpper()方法和setLower()方法中，添加参数校验逻辑，例如，改造后的Stock类如下所示。

public class Stock{
    //库存的上限
    private final AtomicLong upper = new AtomicLong(0);
    //库存的下限
    private final AtomicLong lower = new AtomicLong(0);
    //设置库存上限
    public void setUpper(long v){
        if(v < lower.get()){
            throw new IllegalArgumentException();
        }
        upper.set(v);
    }
    //设置库存下限
    public void setLower(long v){
        if(v > upper.get()){
             throw new IllegalArgumentException();
        }
        lower.set(v);
    }
    //其他众多的代码省略
}

这样设置正确吗？答案是：这样设置完全不同保证库存的下限小于库存的上限。

其实，这里存在竞态条件（当程序中出现 if 语句的时候，应该首先反应出程序是否有竞态条件），关于竞态条件的详细讲解可以参见《【高并发】要想学好并发编程，关键是要理解这三个核心问题》。

假设，原有库存的上限为10，下限为3。此时线程A调用setUpper(5)将库存的上限设置为5，线程B调用setLower(7)将库存的下限设置为8，如果线程A和线程B同时执行，线程A会通过参数校验，因为此时库存的下限还没有被线程B设置完毕，此时的库存下限还是3，5>3成立，所以，线程A会将库存的上限设置为5。同样的，线程B也能够通过参数校验，因为此时库存的上限还没有被线程A设置完毕，此时库存的上限还是10，8<10成立，线程B会将库存的下限设置为8。最终的结果为：库存的上限为5，下限为8。库存的上限小于下限，不满足上限小于下限的约束条件。

所以，大家在识别共享变量间的约束条件时，一定要注意竞态条件的问题！