Future是什么?
最近写了一些关于netty
的相关代码,发现类似netty
的这种异步框架大量的使用一个Future的类。利用这个future类可以实现,代码的异步调用,程序调用耗时的网络或者IO相关的方法的时候,首先获得一个Future的代理类,同时线程并不会被阻塞。继续执行之后的逻辑,直到真正要使用远程调用返回的结果的时候,才需要调用future的get()
方法。这样可以提高代码的执行效率。
于是就花了一点时间研究future是如何实现的。调用方式如何知道,结果什么时候返回的呢?如果使用一个线程去轮询flag
标记,那么就很难及时的感知对象的改变,同时还很难降低开销。。所以我们需要了解java的等待通知机制。利用这个机制来构建一个节能环保的Future。
等待通知机制
一个线程修改了一个对象的值,另一个线程感知到了变化,然后进行相应的操作。一个线程是生产者,另一个线程是消费者。这种模式做到了解耦,隔离了“做什么”和“做什么”。如果要实现这个功能,我们可以利用java内对象内置的等待通知机制来实现。
我们知道’java.lang.Object’有以下方法
方法名称 | 描述 |
---|---|
notify() | 随机选择通知一个在对象上等待的的线程,解除其阻塞状态。 |
notfiyAll() | 解除所有那些在该对象上调用wait方法的线程的阻塞状态 |
wait() | 导致线程进入等待状态。 |
wait(long) | 同上,同时设置一个超时时间,线程等待一段时间。 |
wait(long,int) | 同上,且为超时时间设置一个单位。 |
ps:敲黑板,面试中面试官可能会问,你了解’Object’的哪些方法?如果只答出 toString()
的话。估计得出门右转慢走不送了。
所谓等待通知机制,就是某个线程A调用了对象 O 的wait()
方法,另一个线程B调用对象 O 的 notify()
或者 notifyAll()
方法。 线程 A 接收到线程 B 的通知,从wait状态中返回,继续执行后续操作。两个线程通过对象 O 来进行通信。
我们看damo:
1 |
|
程序的输出:
Thread[wait,5,main]flag is true wait @22:46:52
Thread[notify,5,main]lock the thread and change flag22:46:57
Thread[notify,5,main]lock the thread again@22:47:02
Thread[wait,5,main]flag is false go on @22:47:07
wait()
和notify()
以及notifyAll()
需要在对象被加锁以后会使用。- 调用
notify()
和notifyAll()
后,对象并不是立即就从wait()
返回。而是需要对象的锁释放以后,等待线程才会从wait()
中返回。
等待通知经典范式
通过以上的代码我们可以把等待通知模式进行抽象。
wait线程:
- 获取对象的锁。
- 条件不满足,调用对象
wait()
方法。 - 等待另外线程通知,如果满足条件,继续余下操作执行。
伪码如下:
1 | lock(object){ |
notify线程:
- 获取对象的锁。
- 修改条件。
- 调用对象的
notify()
或者notifyAll()
方法通知等待的线程。 - 释放锁.
伪码如下:
1 | lock(object){ |
Future的实现原理:
了解了java的等待通知机制,我们来看看如何利用这个机制实现一个简单的Future。
首先我们定义一个Future的接口:
1 | public interface IData { |
假设我们有一个很耗时的远程方法:
1 | public class RealData implements IData { |
同时还要有一个实现了IData
的RealData
包装类:
1 | public class FutureData implements IData { |
可以看出来我们的这个包装类就是一个相当标准的等待通知机制的类。
再看看我们Service类,在Service中的getData方法被调用的时候,程序只接返回了一个FutureData的代理类,同时起了一个新的线程去执行真正耗时的RealData
。
1 | public class Service { |
执行的结果是:
1 | a |
可见程序并没有因为调用耗时的方法阻塞,先打印了a和b,在程序调用getReslut()
才打印出真正的结果。
总结:
通过以上的讲解,我们总结一下future,首先使用future可以实现异步调用,实现future我们使用了java的等待通知机制。这个时候们回过头再来看netty的future就很简单了。
参考
《java并发编程的艺术》
漫谈并发编程:Future模型(Java、Clojure、Scala多语言角度分析)