Netty 概述
原生 NIO 存在的问题
NIO的类库和API繁杂,使用麻烦:需要熟练掌握Selector、ServerSocketChannel、SocketChannel、ByteBuffer等。- 需要具备其他的额外技能:要熟悉
Java多线程编程,因为NIO编程涉及到Reactor模式,你必须对多线程和网络编程非常熟悉,才能编写出高质量的NIO程序。 - 开发工作量和难度都非常大:例如客户端面临断连重连、网络闪断、半包读写、失败缓存、网络拥塞和异常流的处理等等。
JDK NIO的Bug:例如臭名昭著的Epoll Bug,它会导致Selector空轮询,最终导致CPU100%。直到JDK1.7版本该问题仍旧存在,没有被根本解决。
Netty 官网说明
官网:netty.io/
Netty is an asynchronous event-driven network application framework for rapid development of maintainable high performance protocol servers & clients.
Netty是一个异步事件驱动的网络应用程序框架,用于快速开发可维护的高性能协议服务器和客户端。
Netty 版本说明
Netty版本分为Netty 3.x和Netty 4.x、Netty 5.x- 因为
Netty 5出现重大bug,已经被官网废弃了,目前推荐使用的是Netty 4.x的稳定版本 - 目前在官网可下载的版本
Netty 3.x、Netty 4.0.x和Netty 4.1.x
Netty 高性能架构设计
线程模型基本介绍
- 不同的线程模式,对程序的性能有很大影响,为了搞清
Netty线程模式,我们来系统的讲解下各个线程模式,最后看看Netty线程模型有什么优越性。 - 目前存在的线程模型有:传统阻塞
I/O服务模型 和Reactor模式 - 根据
Reactor的数量和处理资源池线程的数量不同,有3种典型的实现- 单
Reactor单线程; - 单
Reactor多线程; - 主从
Reactor多线程
- 单
Netty线程模式(Netty主要基于主从Reactor多线程模型做了一定的改进,其中主从Reactor多线程模型有多个Reactor)
传统阻塞 I/O 服务模型
工作原理图
- 黄色的框表示对象,蓝色的框表示线程
- 白色的框表示方法(
API)
模型特点
- 采用阻塞
IO模式获取输入的数据 - 每个连接都需要独立的线程完成数据的输入,业务处理,数据返回
问题分析
- 当并发数很大,就会创建大量的线程,占用很大系统资源
- 连接创建后,如果当前线程暂时没有数据可读,该线程会阻塞在 Handler对象中的
read操作,导致上面的处理线程资源浪费
解决方案
- 基于 I/O 复用模型:多个连接共用一个阻塞对象,应用程序只需要在一个阻塞对象等待,无需阻塞等待所有连接。当某个连接有新的数据可以处理时,操作系统通知应用程序,线程从阻塞状态返回,开始进行业务处理
- 基于线程池复用线程资源:不必再为每个连接创建线程,将连接完成后的业务处理任务分配给线程进行处理,一个线程可以处理多个连接的业务
Reactor 模式
I/O 复用结合线程池,就是 Reactor 模式基本设计思想
对上图说明:
Reactor模式,通过一个或多个输入同时传递给服务处理器(ServiceHandler)的模式(基于事件驱动)- 服务器端程序处理传入的多个请求,并将它们同步分派到相应的处理线程,因此
Reactor模式也叫Dispatcher模式 Reactor模式使用IO复用监听事件,收到事件后,分发给某个线程(进程),这点就是网络服务器高并发处理关键
原先有多个Handler阻塞,现在只用一个ServiceHandler阻塞
Reactor 模式中核心组成
Reactor(也就是那个ServiceHandler):Reactor在一个单独的线程中运行,负责监听和分发事件,分发给适当的处理线程来对IO事件做出反应。它就像公司的电话接线员,它接听来自客户的电话并将线路转移到适当的联系人;Handlers(处理线程EventHandler):处理线程执行I/O事件要完成的实际事件,类似于客户想要与之交谈的公司中的实际官员。Reactor通过调度适当的处理线程来响应I/O事件,处理程序执行非阻塞操作。
单 Reactor 单线程
Select是前面I/O复用模型介绍的标准网络编程API,可以实现应用程序通过一个阻塞对象监听多路连接请求Reactor对象通过Select监控客户端请求事件,收到事件后通过Dispatch进行分发- 如果是建立连接请求事件,则由
Acceptor通过Accept处理连接请求,然后创建一个Handler对象处理连接完成后的后续业务处理 - 如果不是建立连接事件,则
Reactor会分发调用连接对应的Handler来响应 Handler会完成Read→ 业务处理 →Send的完整业务流程
结合实例:服务器端用一个线程通过多路复用搞定所有的 IO 操作(包括连接,读、写等),编码简单,清晰明了,但是如果客户端连接数量较多,将无法支撑,前面的 NIO 案例就属于这种模型。
方案优缺点分析
- 优点:模型简单,没有多线程、进程通信、竞争的问题,全部都在一个线程中完成
- 缺点:性能问题,只有一个线程,无法完全发挥多核
CPU的性能。Handler在处理某个连接上的业务时,整个进程无法处理其他连接事件,很容易导致性能瓶颈 - 缺点:可靠性问题,线程意外终止,或者进入死循环,会导致整个系统通信模块不可用,不能接收和处理外部消息,造成节点故障
- 使用场景:客户端的数量有限,业务处理非常快速,比如
Redis在业务处理的时间复杂度O(1)的情况
单 Reactor 多线程
Reactor对象通过Select监控客户端请求事件,收到事件后,通过Dispatch进行分发- 如果是建立连接请求,则由
Acceptor通过accept处理连接请求,然后创建一个Handler对象处理完成连接后的各种事件 - 如果不是连接请求,则由
Reactor分发调用连接对应的handler来处理(也就是说连接已经建立,后续客户端再来请求,那基本就是数据请求了,直接调用之前为这个连接创建好的handler来处理) handler只负责响应事件,不做具体的业务处理(这样不会使handler阻塞太久),通过read读取数据后,会分发给后面的worker线程池的某个线程处理业务。【业务处理是最费时的,所以将业务处理交给线程池去执行】worker线程池会分配独立线程完成真正的业务,并将结果返回给handlerhandler收到响应后,通过send将结果返回给client
方案优缺点分析
- 优点:可以充分的利用多核
cpu的处理能力 - 缺点:多线程数据共享和访问比较复杂。
Reactor承担所有的事件的监听和响应,它是单线程运行,在高并发场景容易出现性能瓶颈。也就是说Reactor主线程承担了过多的事
主从 Reactor 多线程
工作原理图
针对单 Reactor 多线程模型中,Reactor 在单线程中运行,高并发场景下容易成为性能瓶颈,可以让 Reactor 在多线程中运行
SubReactor是可以有多个的,如果只有一个SubReactor的话那和单 Reactor 多线程就没什么区别了。
Reactor主线程MainReactor对象通过select监听连接事件,收到事件后,通过Acceptor处理连接事件- 当
Acceptor处理连接事件后,MainReactor将连接分配给SubReactor subreactor将连接加入到连接队列进行监听,并创建handler进行各种事件处理- 当有新事件发生时,
subreactor就会调用对应的handler处理 handler通过read读取数据,分发给后面的worker线程处理worker线程池分配独立的worker线程进行业务处理,并返回结果handler收到响应的结果后,再通过send将结果返回给clientReactor主线程可以对应多个Reactor子线程,即MainRecator可以关联多个SubReactor
方案优缺点说明
- 优点:父线程与子线程的数据交互简单职责明确,父线程只需要接收新连接,子线程完成后续的业务处理。
- 优点:父线程与子线程的数据交互简单,
Reactor主线程只需要把新连接传给子线程,子线程无需返回数据。 - 缺点:编程复杂度较高
结合实例:这种模型在许多项目中广泛使用,包括 Nginx 主从 Reactor 多进程模型,Memcached 主从多线程,Netty 主从多线程模型的支持
Reactor 模式小结
3 种模式用生活案例来理解
- 单
Reactor单线程,前台接待员和服务员是同一个人,全程为顾客服 - 单
Reactor多线程,1个前台接待员,多个服务员,接待员只负责接待 - 主从
Reactor多线程,多个前台接待员,多个服务生
Reactor 模式具有如下的优点
- 响应快,不必为单个同步时间所阻塞,虽然
Reactor本身依然是同步的(比如你第一个SubReactor阻塞了,我可以调下一个 SubReactor为客户端服务) - 可以最大程度的避免复杂的多线程及同步问题,并且避免了多线程/进程的切换开销
- 扩展性好,可以方便的通过增加
Reactor实例个数来充分利用CPU资源 - 复用性好,
Reactor模型本身与具体事件处理逻辑无关,具有很高的复用性
Netty 模型
工作原理示意图1 - 简单版
Netty 主要基于主从 Reactors 多线程模型(如图)做了一定的改进,其中主从 Reactor 多线程模型有多个 Reactor
对上图说明
BossGroup线程维护Selector,只关注Accecpt- 当接收到
Accept事件,获取到对应的SocketChannel,封装成NIOScoketChannel并注册到Worker线程(事件循环),并进行维护 - 当
Worker线程监听到Selector中通道发生自己感兴趣的事件后,就进行处理(就由handler),注意handler已经加入到通道
工作原理示意图2 - 进阶版
BossGroup有点像主Reactor 可以有多个,WorkerGroup则像SubReactor一样可以有多个。
工作原理示意图3 - 详细版
Netty抽象出两组线程池 ,BossGroup专门负责接收客户端的连接,WorkerGroup专门负责网络的读写BossGroup和WorkerGroup类型都是NioEventLoopGroupNioEventLoopGroup相当于一个事件循环组,这个组中含有多个事件循环,每一个事件循环是NioEventLoopNioEventLoop表示一个不断循环的执行处理任务的线程,每个NioEventLoop都有一个Selector,用于监听绑定在其上的socket的网络通讯NioEventLoopGroup可以有多个线程,即可以含有多个NioEventLoop- 每个
BossGroup下面的NioEventLoop循环执行的步骤有3步- 轮询
accept事件 - 处理
accept事件,与client建立连接,生成NioScocketChannel,并将其注册到某个workerGroupNIOEventLoop上的Selector - 继续处理任务队列的任务,即
runAllTasks
- 轮询
- 每个
WorkerGroupNIOEventLoop循环执行的步骤- 轮询
read,write事件 - 处理
I/O事件,即read,write事件,在对应NioScocketChannel处理 - 处理任务队列的任务,即
runAllTasks
- 轮询
- 每个
WorkerNIOEventLoop处理业务时,会使用pipeline(管道),pipeline中包含了channel(通道),即通过pipeline可以获取到对应通道,管道中维护了很多的处理器。(这个点目前只是简单的讲,后面重点说)