ZeroMQ(java)之I/O线程的实现与组件间的通信
算是开始读ZeroMQ(java)的代码实现了吧,现在有了一个大体的了解,看起来实现是比较的干净的,抽象什么的不算复杂。。。
这里先来看看它的I/O线程的实现吧,顺带看看是如何实现组件的通信的。。。。
首先要搞清楚I/O线程的实现,就先要弄懂一个类型,Poller(zmq.Poller.java),可以将其看成是对selector的一个封装,同时它还要管理定时事件,看了这么多代码,发现基本上都是在实现I/Oselect的地方完成了定时的实现。。。。
好了,不说太多闲话了,来看看它的继承体系吧:
这里还将依赖关系也标出来了,首先继承自PollerBase抽象类,然后实现了Runnable接口,自己还会创建一个Thread对象。。。看了这个图,基本上就已经能够知道Poller的运行原理了吧。。。。
这里先来看看PollerBase的实现吧,它其实主要是用来管理定时的,那么先来看看他的一些重要的属性和定义:
- private final AtomicInteger load; //这个load其实就是当前poller里面注册的channel的数量
- //这里是要注册的超时是事件
- private final class TimerInfo {
- IPollEvents sink; //事件回调
- int id;
- public TimerInfo(IPollEvents sink_, int id_) {
- sink = sink_;
- id = id_;
- }
- }
- private final Map<Long, TimerInfo> timers; //这里记录所有的超时对象,key是时间
- private final Map<Long, TimerInfo> addingTimers; //等待加入的超时事件
前面的一个原子Integer是用于记录负载的,用于记录当前poller里面一共注册了多少I/O对象。。。然后是超时事件的定义,sink是超时的事件回调函数,里面有相应的方法,timer就记录了所有的超时事件,addingTimers是需要加入的超时事件。。这里的key都是超时的时间,value就是超时对象了。。。
这里就来看两个主要的方法就好了吧,先来看看如何加入超时事件:
- //添加一个超时事件
- public void add_timer (long timeout_, IPollEvents sink_, int id_) {
- long expiration = Clock.now_ms () + timeout_; //计算超时的时间
- TimerInfo info = new TimerInfo(sink_, id_); //创建超时对象
- addingTimers.put(expiration, info); //将其添加到adding里面去
- }
代码应该很简单能够看明白吧,第一个参数是超时时间,第二个参数是回调方法,第三个参数是ID,首先加上当前的时间就算出了超时的时间,然后创建超时对象,这里先是将其放入了addingTimers里面,而不是直接放到了timer里面,。。。
那么接下来来看看如何执行所有的超时的方法吧:
- //执行所有的超时事件,返回下一个超时还剩下的时间
- protected long execute_timers() {
- if (!addingTimers.isEmpty()) { //如果当前还有需要添的超时时间,那么需要将其添加进去
- timers.putAll(addingTimers);
- addingTimers.clear();
- }
- //没有超时事件
- if (timers.isEmpty())
- return 0L;
- //获取当前的时间
- long current = Clock.now_ms ();
- //遍历所有的超时时间,这里是从最小的开始的
- Iterator<Entry <Long, TimerInfo>> it = timers.entrySet().iterator();
- while (it.hasNext()) {
- Entry <Long, TimerInfo> o = it.next();
- // If we have to wait to execute the item, same will be true about
- // all the following items (multimap is sorted). Thus we can stop
- // checking the subsequent timers and return the time to wait for
- // the next timer (at least 1ms).
- //如果超时的时间大于当前的时间,那么表示还没有超时,
- if (o.getKey() > current) {
- return o.getKey() - current; //返回下一个超时还剩下的时间
- }
- // Trigger the timer.
- //执行超时方法
- o.getValue().sink.timer_event (o.getValue().id);
- // Remove it from the list of active timers.
- it.remove();
- }
- if (!addingTimers.isEmpty())
- return execute_timers();
- // There are no more timers.
- return 0L; //如果是0 的话,表示没有timer执行了
- }
- }
应该代码也还算比较好理解吧,这里可以看到将addingTimers里面的都放到了timers里面。。。然后遍历所有的超时对象,并执行他们的超时回调,知道一个超时时间还没有到,最后返回的是下一个超时事件还剩下多长的时间。。。
好了,那么接下来来看看Poller类型的实现吧,先来看看它的重要定义:
- //在当前poller里面注册的封装。。。
- private static class PollSet {
- protected IPollEvents handler; //事件的回调
- protected SelectionKey key; //注册之后的key
- protected int ops; //注册的事件
- protected boolean cancelled; //是否已经取消
- protected PollSet(IPollEvents handler) {
- this.handler = handler;
- key = null;
- cancelled = false;
- ops = 0;
- }
- }
- final private Map<SelectableChannel, PollSet> fd_table; //记录所有的注册,key是channel
- // If true, there's at least one retired event source.
- private boolean retired; //当前注册的对象是否有更新,如果有更新的话,在执行select之前需要先更新注册
- // If true, thread is in the process of shutting down.
- volatile private boolean stopping; //如果是true的话,那么执行线程将会停止
- volatile private boolean stopped; //是否已经停止
- private Thread worker; //worker线程
- private Selector selector; //selector
- final private String name; //名字
这里显示定义了一个嵌套类,所有需要注册到selector上的channel都会先构建这个对象,将其当做附件注册到selector上。。。。其中handler是事件回调,key是selector注册后取得的key,ops是注册的事件类型
然后是fd_table,这个应该知道是干嘛用的吧,用于关联注册的channel对象与其的PollSet对象。。。
这里的retired用于标识当前的注册的channel什么的是否有更新。。。接下来的重要属性还有thread,这个是干嘛应该很清楚吧,还有一个selector就不多说了。。。
接下来来看看如何在poller对象上面注册channel吧,有几个比较重要的方法:
- //用于在当前的集合里面添加需要注册的channel,第一个参数是channel,第二个参数是事件回调
- public final void add_fd (SelectableChannel fd_, IPollEvents events_) {
- fd_table.put(fd_, new PollSet(events_)); //直接把放到map里面就好了
- adjust_load (1); //增加load值,这里所谓的负载其实就是在当前poller里面注册的channel的数量
- }
- //在key上面注册事件,如果negate为true的话,那么表示是取消事件
- private final void register (SelectableChannel handle_, int ops, boolean negate) {
- PollSet pollset = fd_table.get(handle_); //获取pollset对象
- if (negate) {
- pollset.ops = pollset.ops &~ ops; //取反,相当于取消事件
- } else {
- pollset.ops = pollset.ops | ops; //注册事件
- }
- if (pollset.key != null) { //如果有key了,那么表示已经注册到selector上面了,那么只需要更新key就好了
- pollset.key.interestOps(pollset.ops);
- } else {
- retired = true;
- }
- }
这里首先需要调用add_fd方法,channel加入进去,然后再调用register方法注册相应的事件,不知道为啥要这么弄。。直接一个方法实现不就好了么。。可能有一些细节的东西我还不太清楚吧,不多说这个了。。
好了,接下来来看看它的run方法吧:
- //poller的执行流程
- public void run () {
- int returnsImmediately = 0;
- while (!stopping) {
- long timeout = execute_timers (); //执行所有的超时,并且获取下一个超时的时间
- if (retired) { //这里表示注册的东西有更新
- Iterator <Map.Entry <SelectableChannel,PollSet>> it = fd_table.entrySet ().iterator ();
- while (it.hasNext ()) { //遍历所有需要注册的
- Map.Entry <SelectableChannel,PollSet> entry = it.next ();
- SelectableChannel ch = entry.getKey (); //获取channel
- PollSet pollset = entry.getValue (); //获取pollset
- if (pollset.key == null) { //这里没有key的话,表示当前channel并没有注册到selector上面去
- try {
- pollset.key = ch.register(selector, pollset.ops, pollset.handler); //注册,这里注册的附件居然是事件的回调函数
- } catch (ClosedChannelException e) {
- }
- }
- if (pollset.cancelled || !ch.isOpen()) { //如果是取消注册,那么直接取消掉就可以了
- if(pollset.key != null) {
- pollset.key.cancel();
- }
- it.remove ();
- }
- }
- retired = false;
- }
- // Wait for events.
- int rc;
- long start = System.currentTimeMillis (); //select之前的时间
- try {
- rc = selector.select (timeout);
- } catch (IOException e) {
- throw new ZError.IOException (e);
- }
- if (rc == 0) { //出错啦,好像
- // Guess JDK epoll bug
- if (timeout == 0 ||
- System.currentTimeMillis () - start < timeout / 2)
- returnsImmediately ++;
- else
- returnsImmediately = 0;
- if (returnsImmediately > 10) {
- rebuildSelector (); //重建selector
- returnsImmediately = 0;
- }
- continue;
- }
- Iterator<SelectionKey> it = selector.selectedKeys().iterator(); //所有select出来的key
- while (it.hasNext()) { //遍历
- SelectionKey key = it.next();
- IPollEvents evt = (IPollEvents) key.attachment();
- it.remove();
- try { //接下来就是判断事件的类型执行相应的方法就好了
- if (key.isReadable() ) { //有数据可以读取了
- evt.in_event();
- } else if (key.isAcceptable()) { //有新的连接进来了
- evt.accept_event();
- } else if (key.isConnectable()) { //连接建立
- evt.connect_event();
- }
- if (key.isWritable()) { //可写
- evt.out_event();
- }
- } catch (CancelledKeyException e) {
- // channel might have been closed
- }
- }
- }
- stopped = true;
- }
这个应该很容易看懂吧,首先执行了所有超时的事件,然后如果有注册的channel更新的话,需要重新更新这些注册,然后就可以执行select方法了,接着遍历出所有select的key,然后判断事件的类型,执行相应的回调方法就好了。。。
最后来看看它的start方法:
- //启动,这里主要是创建一个线程,然后开始运行
- public void start() {
- worker = new Thread(this, name); //创建thread,
- worker.start(); //启动这个执行线程
- }
好吧,简单吧,创建一个线程,然后启动就好了,这里执行的就是run方法。。。。
好了,到这里整个poller的实现和其运行基本上就算是搞清楚了。。。而且可以知道poller对象才是真的I/O线程的持有者。。。。
接下来来介绍另外一个类型:Mailbox,每一个I/O线程都会有自己的mailbox,而且连接也会有自己的mailbox,可以向mailbox里面发送命令,然后让其执行。。。这里可以理解为mailbox是命令的接收器,ZeroMQ就是用这个来实现组件之间的通信的。。。。
先来看看他的一些重要的属性定义吧:
- private final YPipe<Command> cpipe; //这名字太唬人了,其实就是一个保存command的队列而已
- //其实可以将其理解为一个socketpair,如果有命令写入了队列,那么通过在这里写入一个数据,可以用于提醒有命令发送到了mialbox
- private final Signaler signaler; //用于通信的signal,使用pipe实现的。。。,其实这里只不过是一个噱头,这里写入数据是为了提醒执行线程command队列里面有命令写入了
- private final Lock sync; //只有一个线程从mailbox里面收命令,但是会有很多线程向mialbox里面发送命令,用这个锁来保护
- private boolean active; //用于判断底层的pipe是否还是活跃的,如果是true的话,表示底层的pipe活跃,可以读取命令
- // mailbox name, for better debugging
- private final String name; //当前mailbox的名字
这里cpipe这个名字比较唬人,其实可以就将其理解为一个command的队列,所有的命令都会放到这个里面去,然后是signaler,这个是底层通信的实现,它里面创建了pipe,类似于socketpair,通过在在这个里面写数据,用于提醒cpipe里面有命令写进去了。。需要处理。。。
来看看几个比较重要的方法吧:
- public SelectableChannel get_fd () {
- return signaler.get_fd (); //这里其实获取的是signal用到的pipe的读channel
- }
- //向当前的mailbox发送命令,其实就是写到command队列里面去而已
- public void send (final Command cmd_) {
- boolean ok = false;
- sync.lock ();
- try {
- cpipe.write (cmd_, false);
- ok = cpipe.flush (); //pipeflush,这里将会被selector感应到,从而可以执行相应的处理,在执行线程里面执行命令
- } finally {
- sync.unlock ();
- }
- if (!ok) {
- signaler.send (); //通过写端写数据,这样子的话会被读端收到
- }
- }
- //收取命令,如果这里无法立刻获取命令的话,还可以有一个超时时间
- public Command recv (long timeout_) {
- Command cmd_ = null;
- // Try to get the command straight away.
- if (active) {
- cmd_ = cpipe.read (); //从队列里面获取命令
- if (cmd_ != null) {
- return cmd_;
- }
- // If there are no more commands available, switch into passive state.
- active = false;
- signaler.recv (); //这里会从读端不断的读数据
- }
- // Wait for signal from the command sender.
- boolean rc = signaler.wait_event (timeout_);
- if (!rc)
- return null;
- // We've got the signal. Now we can switch into active state.
- active = true;
- // Get a command.
- cmd_ = cpipe.read ();
- assert (cmd_ != null);
- return cmd_;
- }
这里获取底层的fd,其实就是获取用于通信的signal的读端的channel,然后向这个mailbox发送命令其实就是直接向command的队列里面放入命令就好了,并且这里需要通过signaler来提醒一下。。。。
然后recv方法,用于获取命令,其实最终还是在命令队列里去拿。。。。
好了,到这里mailbox差不多了,一些细节并没有贴出来,因为其实这东西如果没有搞懂具体是怎么用的话也不可能搞得明白。。。。
好了,在最后开始IOThread这个类型之前先来介绍另外两个东西吧:
(1)IPollEvents,这个是一个接口,也就是事件的回调。。来看看它的定义就知道了。。。
- public interface IPollEvents {
- void in_event () ; //当有数据可以读取的时候需要执行的方法
- void out_event () ; //当可以写的时候应该执行的方法
- void connect_event () ; //当已经建立了连接之后,应该执行的
- void accept_event(); //当有accept的时候,应该执行这个
- void timer_event (int id_) ; //当超时的时候应该执行的
- }
里面定义了5个方法,具体这5个方法分别处理什么事件应该看名字就能够很容易知道吧。。就不细说了。。
(2)ZObject,这个类型是干嘛的呢,在前面已已经说过了,mailbox用于存取别的地方发送过来的命令,而ZObject就是用于执行命令的,如果需要组件可以进行命令的交互,那么就需要类型实现继承ZObject,具体的类容就不说了,有兴趣的自己看吧,很简单的,,,,
好啦,终于到了最激动人心的时候了,来看看IOThread类型,看这个名字就知道它是干嘛的吧,先来看看它的类型定义图吧:
其实看到这里也能够猜出来IOThread类型本身并没有太多的内容,更多的时候都是有mailbox,poller来做了。。。
来看看它的一些重要属性和构造函数吧:
- final private Mailbox mailbox; //I/O线程将会从这个mailbox里面获取命令
- final private SelectableChannel mailbox_handle; //mailbox会用到的chanel,其实也就是底层pipe的读端
- final private Poller poller; //poller对象
- final String name; //这个IO线程的名字
- public IOThread(Ctx ctx_, int tid_) { //所属的ctx,以及这个是第几个IO线程,也可以把它理解为ID吧
- super(ctx_, tid_);
- name = "iothread-" + tid_;
- poller = new Poller(name); //创建poller
- mailbox = new Mailbox(name); //创建mailbox
- mailbox_handle = mailbox.get_fd(); //mailbox会用到的channel,pipe的读端
- poller.add_fd (mailbox_handle, this); //在poller里面注册,其实这里只是将其放到fd列表里面,这里的事件回调就是当前对象
- poller.set_pollin (mailbox_handle); //这里注册读取事件
- }
这里mailbox和poller是干嘛用的就不多说了,另外这个mailbox_handle其实是mailbox的signaler的读端,而且可以在构造函数中可以看到将这个channel注册到了poller上面去。。这样如果有数据读,那么会被响应,也就意味着有命令发送到mailbox需要执行了。。。
我们来看看这个回调函:
- //当mailbox可以读取的时候,将会执行这个方法,这里其实也就是收到了命令
- public void in_event() {
- // TODO: Do we want to limit number of commands I/O thread can
- // process in a single go?
- while (true) {
- // Get the next command. If there is none, exit.
- //获取需要执行的命令
- Command cmd = mailbox.recv (0);
- if (cmd == null)
- break;
- // Process the command.
- //执行命令
- cmd.destination().process_command (cmd); //其实对于IO线程对象,也就只有stop命令可以执行
- }
- }
简单吧,从mailbox里面获取command,然后直接执行就好了。。。。这里IOThread本身就继承了ZOjbect,所以这里说白了就是自己需要执行命令,而在IOThread中,只有stop命令需要执行:
- //停止poller
- protected void process_stop ()
- {
- poller.rm_fd (mailbox_handle);
- poller.stop ();
- }
好啦,到这里ZeroMQ中IO线程的实现应该就算是比较的清楚了。。而且如何实现组件间的通信也算是比较的了解了。。。