容易被忽略的知识点：RxJava操作符的线程安全(1)

val numberOfThreads = 10

repeat(1000) {

println(“Iteration = $it”)

val publishSubject = PublishSubject.create()

val actuallyReceived = AtomicInteger()

publishSubject.take(3).subscribe {

actuallyReceived.incrementAndGet()

}

val latch = CountDownLatch(numberOfThreads)

var threads = listOf()

(0…numberOfThreads).forEach {

threads += thread(start = false) {

publishSubject.onNext(it)

latch.countDown()

}

}

threads.forEach { it.start() }

latch.await()

check(actuallyReceived.get() == 3)

}

}

执行上面代码，由于take的结果不符合预期，总是会异常退出

看一下take的源码：

public final class ObservableTake extends AbstractObservableWithUpstream<T, T> {

final long limit;

public ObservableTake(ObservableSource source, long limit) {

super(source);

this.limit = limit;

}

protected void subscribeActual(Observer<? super T> observer) {

this.source.subscribe(new ObservableTake.TakeObserver(observer, this.limit));

}

static final class TakeObserver implements Observer, Disposable {

final Observer<? super T> downstream;

boolean done;

Disposable upstream;

long remaining;

TakeObserver(Observer<? super T> actual, long limit) {

this.downstream = actual;

this.remaining = limit;

}

public void onNext(T t) {

if (!this.done && this.remaining-- > 0L) {

boolean stop = this.remaining == 0L;

this.downstream.onNext(t);

if (stop) {

this.onComplete();

}

}

}

}

}

果然不出所料，remaining--没有任何锁操作，无法保证线程安全。

The Observable Contract

---

Rx在对Observable的定义中已经明确告诉我们了：

Observables must issue notifications to observers serially (not in parallel). They may issue these notifications from different threads, but there must be a formal happens-before relationship between the notifications.

reactivex.io/documentati…

happens-before relationship 需要我们保证进入stream数据的先后顺序，避免并发行为。根据官方的解释，这样做可以避免一些有锁操作带来的性能下降，因此仅在必要的时候才确保线程安全。

操作符的线程安全

那么哪些操作符是线程安全的呢？

RxJava的操作符种类繁多，一个一个记忆很难，基本上可以按照这个原则区分：

• 操作单个Observable的操作符都不是线程不安全的，例如常用的 take(n)、map()、distinctUntilChanged() 等，但是带有scheduler参数的除外，例如 window(…, scheduler)、debounce(…, scheduler) 等

• 操作多个Observable的操作符是线程安全的，例如 merge()、combineLatest()、zip()

用代码描述大概是这种感觉：

fun operatorThreadSafety() = if (operator.worksWithOneObservable() &&

operator.supportsScheduling == false) {

Operator.NOT_THREAD_SAFE_AND_THAT_IS_OK

} else {

Operator.MOST_LIKELY_THREAD_SAFE

}

Subject的线程安全

---

相对于操作符的线程安全，个人认为Subject的使用更需要大家注意。常用的Subject都不是线程安全的（SerializedSubject除外），而最容易出现并发操作的场景恰恰是Subject，例如我们经常会使用Subject作为中继器，异步onNext向Subject发射数据。前面take的例子便是这种场景。

更要命的是我们常配合observeOn来进行线程切换，而observeOn本身也并非线程安全的，翻看其源码会发现，observeOn在切线程时使用了一个线程不安全的队列

queue = new SpscArrayQueue(RxRingBuffer.SIZE);

因此，下面的代码在并发环境中必然会发生问题：

@JvmStatic

fun main(args: Array) {

val numberOfThreads = 10000

val publishSubject = PublishSubject.create()

val actuallyReceived = AtomicInteger()

publishSubject

.observeOn(AndroidSchedulers.mainThread())

尾声

你不踏出去一步，永远不知道自己潜力有多大，千万别被这个社会套在我们身上的枷锁给捆住了，30岁我不怕，35岁我一样不怕，去做自己想做的事，为自己拼一把吧！不试试怎么知道你不行呢？

改变人生，没有什么捷径可言，这条路需要自己亲自去走一走，只有深入思考，不断反思总结，保持学习的热情，一步一步构建自己完整的知识体系，才是最终的制胜之道，也是程序员应该承担的使命。

附上：我们之前因为秋招收集的二十套一二线互联网公司Android面试真题（含BAT、小米、华为、美团、滴滴）和我自己整理Android复习笔记（包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。）

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门，即可获取！
们之前因为秋招收集的二十套一二线互联网公司Android面试真题（含BAT、小米、华为、美团、滴滴）和我自己整理Android复习笔记（包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。）**

[外链图片转存中…(img-LxB8VIH2-1715257324535)]

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门，即可获取！