前言
通过前面五个篇幅的介绍,相信大家对RxJava的基本使用以及操作符应该有了一定的认识。但是知其然还要知其所以然;所以从这一章开始我们聊聊源码,分析RxJava的实现原理。本文我们主要从三个方面来分析RxJava的实现:
RxJava基本流程分析
操作符原理分析
线程调度原理分析
本章节基于RxJava1.1.9版本的源码
一、RxJava执行流程分析
在RxJava系列2(基本概念及使用介绍)中我们介绍过,一个最基本的RxJava调用是这样的:
示例A
Observable.create(new Observable.OnSubscribe<String>() {
@Override
public void call(Subscriber<? super String> subscriber) {
subscriber.onNext("Hello RxJava!");
subscriber.onCompleted();
}
}).subscribe(new Subscriber<String>() {
@Override
public void onCompleted() {
System.out.println("completed!");
}
@Override
public void onError(Throwable e) {
}
@Override
public void onNext(String s) {
System.out.println(s);
}
});
首先调用Observable.create()
创建一个被观察者Observable
,同时创建一个OnSubscribe
作为create()
方法的入参;接着创建一个观察者Subscriber
,然后通过subseribe()
实现二者的订阅关系。这里涉及到三个关键对象和一个核心的方法:
Observable(被观察者)
OnSubscribe (从纯设计模式的角度来理解,
OnSubscribe.call()
可以看做是观察者模式中被观察者用来通知观察者的notifyObservers()
方法)Subscriber (观察者)
subscribe() (实现观察者与被观察者订阅关系的方法)
1、Observable.create()源码分析
首先我们来看看Observable.create()
的实现:
public static <T> Observable<T> create(OnSubscribe<T> f) {
return new Observable<T>(RxJavaHooks.onCreate(f));
}
这里创建了一个被观察者Observable
,同时将RxJavaHooks.onCreate(f)
作为构造函数的参数,源码如下:
protected Observable(OnSubscribe<T> f) {
this.onSubscribe = f;
}
我们看到源码中直接将参数RxJavaHooks.onCreate(f)
赋值给了当前我们构造的被观察者Observable
的成员变量onSubscribe
。那么RxJavaHooks.onCreate(f)
返回的又是什么呢?我们接着往下看:
public static <T> Observable.OnSubscribe<T> onCreate(Observable.OnSubscribe<T> onSubscribe) {
Func1<OnSubscribe, OnSubscribe> f = onObservableCreate;
if (f != null) {
return f.call(onSubscribe);
}
return onSubscribe;
}
由于我们并没调用RxJavaHooks.initCreate()
,所以上面代码中的onObservableCreate
为null;因此RxJavaHooks.onCreate(f)
最终返回的就是f
,也就是我们在Observable.create()
的时候new出来的OnSubscribe
。(由于对RxJavaHooks的理解并不影响我们对RxJava执行流程的分析,因此在这里我们不做进一步的探讨。为了方便理解我们只需要知道RxJavaHooks一系列方法的返回值就是入参本身就OK了,例如这里的RxJavaHooks.onCreate(f)
返回的就是f
)。
至此我们做下逻辑梳理:Observable.create()
方法构造了一个被观察者Observable
对象,同时将new出来的OnSubscribe
赋值给了该Observable
的成员变量onSubscribe
。
2、Subscriber源码分析
接着我们看下观察者Subscriber
的源码,为了增加可读性,我去掉了源码中的注释和部分代码。
public abstract class Subscriber<T> implements Observer<T>, Subscription {
private final SubscriptionList subscriptions;//订阅事件集,所有发送给当前Subscriber的事件都会保存在这里
...
protected Subscriber(Subscriber<?> subscriber, boolean shareSubscriptions) {
this.subscriber = subscriber;
this.subscriptions = shareSubscriptions && subscriber != null ? subscriber.subscriptions : new SubscriptionList();
}
...
@Override
public final void unsubscribe() {
subscriptions.unsubscribe();
}
@Override
public final boolean isUnsubscribed() {
return subscriptions.isUnsubscribed();
}
public void onStart() {
}
...
}
public interface Subscription {
void unsubscribe();
boolean isUnsubscribed();
}
Subscriber
实现了Subscription
接口,从而对外提供isUnsubscribed()
和unsubscribe()
方法。前者用于判断是否已经取消订阅;后者用于将订阅事件列表(也就是当前观察者的成员变量subscriptions
)中的所有Subscription
取消订阅,并且不再接受观察者Observable
发送的后续事件。
3、subscribe()源码分析
前面我们分析了观察者和被观察者相关的源码,那么接下来便是整个订阅流程中最最关键的环节了。
public final Subscription subscribe(Subscriber<? super T> subscriber) {
return Observable.subscribe(subscriber, this);
}
static <T> Subscription subscribe(Subscriber<? super T> subscriber, Observable<T> observable) {
...
subscriber.onStart();
if (!(subscriber instanceof SafeSubscriber)) {
subscriber = new SafeSubscriber<T>(subscriber);
}
try {
RxJavaHooks.onObservableStart(observable, observable.onSubscribe).call(subscriber);
return RxJavaHooks.onObservableReturn(subscriber);
} catch (Throwable e) {
...
return Subscriptions.unsubscribed();
}
}
subscribe()
方法中将传进来的subscriber
包装成了SafeSubscriber
,SafeSubscriber
其实是subscriber
的一个代理,对subscriber
的一系列方法做了更加严格的安全校验。保证了onCompleted()
和onError()
只会有一个被执行且只执行一次,一旦它们其中方法被执行过后onNext()
就不在执行了。
上述代码中最关键的就是RxJavaHooks.onObservableStart(observable, observable.onSubscribe).call(subscriber)
。这里的RxJavaHooks和之前提到的一样,RxJavaHooks.onObservableStart(observable, observable.onSubscribe)
返回的正是他的第二个入参observable.onSubscribe
,也就是当前observable
的成员变量onSubscribe
。而这个成员变量我们前面提到过,它是我们在Observable.create()
的时候new出来的。所以这段代码可以简化为onSubscribe.call(subscriber)
。这也印证了我在RxJava系列2(基本概念及使用介绍)中说的,onSubscribe.call(subscriber)
中的subscriber
正是我们在subscribe()
方法中new出来的观察者。
到这里,我们对RxJava的执行流程做个总结:首先我们调用crate()
创建一个观察者,同时创建一个OnSubscribe
作为该方法的入参;接着调用subscribe()
来订阅我们自己创建的观察者Subscriber
。
一旦调用subscribe()
方法后就会触发执行OnSubscribe.call()
。然后我们就可以在call方法调用观察者subscriber
的onNext()
,onCompleted()
,onError()
。
最后我用张图来总结下之前的分析结果:
二、操作符原理分析
之前我们介绍过几十个操作符,要一一分析它们的源码显然不太现实。在这里我抛砖引玉,选取一个相对简单且常用的map
操作符来分析。
我们先来看一个map
操作符的简单应用:
示例B
Observable.create(new Observable.OnSubscribe<Integer>() {
@Override
public void call(Subscriber<? super Integer> subscriber) {
subscriber.onNext(1);
subscriber.onCompleted();
}
}).map(new Func1<Integer, String>() {
@Override
public String call(Integer integer) {
return "This is " + integer;
}
}).subscribe(new Subscriber<String>() {
@Override
public void onCompleted() {
System.out.println("onCompleted!");
}
@Override
public void onError(Throwable e) {
System.out.println(e.getMessage());
}
@Override
public void onNext(String s) {
System.out.println(s);
}
});
为了便于表述,我将上面的代码做了如下拆解:
Observable<Integer> observableA = Observable.create(new Observable.OnSubscribe<Integer>() {
@Override
public void call(Subscriber<? super Integer> subscriber) {
subscriber.onNext(1);
subscriber.onCompleted();
}
});
Subscriber<String> subscriberOne = new Subscriber<String>() {
@Override
public void onCompleted() {
System.out.println("onCompleted!");
}
@Override
public void onError(Throwable e) {
System.out.println(e.getMessage());
}
@Override
public void onNext(String s) {
System.out.println(s);
}
};
Observable<String> observableB =
observableA.map(new Func1<Integer, String>() {
@Override
public String call(Integer integer) {
return "This is " + integer;;
}
});
observableB.subscribe(subscriberOne);
map()
的源码和上一小节介绍的create()
一样位于Observable
这个类中。
public final <R> Observable<R> map(Func1<? super T, ? extends R> func) {
return create(new OnSubscribeMap<T, R>(this, func));
}
通过查看源码我们发现调用map()
的时候实际上是创建了一个新的被观察者Observable
,我们姑且称它为ObservableB
;一开始通过Observable.create()
创建的Observable
我们称之为ObservableA
。在创建ObservableB
的时候同时创建了一个OnSubscribeMap
,而ObservableA
和变换函数Func1
则作为构造OnSubscribeMap
的参数。
public final class OnSubscribeMap<T, R> implements OnSubscribe<R> {
final Observable<T> source;//ObservableA
final Func1<? super T, ? extends R> transformer;//map操作符中的转换函数Func1。T为转换前的数据类型,在上面的例子中为Integer;R为转换后的数据类型,在该例中为String。
public OnSubscribeMap(Observable<T> source, Func1<? super T, ? extends R> transformer) {
this.source = source;
this.transformer = transformer;
}
@Override
public void call(final Subscriber<? super R> o) {//结合第一小节的分析结果,我们知道这里的入参o其实就是我们自己new的观察者subscriberOne。
MapSubscriber<T, R> parent = new MapSubscriber<T, R>(o, transformer);
o.add(parent);
source.unsafeSubscribe(parent);
}
static final class MapSubscriber<T, R> extends Subscriber<T> {
final Subscriber<? super R> actual;//这里的actual就是我们在调用subscribe()时创建的观察者mSubscriber
final Func1<? super T, ? extends R> mapper;//变换函数
boolean done;
public MapSubscriber(Subscriber<? super R> actual, Func1<? super T, ? extends R> mapper) {
this.actual = actual;
this.mapper = mapper;
}
@Override
public void onNext(T t) {
R result;
try {
result = mapper.call(t);
} catch (Throwable ex) {
Exceptions.throwIfFatal(ex);
unsubscribe();
onError(OnErrorThrowable.addValueAsLastCause(ex, t));
return;
}
actual.onNext(result);
}
@Override
public void onError(Throwable e) {
...
actual.onError(e);
}
@Override
public void onCompleted() {
...
actual.onCompleted();
}
@Override
public void setProducer(Producer p) {
actual.setProducer(p);
}
}
}
OnSubscribeMap
实现了OnSubscribe
接口,因此OnSubscribeMap
就是一个OnSubscribe
。在调用map()
的时候创建了一个新的被观察者ObservableB
,然后我们用ObservableB.subscribe(subscriberOne)
订阅了观察者subscriberOne
。结合我们在第一小节的分析结果,所以OnSubscribeMap.call(o)
中的o
就是subscribe(subscriberOne)
中的subscriberOne
;一旦调用了ObservableB.subscribe(subscriberOne)
就会执行OnSubscribeMap.call()
。
在call()
方法中,首先通过我们的观察者o
和转换函数transformer
构造了一个MapSubscriber
,最后调用了source
也就是observableA
的unsafeSubscribe()
方法。即observableA
订阅了一个观察者MapSubscriber
。
public final Subscription unsafeSubscribe(Subscriber<? super T> subscriber) {
try {
...
RxJavaHooks.onObservableStart(this, onSubscribe).call(subscriber);
return RxJavaHooks.onObservableReturn(subscriber);
} catch (Throwable e) {
...
return Subscriptions.unsubscribed();
}
}
上面这段代码最终执行了onSubscribe
也就是OnSubscribeMap
的call()
方法,call()
方法中的参数就是之前在OnSubscribeMap.call()
中new出来的MapSubscriber
。最后在call()
方法中执行了我们自己的业务代码:
subscriber.onNext(1);
subscriber.onCompleted();
其实也就是执行了MapSubscriber
的onNext()
和onCompleted()
。
@Override
public void onNext(T t) {
R result;
try {
result = mapper.call(t);
} catch (Throwable ex) {
...
return;
}
actual.onNext(result);
}
onNext(T t)
方法中的的mapper
就是变换函数,actual
就是我们在调用subscribe()
时创建的观察者subscriberOne
。这个T
就是我们例子中的Integer
,R
就是String
。在onNext()
中首先调用变换函数mapper.call()
将T
转换成R
(在我们的例子中就是将Integer
类型的1转换成了String
类型的“This is 1”);接着调用subscriberOne.onNext(String result)
。同样在调用MapSubscriber.onCompleted()
时会执行subscriberOne.onCompleted()
。这样就完成了一直完成的调用流程。
我承认太啰嗦了,花费了这么大的篇幅才将map()
的转换原理解释清楚。我也是希望尽量的将每个细节都呈现出来方便大家理解,如果看我啰嗦了这么久还是没能理解,请看下面我画的这张执行流程图。
三、线程调度原理分析
在前面的文章中我介绍过RxJava可以很方便的通过subscribeOn()
和observeOn()
来指定数据流的每一部分运行在哪个线程。其中subscribeOn()
指定了处理Observable
的全部的过程(包括发射数据和通知)的线程;observeOn()
指定了观察者的onNext()
, onError()
和onCompleted()
执行的线程。接下来我们就分析分析源码,看看线程调度是如何实现的。
在分析源码前我们先看看一段常见的通过RxJava实现的线程调度代码:
示例C
Observable.create(new Observable.OnSubscribe<String>() {
@Override
public void call(Subscriber<? super String> subscriber) {
subscriber.onNext("Hello RxJava!");
subscriber.onCompleted();
}
}).subscribeOn(Schedulers.io())
.observeOn(AndroidSchedulers.mainThread())
.subscribe(new Subscriber<String>() {
@Override
public void onCompleted() {
System.out.println("completed!");
}
@Override
public void onError(Throwable e) {
}
@Override
public void onNext(String s) {
System.out.println(s);
}
});
1、subscribeOn()源码分析
public final Observable<T> subscribeOn(Scheduler scheduler) {
...
return create(new OperatorSubscribeOn<T>(this, scheduler));
}
通过上面的代码我们可以看到,subscribeOn()
和map()
一样是创建了一个新的被观察者Observable
。因此我大致就能猜到subscribeOn()
的执行流程应该和map()
差不多,OperatorSubscribeOn
肯定也是一个OnSubscribe
。那我们接下来就看看OperatorSubscribeOn
的源码:
public final class OperatorSubscribeOn<T> implements OnSubscribe<T> {
final Scheduler scheduler;//线程调度器,用来指定订阅事件发送、处理等所在的线程
final Observable<T> source;
public OperatorSubscribeOn(Observable<T> source, Scheduler scheduler) {
this.scheduler = scheduler;
this.source = source;
}
@Override
public void call(final Subscriber<? super T> subscriber) {
final Worker inner = scheduler.createWorker();
subscriber.add(inner);
inner.schedule(new Action0() {
@Override
public void call() {
final Thread t = Thread.currentThread();
Subscriber<T> s = new Subscriber<T>(subscriber) {
@Override
public void onNext(T t) {
subscriber.onNext(t);
}
@Override
public void onError(Throwable e) {
try {
subscriber.onError(e);
} finally {
inner.unsubscribe();
}
}
@Override
public void onCompleted() {
try {
subscriber.onCompleted();
} finally {
inner.unsubscribe();
}
}
@Override
public void setProducer(final Producer p) {
subscriber.setProducer(new Producer() {
@Override
public void request(final long n) {
if (t == Thread.currentThread()) {
p.request(n);
} else {
inner.schedule(new Action0() {
@Override
public void call() {
p.request(n);
}
});
}
}
});
}
};
source.unsafeSubscribe(s);
}
});
}
}
OperatorSubscribeOn
实现了OnSubscribe
接口,call()
中对Subscriber
的处理也和OperatorMap
对Subscriber
的处理类似。首先通过scheduler
构建了一个Worker
;然后用传进来的subscriber
构造了一个新的Subscriber s
,并将s
丢到Worker.schedule()
中来处理;最后用原Observable
去订阅观察者s
。而这个Worker
就是线程调度的关键!前面的例子中我们通过subscribeOn(Schedulers.io())
指定了Observable
发射处理事件以及通知观察者的一系列操作的执行线程,正是通过这个Schedulers.io()
创建了我们前面提到的Worker
。所以我们来看看Schedulers.io()
的实现。
首先通过Schedulers.io()
获得了ioScheduler
并返回,上面的OperatorSubscribeOn
通过这个的Scheduler
的createWorker()
方法创建了我们前面提到的Worker
。
public static Scheduler io() {
return RxJavaHooks.onIOScheduler(getInstance().ioScheduler);
}
接着我们看看这个ioScheduler
是怎么来的,下面的代码向我们展现了是如何在Schedulers
的构造函数中通过RxJavaSchedulersHook.createIoScheduler()
来初始化ioScheduler
的。
private Schedulers() {
...
Scheduler io = hook.getIOScheduler();
if (io != null) {
ioScheduler = io;
} else {
ioScheduler = RxJavaSchedulersHook.createIoScheduler();
}
...
}
最终RxJavaSchedulersHook.createIoScheduler()
返回了一个CachedThreadScheduler
,并赋值给了ioScheduler
。
public static Scheduler createIoScheduler() {
return createIoScheduler(new RxThreadFactory("RxIoScheduler-"));
}
public static Scheduler createIoScheduler(ThreadFactory threadFactory) {
...
return new CachedThreadScheduler(threadFactory);
}
到这一步既然我们知道了ioScheduler
就是一个CachedThreadScheduler
,那我们就来看看它的createWorker()
的实现。
public Worker createWorker() {
return new EventLoopWorker(pool.get());
}
上面的代码向我们赤裸裸的呈现了前面OperatorSubscribeOn
中的Worker
其实就是EventLoopWorker
。我们重点要关注的是他的scheduleActual()
。
static final class EventLoopWorker extends Scheduler.Worker implements Action0 {
private final CompositeSubscription innerSubscription = new CompositeSubscription();
private final CachedWorkerPool pool;
private final ThreadWorker threadWorker;
final AtomicBoolean once;
EventLoopWorker(CachedWorkerPool pool) {
this.pool = pool;
this.once = new AtomicBoolean();
this.threadWorker = pool.get();
}
...
@Override
public Subscription schedule(final Action0 action, long delayTime, TimeUnit unit) {
...
ScheduledAction s = threadWorker.scheduleActual(new Action0() {
@Override
public void call() {
if (isUnsubscribed()) {
return;
}
action.call();
}
}, delayTime, unit);
innerSubscription.add(s);
s.addParent(innerSubscription);
return s;
}
}
通过对源码的一步步追踪,我们知道了前面OperatorSubscribeOn.call()
中的inner.schedule()
最终会执行到ThreadWorker
的scheduleActual()
方法。
public ScheduledAction scheduleActual(final Action0 action, long delayTime, TimeUnit unit) {
Action0 decoratedAction = RxJavaHooks.onScheduledAction(action);
ScheduledAction run = new ScheduledAction(decoratedAction);
Future<?> f;
if (delayTime <= 0) {
f = executor.submit(run);
} else {
f = executor.schedule(run, delayTime, unit);
}
run.add(f);
return run;
}
scheduleActual()
中的ScheduledAction
实现了Runnable
接口,通过线程池executor
最终实现了线程切换。上面便是subscribeOn(Schedulers.io())
实现线程切换的全部过程。
2、observeOn()源码分析
observeOn()
切换线程是通过lift
来实现的,相比subscribeOn()
在实现原理上相对复杂些。不过本质上最终还是创建了一个新的Observable
。
public final Observable<T> observeOn(Scheduler scheduler, boolean delayError, int bufferSize) {
...
return lift(new OperatorObserveOn<T>(scheduler, delayError, bufferSize));
}
public final <R> Observable<R> lift(final Operator<? extends R, ? super T> operator) {
return create(new OnSubscribeLift<T, R>(onSubscribe, operator));
}
OperatorObserveOn
作为OnSubscribeLift
构造函数的参数用来创建了一个新的OnSubscribeLift
对象,接下来我们看看OnSubscribeLift
的实现:
public final class OnSubscribeLift<T, R> implements OnSubscribe<R> {
final OnSubscribe<T> parent;
final Operator<? extends R, ? super T> operator;
public OnSubscribeLift(OnSubscribe<T> parent, Operator<? extends R, ? super T> operator) {
this.parent = parent;
this.operator = operator;
}
@Override
public void call(Subscriber<? super R> o) {
try {
Subscriber<? super T> st = RxJavaHooks.onObservableLift(operator).call(o);
try {
st.onStart();
parent.call(st);
} catch (Throwable e) {
Exceptions.throwIfFatal(e);
st.onError(e);
}
} catch (Throwable e) {
Exceptions.throwIfFatal(e);
o.onError(e);
}
}
}
OnSubscribeLift
继承自OnSubscribe
,通过前面的分析我们知道一旦调用了subscribe()
将观察者与被观察绑定后就会触发被观察者所对应的OnSubscribe
的call()
方法,所以这里会触发OnSubscribeLift.call()
。在call()
中调用了OperatorObserveOn.call()
并返回了一个新的观察者Subscriber st
,接着调用了前一级Observable
对应OnSubscriber.call(st)
。
我们再看看OperatorObserveOn.call()
的实现:
public Subscriber<? super T> call(Subscriber<? super T> child) {
...
ObserveOnSubscriber<T> parent = new ObserveOnSubscriber<T>(scheduler, child, delayError, bufferSize);
parent.init();
return parent;
}
OperatorObserveOn.call()
中创建了一个ObserveOnSubscriber
并调用init()
进行了初始化。
static final class ObserveOnSubscriber<T> extends Subscriber<T> implements Action0 {
...
@Override
public void onNext(final T t) {
...
schedule();
}
@Override
public void onCompleted() {
...
schedule();
}
@Override
public void onError(final Throwable e) {
...
schedule();
}
protected void schedule() {
if (counter.getAndIncrement() == 0) {
recursiveScheduler.schedule(this);
}
}
@Override
public void call() {
long missed = 1L;
long currentEmission = emitted;
final Queue<Object> q = this.queue;
final Subscriber<? super T> localChild = this.child;
final NotificationLite<T> localOn = this.on;
for (;;) {
long requestAmount = requested.get();
while (requestAmount != currentEmission) {
boolean done = finished;
Object v = q.poll();
boolean empty = v == null;
if (checkTerminated(done, empty, localChild, q)) {
return;
}
if (empty) {
break;
}
localChild.onNext(localOn.getValue(v));
currentEmission++;
if (currentEmission == limit) {
requestAmount = BackpressureUtils.produced(requested, currentEmission);
request(currentEmission);
currentEmission = 0L;
}
}
if (requestAmount == currentEmission) {
if (checkTerminated(finished, q.isEmpty(), localChild, q)) {
return;
}
}
emitted = currentEmission;
missed = counter.addAndGet(-missed);
if (missed == 0L) {
break;
}
}
}
...
}
ObserveOnSubscriber
继承自Subscriber
,并实现了Action0
接口。我们看到ObserveOnSubscriber
的onNext()
、onCompleted()
、onError()
都有个schedule()
,这个方法就是我们线程调度的关键;通过schedule()
将新观察者ObserveOnSubscriber
发送给subscriberOne
的所有事件都切换到了recursiveScheduler
所对应的线程,简单的说就是把subscriberOne
的onNext()
、onCompleted()
、onError()
方法丢到了recursiveScheduler
对应的线程中来执行。
那么schedule()
又是如何做到这一点的呢?他内部调用了recursiveScheduler.schedule(this)
,recursiveScheduler
其实就是一个Worker
,和我们在介绍subscribeOn()
时提到的worker
一样,执行schedule()
实际上最终是创建了一个runable
,然后把这个runnable
丢到了特定的线程池中去执行。在runnable
的run()
方法中调用了ObserveOnSubscriber.call()
,看上面的代码大家就会发现在call()
方法中最终调用了subscriberOne
的onNext()
、onCompleted()
、onError()
方法。这便是它实现线程切换的原理。
好了,我们最后再看看示例C对应的执行流程图,帮助大家加深理解。
总结
这一章以执行流程、操作符实现以及线程调度三个方面为切入点剖析了RxJava源码。下一章将站在更宏观的角度来分析整个RxJava的框架结构、设计思想等等。敬请期待~~ :)
如果大家喜欢这一系列的文章,欢迎关注我的知乎专栏和GitHub。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。