多线程设计模式解读1—Guarded Suspension(保护性暂挂模式)

多线程设计模式解读1—Guarded Suspension(保护性暂挂模式)_第1张图片

大家好,今天我们给大家介绍一个多线程设计模式的一个概念,我们平时业务代码写得比较多,因此,如果刚上手写比较复杂多线程代码,很有可能会埋下一些坑,而这些坑一时之间都是很难发现,需要经过严格测试,甚至上线运行之后才会在生产环境显现出来。大家应该听过面向对象编程的23种设计模式吧,它就是在特定场景下提供针对某一问题的可复用解决方案,而多线程设计模式是在多线程编程领域的设计模式。今天给大家介绍其中一个设计模式:Guarded Suspension(保护性暂挂模式)。

Guarded Suspension主要是用来解决线程协作的一些问题,其核心思想是某个线程执行特定的操作前需要满足一定条件,条件未满足则暂挂线程,处于WAITING状态,直到条件满足该线程继续执行。说到这里,大家是不是想到了wait/notify了,是的,线程的挂起和唤醒功能可以直接使用wait/notify直接实现,但除非是这方面的熟手,不然总会因为忽略了一些技术细节而犯错,而且这些重复代码散落在系统各处,往往增加了维护成本,提高了出错的概率。大家现在还能快速回忆起wait/notify的一些值得注意的编程细节吗?

比如:

最著名的是线程过早唤醒问题,当一个线程由于调用了notifyAll而醒来时,并不意味着它的保护条件是成立的,其中有各种原因,如wait方法可以“假装”返回;从线程被唤醒到wait重新获取锁的时间段内,其他线程已获取了锁并修改了保护条件中的状态;由于一个条件队列与多个保护条件相关,假设A在条件队列等待保护条件a,当B线程因为同一条件队列相关的另一个保护条件b变成真,就会调用notifyAll或者notify,唤醒了A线程,但该线程相关的保护条件a并没有成真。

因此,每次线程从wait中唤醒时,都必须再次测试保护条件是否成立,我们通常在一个循环中调用wait,相关代码的标准形式如下:

synchronized(lock){
      while(!conditionPredicate){
        lock.wait();
      }
}

另外在实现的过程中,还有信号丢失、内存可见性、锁泄漏等各种技术细节需要我们把控,而Guarded Suspension 帮助我们把这些技术细节封装起来,统一处理,增强了代码的可复用性和可维护性。

现在来看下面这段简单的代码,描述的主要是点外卖的一个逻辑,外卖没送到之前,我们一直处于等待状态,等外卖送到,我们收到通知,就可以开吃了,我们总是避免不了去实现wait/notify一类的代码:

public class TakeOut {
  private boolean foodArrived = false;
  //开吃
  public void eat() throws InterruptedException {
    synchronized(this){
      while(!foodArrived){
        wait();
      }
    }
    System.out.println("wowowo.");
  }
  //外卖小哥
  public void foodGuy(){
    synchronized(this){
      System.out.println("food arrived");
      this.foodArrived = true;
      notifyAll();
    }
  }
  public static void main(String[] args) throws InterruptedException {
    TakeOut takeOut = new TakeOut();
    Thread t = new Thread(new Runnable() {
      @Override
      public void run() {
        try {
          takeOut.eat();
        } catch (InterruptedException e) {
          e.printStackTrace();
        }
      }
    });
    t.start();
    final Timer timer = new Timer();
    // 延迟50ms调用helper.stateChanged方法
    timer.schedule(new TimerTask() {
      @Override
      public void run() {
        takeOut.foodGuy();
        timer.cancel();
      }
    }, 500, 100);
  }
}

重点关注eat()和foodGuy(),在方法内部实现了wait/notify,而通常这容易犯错,有什么办法能将这些技术细节封装起来,而我们平时只要实现一些业务逻辑就可以了呢?Guarded Suspension给我们提供了一个思路,它指定了几个角色,让这些角色各司其职,而这些角色中,有些是需要开发者实现接口,有些则是可复用的代码。我们再来浏览下面这段代码,这里,开发者不需要实现关于wait/notify的技术细节,所有这些都封装在了Blocker中。

public class TakeOut2 {
  private static class Helper {
    private volatile boolean foodArrived = false;
    private final Predicate foodArrivedNow = new Predicate() {
      @Override
      public boolean evaluate() {
        return foodArrived;
      }
    };
    private final Blocker blocker = new ConditionVarBlocker();
    public  void eat() {
      //await之后的目标操作
      GuardedAction ga = new GuardedAction   (foodArrivedNow) {
        @Override
        public String call() throws Exception {
          System.out.println("wowowo.");
          return "wowowo";
        }
      };
      try {
        blocker.callWithGuard(ga);
      } catch (Exception e) {
        e.printStackTrace();
      }
    }
    public  void foodArrived() {
      try {
        blocker.signalAfter(new Callable() {
          //状态更新操作
          @Override
          public Boolean call() throws Exception {
            foodArrived = true;
            System.out.println("food arrived");
            return Boolean.TRUE;
          }
        });
      } catch (Exception e) {
        e.printStackTrace();
      }
    }
  }
  public static void main(String[] args) throws InterruptedException {
    final Helper helper = new Helper();
    Thread t = new Thread(new Runnable() {
      @Override
      public void run() {
          helper.eat();
      }
    });
    t.start();
    final Timer timer = new Timer();
    // 延迟50ms调用helper.stateChanged方法
    timer.schedule(new TimerTask() {
      @Override
      public void run() {
        helper.foodArrived();
        timer.cancel();
      }
    }, 500, 100);
  }
}

这里应用开发者需要实现三个角色:

GuardedObject: 这里就是指内部类Helper,包含了受保护方法eat()和改变GuardedObject实例状态的方法foodArrived()。

ConcretePredicate:实现具体的保护条件,这里是

  private final Predicate foodArrivedNow = new Predicate() {
      @Override
      public boolean evaluate() {
        return foodArrived;
      }
    };

ConcreteGuardedAction:具体的目标动作及关联的保护条件

  GuardedAction ga = new GuardedAction   (foodArrivedNow) {
        @Override
        public String call() throws Exception {
          System.out.println("wowowo.");
          return "wowowo";
        }
 };

我们看到,有关wait/notify的代码都被封装在了Broker中,而其中的Blocker接口,可以我们自己实现,也可以使用已有实现,这里的实现是ConditionVarBlocker类,它是基于Condition类和ReentrantLock类实现的, 上面的例子用到了callWithGuard和signalAfter两方法,分别接收由应用开发者实现的GuardedAction和stateOperation,前者用于执行带保护条件的目标动作,后者用于更改状态动作的执行。

public class ConditionVarBlocker implements Blocker {
    private final Lock lock;
    private final Condition condition;
    private final boolean allowAccess2Lock;
    public ConditionVarBlocker(Lock lock) {
        this(lock, true);
    }
    private ConditionVarBlocker(Lock lock, boolean allowAccess2Lock) {
        this.lock = lock;
        this.allowAccess2Lock = allowAccess2Lock;
        this.condition = lock.newCondition();
    }
    public ConditionVarBlocker() {
        this(false);
    }
    public ConditionVarBlocker(boolean allowAccess2Lock) {
        this(new ReentrantLock(), allowAccess2Lock);
    }
    public Lock getLock() {
        if (allowAccess2Lock) {
            return this.lock;
        }
        throw new IllegalStateException("Access to the lock disallowed.");
    }
    public  V callWithGuard(GuardedAction guardedAction) throws Exception {
        lock.lockInterruptibly();
        V result;
        try {
            final Predicate guard = guardedAction.guard;
            while (!guard.evaluate()) {
                Debug.info("waiting...");
                condition.await();
            }
            result = guardedAction.call();
            return result;
        } finally {
            lock.unlock();
        }
    }
    public void signalAfter(Callable stateOperation) throws Exception {
        lock.lockInterruptibly();
        try {
            if (stateOperation.call()) {
                condition.signal();
            }
        } finally {
            lock.unlock();
        }
    }
    public void broadcastAfter(Callable stateOperation) throws Exception {
        lock.lockInterruptibly();
        try {
            if (stateOperation.call()) {
                condition.signalAll();
            }
        } finally {
            lock.unlock();
        }
    }
    public void signal() throws InterruptedException {
        lock.lockInterruptibly();
        try {
            condition.signal();
        } finally {
            lock.unlock();
        }
    }
}

Broker接口定义如下:

public interface Blocker {
    /**
     * 在保护条件成立时执行目标动作,否则阻塞当前线程,直到保护条件成立。
     * @param guardedAction 带保护条件的目标动作
     * @return
     * @throws Exception
     */
     V callWithGuard(GuardedAction guardedAction) throws Exception;
    /**
     * 执行stateOperation所指定的操作后,决定是否唤醒本Blocker
     * 所暂挂的所有线程中的一个线程。
     * 
     * @param stateOperation
     *          更改状态的操作,其call方法的返回值为true时,该方法才会唤醒被暂挂的线程
     */
    void signalAfter(Callable stateOperation) throws Exception;
    void signal() throws InterruptedException;
    /**
     * 执行stateOperation所指定的操作后,决定是否唤醒本Blocker
     * 所暂挂的所有线程。
     * 
     * @param stateOperation
     *          更改状态的操作,其call方法的返回值为true时,该方法才会唤醒被暂挂的线程
     */
    void broadcastAfter(Callable stateOperation) throws Exception;
}

这里注意,如果你想使用指定的Lock实例,可以在ConditionVarBlocker传入一个,而不要在外部使用,避免不必要的嵌套同步。

你可以尝试着自己实现一个Broker,这似乎是一劳永逸的事情。这里补充一个小知识点,就是Condition与wait/notify的区别。每个对象都可以作为一个锁,而每个对象也同样可以作为一个条件队列,它使得一组线程能通过某种方式等待特定的条件成真,就像一个条件对列和一个内置锁(synchronized)关联一样,每一个Condition都和一个Lock关联,它提供了比内置条件队列更丰富的功能,如条件队列可以是中断或不可中断的,基于时限的等待。

另外,一个内置锁只能有一个相关联的条件队列,多个线程可能在同一个条件队列上等待不同的保护条件,并且在最常见的加锁模式下公开条件队列对象,这使得我们notifyAll时无法满足所有等待线程为同一类型的需求,而对于Lock,可以有任意数量的Condition对象,这样就可以将保护条件分开放到多个等待线程集中,更容易满足单次通知的要求。在Condition对象中,与wait,notify,notifyAll方法对应的分别是await,signal,signalAll。

 参考资料:

《java多线程编程实战指南—设计模式篇》

《图解多线程设计模式》

《java并发编程实战》

更多精彩:

多线程设计模式解读1—Guarded Suspension(保护性暂挂模式)_第2张图片

                                                               

java达人

ID:drjava

(长按或扫码识别)

你可能感兴趣的:(多线程设计模式解读1—Guarded Suspension(保护性暂挂模式))