@@ -12,6 +12,8 @@ Netty那点事(四)Channel与Reactor模式
12
12
13
13
## 二:Reactor,反应堆还是核电站?
14
14
15
+ ### 1、Reactor的由来
16
+
15
17
Reactor是一种广泛应用在服务器端开发的设计模式。Reactor中文大多译为“反应堆”,我当初接触这个概念的时候,就感觉很厉害,是不是它的原理就跟“核反应”差不多?后来才知道其实没有什么关系,从Reactor的兄弟“Proactor”(多译为前摄器)就能看得出来,这两个词的中文翻译其实都不是太好,不够形象。实际上,Reactor模式又有别名“Dispatcher”或者“Notifier”,我觉得这两个都更加能表明它的本质。
16
18
17
19
那么,Reactor模式究竟是个什么东西呢?这要从事件驱动的开发方式说起。我们知道,对于应用服务器,一个主要规律就是,CPU的处理速度是要远远快于IO速度的,如果CPU为了IO操作(例如从Socket读取一段数据)而阻塞显然是不划算的。好一点的方法是分为多进程或者线程去进行处理,但是这样会带来一些进程切换的开销,试想一个进程一个数据读了500ms,期间进程切换到它3次,但是CPU却什么都不能干,就这么切换走了,是不是也不划算?
@@ -20,7 +22,9 @@ Reactor是一种广泛应用在服务器端开发的设计模式。Reactor中文
20
22
21
23
好了,我们现在来看Reactor模式。在前面事件驱动的例子里有个问题:我们如何知道IO就绪这个事件,谁来充当这个中间人?Reactor模式的答案是:由一个不断等待和循环的单独进程(线程)来做这件事,它接受所有handler的注册,并负责先操作系统查询IO是否就绪,在就绪后就调用指定handler进行处理,这个角色的名字就叫做Reactor。
22
24
23
- Java中的NIO可以很好的和Reactor模式结合。关于NIO中的Reactor模式,我想没有什么资料能比Doug Lea大神(不知道Doug Lea?看看JDK集合包和并发包的作者吧)在[ 《Scalable IO in Java》] ( http://gee.cs.oswego.edu/dl/cpjslides/nio.pdf ) 解释的更简洁和全面了。NIO中Reactor的核心是` Selector ` ,这里我贴一个最简单的Reactor的循环(这种循环结构又叫做` EventLoop ` )。
25
+ ### 2、Reactor与NIO
26
+
27
+ Java中的NIO可以很好的和Reactor模式结合。关于NIO中的Reactor模式,我想没有什么资料能比Doug Lea大神(不知道Doug Lea?看看JDK集合包和并发包的作者吧)在[ 《Scalable IO in Java》] ( http://gee.cs.oswego.edu/dl/cpjslides/nio.pdf ) 解释的更简洁和全面了。NIO中Reactor的核心是` Selector ` ,我写了一个简单的Reactor示例,这里我贴一个核心的Reactor的循环(这种循环结构又叫做` EventLoop ` ),剩余代码在[ learning-src] ( learning-src/src/main/java/us/codecraft/netty/reactor ) 目录下。
24
28
25
29
``` java
26
30
public void run() {
@@ -38,22 +42,139 @@ Java中的NIO可以很好的和Reactor模式结合。关于NIO中的Reactor模
38
42
}
39
43
```
40
44
45
+ ### 3、与Reactor相关的其他概念
46
+
41
47
前面提到了Proactor模式,这又是什么呢?简单来说,Reactor模式里,操作系统只负责通知IO就绪,具体的IO操作(例如读写)仍然是要在业务进程里阻塞的去做的,而Proactor模式则更进一步,由操作系统将IO操作执行好(例如读取,会将数据直接读到内存buffer中),而handler只负责处理自己的逻辑,真正做到了IO与程序处理异步执行。所以我们一般又说Reactor是同步IO,Proactor是异步IO。
42
48
43
49
关于阻塞和非阻塞、异步和非异步,以及UNIX底层的机制,大家可以看看这篇文章[ IO - 同步,异步,阻塞,非阻塞 (亡羊补牢篇)] ( http://blog.csdn.net/historyasamirror/article/details/5778378 ) ,以及陶辉(《深入理解nginx》的作者)[ 《高性能网络编程》] ( (http://blog.csdn.net/russell_tao/article/details/17452997) ) 的系列。
44
50
45
51
## 三:由Reactor出发来理解Netty
46
52
47
- Reactor可以认为是设计模式的一种。我认为设计模式有两个好处,写的时候,可以指导程序设计,别人读的时候,也按照既定的模式来分析代码。
53
+ ### 1、多线程下的Reactor
54
+
55
+ 讲了一堆Reactor,我们回到Netty。在《Scalable IO in Java》中讲到了一种多线程下的Reactor模式。在这个模式里,mainReactor只有一个,负责响应client的连接请求,并建立连接,它使用一个NIO Selector;subReactor可以有一个或者多个,每个subReactor都会在一个独立线程中执行,并且维护一个独立的NIO Selector。
48
56
49
- Netty中的Reactor模式其实是一种多线程的Reactor模型。Doug Lea大神(不知道Doug Lea?回头看看JDK集合包和并发包的作者吧)在《Scalable IO in Java》中提到了这种模式,借用一下图:
57
+ 这样的好处很明显,因为subReactor也会执行一些比较耗时的IO操作,例如消息的读写,使用多个线程去执行,则更加有利于发挥CPU的运算能力,减少IO等待时间。
50
58
51
59
![ Multiple Reactors] [ 2 ]
52
60
53
- [ 1 ] : http://static.oschina.net/uploads/space/2014/0208/164000_EQQb_190591.jpg
54
- [ 2 ] : http://static.oschina.net/uploads/space/2013/1125/130828_uKWD_190591.jpeg
55
-
56
- ## 合:由Reactor出发来理解Netty
61
+ ### 2、Netty中的Reactor与NIO
62
+
63
+ 好了,了解了多线程下的Reactor模式,我们来看看Netty吧(以下部分主要针对NIO,OIO部分更加简单一点,不重复介绍了)。Netty里对应mainReactor的角色叫做“Boss”,而对应subReactor的角色叫做"Worker"。Boss负责分配请求,Worker负责执行,好像也很贴切!以TCP的Server端为例,这两个对应的实现类分别为` NioServerBoss ` 和` NioWorker ` (Server和Client的Worker没有区别,因为建立连接之后,双方就是对等的进行传输了)。
64
+
65
+ Netty 3.7中Reactor的EventLoop在` AbstractNioSelector.run() ` 中,它实现了` Runnable ` 接口。这个类是Netty NIO部分的核心。它的逻辑非常复杂,其中还包括一些对JDK Bug的处理(例如` rebuildSelector ` ),刚开始读的时候不需要深入那么细节。我精简了大部分代码,保留主干如下:
66
+
67
+ ``` java
68
+ abstract class AbstractNioSelector implements NioSelector {
69
+
70
+
71
+ // NIO Selector
72
+ protected volatile Selector selector;
73
+
74
+ // 内部任务队列
75
+ private final Queue<Runnable > taskQueue = new ConcurrentLinkedQueue<Runnable > ();
76
+
77
+ // selector循环
78
+ public void run () {
79
+ for (;;) {
80
+ try {
81
+ long beforeSelect = System . nanoTime();
82
+ int selected = select(selector);
83
+ // 处理内部任务队列
84
+ processTaskQueue();
85
+ // 处理selector事件对应逻辑
86
+ process(selector);
87
+ } catch (Throwable t) {
88
+ try {
89
+ Thread . sleep(1000 );
90
+ } catch (InterruptedException e) {
91
+ // Ignore.
92
+ }
93
+ }
94
+ }
95
+ }
96
+
97
+ private void processTaskQueue () {
98
+ for (;;) {
99
+ final Runnable task = taskQueue. poll();
100
+ if (task == null ) {
101
+ break ;
102
+ }
103
+ task. run();
104
+ }
105
+ }
106
+
107
+ protected abstract void process (Selector selector ) throws IOException ;
108
+
109
+ }
110
+ ```
111
+
112
+ 其中process是主要的处理事件的逻辑,例如在` AbstractNioWorker ` 中,处理逻辑如下:
113
+
114
+ ``` java
115
+ protected void process(Selector selector) throws IOException {
116
+ Set<SelectionKey > selectedKeys = selector. selectedKeys();
117
+ if (selectedKeys. isEmpty()) {
118
+ return ;
119
+ }
120
+ for (Iterator<SelectionKey > i = selectedKeys. iterator(); i. hasNext();) {
121
+ SelectionKey k = i. next();
122
+ i. remove();
123
+ try {
124
+ int readyOps = k. readyOps();
125
+ if ((readyOps & SelectionKey . OP_READ ) != 0 || readyOps == 0 ) {
126
+ if (! read(k)) {
127
+ // Connection already closed - no need to handle write.
128
+ continue ;
129
+ }
130
+ }
131
+ if ((readyOps & SelectionKey . OP_WRITE ) != 0 ) {
132
+ writeFromSelectorLoop(k);
133
+ }
134
+ } catch (CancelledKeyException e) {
135
+ close(k);
136
+ }
137
+
138
+ if (cleanUpCancelledKeys()) {
139
+ break ; // break the loop to avoid ConcurrentModificationException
140
+ }
141
+ }
142
+ }
143
+ ```
144
+
145
+ 这不就是第二部分提到的selector经典用法了么?
146
+
147
+ 在4.0之后,作者觉得NioSelector,以及区分` NioBoss ` 和` NioWorker ` 的做法稍微繁琐了点,干脆就将这些合并成了` NioEventLoop ` ,从此这两个角色就不做区分了。我倒是觉得新版本的会更优雅一点。
148
+
149
+ ### 3、Netty中的多线程
150
+
151
+ 下面我们来看Netty的多线程部分。一旦对应的Boss或者Worker启动,就会分配给它们一个线程去一直执行。` BossPool ` 和` WorkerPool ` 中。对于每个` NioServerSocketChannel ` ,Boss的Reactor有一个线程,而Worker的线程数由Worker线程池大小决定,但是默认最大不会超过CPU核数* 2,当然,这个参数可以通过` NioServerSocketChannelFactory ` 构造函数的参数来设置。
152
+
153
+ ``` java
154
+ public NioServerSocketChannelFactory(
155
+ Executor bossExecutor, Executor workerExecutor,
156
+ int workerCount) {
157
+ this (bossExecutor, 1 , workerExecutor, workerCount);
158
+ }
159
+ ```
160
+
161
+ 最后我们比较关心一个问题,我们之前` ChannlePipeline ` 中的ChannleHandler是在哪个线程执行的呢?答案是在Worker线程里执行的,并且会阻塞Worker的EventLoop。例如,在` NioWorker ` 中,读取消息完毕之后,会触发` MessageReceived ` 事件,这会使得Pipeline中的handler都得到执行。
162
+
163
+ ``` java
164
+ protected boolean read(SelectionKey k) {
165
+ ....
166
+
167
+ if (readBytes > 0 ) {
168
+ // Fire the event.
169
+ fireMessageReceived(channel, buffer);
170
+ }
171
+
172
+ return true ;
173
+ }
174
+ ```
175
+
176
+ 可以看到,对于处理事件较长的业务,并不太适合直接放到ChannelHandler中执行。那么怎么处理呢?我们在Handler部分会进行介绍。
177
+
57
178
58
179
参考资料:
59
180
@@ -64,4 +185,7 @@ Netty中的Reactor模式其实是一种多线程的Reactor模型。Doug Lea大
64
185
* 高性能网络编程6--reactor反应堆与定时器管理 [ http://blog.csdn.net/russell_tao/article/details/17452997 ] ( http://blog.csdn.net/russell_tao/article/details/17452997 )
65
186
* IO - 同步,异步,阻塞,非阻塞 (亡羊补牢篇)[ http://blog.csdn.net/historyasamirror/article/details/5778378 ] ( http://blog.csdn.net/historyasamirror/article/details/5778378 )
66
187
67
- 题图来自:[ http://www.worldindustrialreporter.com/france-gives-green-light-to-tokamak-fusion-reactor/ ] ( http://www.worldindustrialreporter.com/france-gives-green-light-to-tokamak-fusion-reactor/ )
188
+ 题图来自:[ http://www.worldindustrialreporter.com/france-gives-green-light-to-tokamak-fusion-reactor/ ] ( http://www.worldindustrialreporter.com/france-gives-green-light-to-tokamak-fusion-reactor/ )
189
+
190
+ [ 1 ] : http://static.oschina.net/uploads/space/2014/0208/164000_EQQb_190591.jpg
191
+ [ 2 ] : http://static.oschina.net/uploads/space/2013/1125/130828_uKWD_190591.jpeg
0 commit comments