Reactive 简介

1. 概念

reactive 非常适合低延迟、高吞吐量的工作负载。

reactive processing 是一种范式（规范），它使开发人员能够构建非阻塞的、异步的应用程序，这些应用程序能够处理背压（流控制）

reactive streams 为无阻塞背压的异步流处理提供标准。

reactor 是基于reactive streams规范的第四代响应库，用于在jvm上构建非阻塞的应用程序。

project reactor 是一个完全无阻塞的基础，其中包括背压支持。它是spring生态系统中的响应式堆栈的基础，并且在诸如spring webflux，spring data和spring cloud gateway等项目中都有它的身影。利用project reactor可以高效的响应式系统。刚才说reactive streams是规范，那么project reactor就是实现。

2. 响应式编程

响应式编程是一种异步编程风格，它关注数据流和变化的传播。

响应式编程是一种与数据流和变化传播相关的声明式编程范式。使用此范例，可以轻松地表示静态(例如，数组)或动态(例如，事件发射器)数据流，并且还可以表示关联执行模型中的推断出的依赖关系，这有助于更改数据流的自动传播。 

reactive programming   （响应式编程）

imperative programming（命令式编程）

在命令式编程中，a:=b+c意味着将b+c的结果赋值给a，并且此后b或c的值发生变化不会影响到a的值。而在响应式编程中，a的值会随着b或c的改变而自动更新，并且不需要重新执行a:=b+c来确定当前分配给a的值。（ps：是不是很像angularjs、vuejs这种mvvm框架，视图绑定模型，模型变了，视图自动就跟着变了）

例如，在 model–view–controller (mvc) 架构中，响应式编程可以促进基础模型中的更改，这些更改会自动反映在关联的视图中。

响应式编程与面向对象编程中通常使用的观察者模式具有很多相似之处。

如果从推拉的角度来看的话，响应式编程是“推”，它主动将变化推送给它的订阅者。publisher-subscriber是两个非常重要的概念。

想象一下，数据流从源出发，经过一个一个节点的处理，最终达到目的地。节点就相当于操作符，处理完了以后就将流发射出去，到下一个节点再执行再发射。

我总觉得这个流程很眼熟，很像 apache storm 的处理方式。在一个拓扑结构中，数据流从spout发出，经过若干bolt的处理，最终汇集到某个地方。

还有一种理解，我觉得也很不错，说响应式编程是一种通过异步和数据流来构建事务关系的编程模型。事物可以理解程一次处理过程，一次执行过程。响应式编程就是要构建关系，事务和事务之间的关系。而数据流就像是一个桥梁一样，数据流从一个事务流向下一个事务。

想象一下，长江流经宜宾、泸州、重庆、涪陵、万州、宜昌、荆州、武汉、黄石、鄂州、九江、安庆、铜陵、芜湖、南京、上海，最终汇入东海。

就像completefuture把future进行编排一样。

本质来讲，响应式编程上是对数据流或某种变化所作出的反应，但是这个变化什么时候发生是未知的，所以他是一种基于异步、回调的方式在处理问题

3. nio

nio（non-blocking i/o）

bio（blocking i/o）

在经典的线程模型中，socket.accept()、socket.read()、socket.write()三个主要函数都是同步阻塞的，当一个连接在处理i/o的时候，系统是阻塞的，如果使用单线程的话就阻塞在那里了，但cpu是并没有阻塞，如果用多线程的话，就可以让cpu去处理更多的事情。其实这也是所有使用多线程的本质： 当i/o阻塞系统，但cpu空闲的时候，可以利用多线程使用cpu资源。然而，线程的创建、销毁、切换成本都是很高的。

事实上，所有的系统i/o都分为两个阶段：等待就绪和操作。举例来说，读函数，分为等待系统可读和真正的读；同理，写函数分为等待网卡可以写和真正的写。

需要说明的是等待就绪的阻塞是不使用cpu的，是在“空等”；而真正的读写操作的阻塞是使用cpu的，真正在”干活”。

以socket.read()为例子：

传统的bio里面socket.read()，如果tcp recvbuffer里没有数据，函数会一直阻塞，直到收到数据，返回读到的数据。

对于nio，如果tcp recvbuffer有数据，就把数据从网卡读到内存，并且返回给用户；反之则直接返回0，永远不会阻塞。 

在bio模型中，没有办法知道到底能不能写、能不能读，只能”傻等”。而在nio模型中，如果一个连接不能读写（socket.read()返回0或者socket.write()返回0），我们可以把这件事记下来，记录的方式通常是在selector上注册标记位，然后切换到其它就绪的连接（channel）继续进行读写。

nio的主要事件有几个：读就绪、写就绪、有新连接到来。那么，首先需要注册当这几个事件到来的时候所对应的处理器，然后在合适的时机告诉事件选择器：我对这个事件感兴趣，最后用一个死循环选择就绪的事件。select是阻塞的，所以你可以放心大胆地在一个while(true)里面调用这个函数而不用担心cpu空转。

总结起来就是：注册所有感兴趣的事件处理器，单线程轮询选择就绪事件，执行事件处理器。

我们大概可以总结出nio是怎么解决掉线程的瓶颈并处理海量连接的：

nio由原来的阻塞读写（占用线程）变成了单线程轮询事件，找到可以进行读写的网络描述符进行读写。除了事件的轮询是阻塞的（没有可干的事情必须要阻塞），剩余的i/o操作都是纯cpu操作，没有必要开启多线程。

nio由原来的阻塞读写（占用线程）变成了单线程轮询事件，找到可以进行读写的网络描述符进行读写。除了事件的轮询是阻塞的（没有可干的事情必须要阻塞），剩余的i/o操作都是纯cpu操作，没有必要开启多线程。并且由于线程的节约，连接数大的时候因为线程切换带来的问题也随之解决，进而为处理海量连接提供了可能。单线程处理i/o的效率确实非常高，没有线程切换，只是拼命的读、写、选择事件。但现在的服务器，一般都是多核处理器，如果能够利用多核心进行i/o，无疑对效率会有更大的提高。

 

buffer（缓冲区）

在nio中，所有数据都是用缓冲区处理的。在读取数据时，它是直接读到缓冲区中的；在写入数据时，它也是写入到缓冲区中的。 

channel（通道）

通道是一个对象，通过它可以读取和写入数据，当然了所有数据都通过buffer对象来处理。我们永远不会将字节直接写入通道中，相反是将数据写入包含一个或者多个字节的缓冲区。同样不会直接从通道中读取字节，而是将数据从通道读入缓冲区，再从缓冲区获取这个字节。

selector（选择器）

selector类是nio的核心类，selector（选择器）选择器提供了选择已经就绪的任务的能力。selector会不断的轮询注册在上面的所有channel，如果某个channel为读写等事件做好准备，那么就处于就绪状态，通过selector可以不断轮询发现出就绪的channel，进行后续的io操作。一个selector能够同时轮询多个channel。这样，一个单独的线程就可以管理多个channel，从而管理多个网络连接。这样就不用为每一个连接都创建一个线程，同时也避免了多线程之间上下文切换导致的开销。

 

参考：