也许很多朋友在学习NIO的时候都会感觉有点吃力,对里面的很多概念都感觉不是那么明朗。在进入Java NIO编程之前,我们先来讨论一些比较基础的知识:I/O模型。下面本文先从同步和异步的概念 说起,然后接着阐述了阻塞和非阻塞的区别,接着介绍了阻塞IO和非阻塞IO的区别,然后介绍了同步IO和异步IO的区别,接下来介绍了5种IO模型,后介绍了两种和高性能IO设计相关的设计模式(Reactor和Proactor)。
  一.什么是同步?什么是异步?
  同步和异步的概念出来已经很久了,网上有关同步和异步的说法也有很多。以下是我个人的理解:
  同步是:如果有多个任务或者事件要发生,这些任务或者事件必须逐个地进行,一个事件或者任务的执行会导致整个流程的暂时等待,这些事件没有办法并发地执行;
  异步是:如果有多个任务或者事件发生,这些事件可以并发地执行,一个事件或者任务的执行不会导致整个流程的暂时等待。
  这是同步和异步。举个简单的例子,假如有一个任务包括两个子任务A和B,对于同步来说,当A在执行的过程中,B只有等待,直至A执行完毕,B才能执行;而对于异步是A和B可以并发地执行,B不必等待A执行完毕之后再执行,这样不会由于A的执行导致整个任务的暂时等待。
  如果还不理解,可以先看下面这2段代码:
  void fun1() {
  }
  void fun2() {
  }
  void function(){
  fun1();
  fun2()
  .....
  .....
  }
  这段代码是典型的同步,在方法function中,fun1在执行的过程中会导致后续的fun2无法执行,fun2必须等待fun1执行完毕才可以执行。
  接着看下面这段代码:
void fun1() {
}
void fun2() {
}
void function(){
new Thread(){
public void run() {
fun1();
}
}.start();
new Thread(){
public void run() {
fun2();
}
}.start();
.....
.....
}
  这段代码是一种典型的异步,fun1的执行不会影响到fun2的执行,并且fun1和fun2的执行不会导致其后续的执行过程处于暂时的等待。
  事实上,同步和异步是一个非常广的概念,它们的重点在于多个任务和事件发生时,一个事件的发生或执行是否会导致整个流程的暂时等待。我觉得可以将同步和异步与Java中的synchronized关键字联系起来进行类比。当多个线程同时访问一个变量时,每个线程访问该变量是一个事件,对于同步来说,是这些线程必须逐个地来访问该变量,一个线程在访问该变量的过程中,其他线程必须等待;而对于异步来说,是多个线程不必逐个地访问该变量,可以同时进行访问。
  因此,个人觉得同步和异步可以表现在很多方面,但是记住其关键在于多个任务和事件发生时,一个事件的发生或执行是否会导致整个流程的暂时等待。一般来说,可以通过多线程的方式来实现异步,但是千万记住不要将多线程和异步画上等号,异步只是宏观上的一个模式,采用多线程来实现异步只是一种手段,并且通过多进程的方式也可以实现异步。
  二.什么是阻塞?什么是非阻塞?
  在前面介绍了同步和异步的区别,这一节来看一下阻塞和非阻塞的区别。
  阻塞是:当某个事件或者任务在执行过程中,它发出一个请求操作,但是由于该请求操作需要的条件不满足,那么会一直在那等待,直至条件满足;
  非阻塞是:当某个事件或者任务在执行过程中,它发出一个请求操作,如果该请求操作需要的条件不满足,会立即返回一个标志信息告知条件不满足,不会一直在那等待。
  这是阻塞和非阻塞的区别。也是说阻塞和非阻塞的区别关键在于当发出请求一个操作时,如果条件不满足,是会一直等待还是返回一个标志信息。
  举个简单的例子:
  假如我要读取一个文件中的内容,如果此时文件中没有内容可读,对于同步来说是会一直在那等待,直至文件中有内容可读;而对于非阻塞来说,会直接返回一个标志信息告知文件中暂时无内容可读。
  在网上有一些朋友将同步和异步分别与阻塞和非阻塞画上等号,事实上,它们是两组完全不同的概念。注意,理解这两组概念的区别对于后面IO模型的理解非常重要。
  同步和异步着重点在于多个任务的执行过程中,一个任务的执行是否会导致整个流程的暂时等待;
  而阻塞和非阻塞着重点在于发出一个请求操作时,如果进行操作的条件不满足是否会返会一个标志信息告知条件不满足。
  理解阻塞和非阻塞可以同线程阻塞类比地理解,当一个线程进行一个请求操作时,如果条件不满足,则会被阻塞,即在那等待条件满足。
  三.什么是阻塞IO?什么是非阻塞IO?
  在了解阻塞IO和非阻塞IO之前,先看下一个具体的IO操作过程是怎么进行的。
  通常来说,IO操作包括:对硬盘的读写、对socket的读写以及外设的读写。
  当用户线程发起一个IO请求操作(本文以读请求操作为例),内核会去查看要读取的数据是否绪,对于阻塞IO来说,如果数据没有绪,则会一直在那等待,直到数据绪;对于非阻塞IO来说,如果数据没有绪,则会返回一个标志信息告知用户线程当前要读的数据没有绪。当数据绪之后,便将数据拷贝到用户线程,这样才完成了一个完整的IO读请求操作,也是说一个完整的IO读请求操作包括两个阶段:
  1)查看数据是否绪;
  2)进行数据拷贝(内核将数据拷贝到用户线程)。
  那么阻塞(blocking IO)和非阻塞(non-blocking IO)的区别在于第一个阶段,如果数据没有绪,在查看数据是否绪的过程中是一直等待,还是直接返回一个标志信息。
  Java中传统的IO都是阻塞IO,比如通过socket来读数据,调用read()方法之后,如果数据没有绪,当前线程会一直阻塞在read方法调用那里,直到有数据才返回;而如果是非阻塞IO的话,当数据没有绪,read()方法应该返回一个标志信息,告知当前线程数据没有绪,而不是一直在那里等待。
  四.什么是同步IO?什么是异步IO?
  我们先来看一下同步IO和异步IO的定义,在《Unix网络编程》一书中对同步IO和异步IO的定义是这样的:
  A synchronous I/O operation causes the requesting process to be blocked until that I/O operation completes.
  An asynchronous I/O operation does not cause the requesting process to be blocked.
  从字面的意思可以看出:同步IO即 如果一个线程请求进行IO操作,在IO操作完成之前,该线程会被阻塞;
  而异步IO为 如果一个线程请求进行IO操作,IO操作不会导致请求线程被阻塞。
  事实上,同步IO和异步IO模型是针对用户线程和内核的交互来说的:
  对于同步IO:当用户发出IO请求操作之后,如果数据没有绪,需要通过用户线程或者内核不断地去轮询数据是否绪,当数据绪时,再将数据从内核拷贝到用户线程;
  而异步IO:只有IO请求操作的发出是由用户线程来进行的,IO操作的两个阶段都是由内核自动完成,然后发送通知告知用户线程IO操作已经完成。也是说在异步IO中,不会对用户线程产生任何阻塞。
  这是同步IO和异步IO关键区别所在,同步IO和异步IO的关键区别反映在数据拷贝阶段是由用户线程完成还是内核完成。所以说异步IO必须要有操作系统的底层支持。
  注意同步IO和异步IO与阻塞IO和非阻塞IO是不同的两组概念。
  阻塞IO和非阻塞IO是反映在当用户请求IO操作时,如果数据没有绪,是用户线程一直等待数据绪,还是会收到一个标志信息这一点上面的。也是说,阻塞IO和非阻塞IO是反映在IO操作的第一个阶段,在查看数据是否绪时是如何处理的。
  五.五种IO模型
  在《Unix网络编程》一书中提到了五种IO模型,分别是:阻塞IO、非阻塞IO、多路复用IO、信号驱动IO以及异步IO。
  下面分别来介绍一下这5种IO模型的异同。
  1.阻塞IO模型
  传统的一种IO模型,即在读写数据过程中会发生阻塞现象。
  当用户线程发出IO请求之后,内核会去查看数据是否绪,如果没有绪会等待数据绪,而用户线程会处于阻塞状态,用户线程交出CPU。当数据绪之后,内核会将数据拷贝到用户线程,并返回结果给用户线程,用户线程才解除block状态。
  典型的阻塞IO模型的例子为:
  data = socket.read();
  如果数据没有绪,会一直阻塞在read方法。
  2.非阻塞IO模型
  当用户线程发起一个read操作后,并不需要等待,而是马上得到了一个结果。如果结果是一个error时,它知道数据还没有准备好,于是它可以再次发送read操作。一旦内核中的数据准备好了,并且又再次收到了用户线程的请求,那么它马上将数据拷贝到了用户线程,然后返回。
  所以事实上,在非阻塞IO模型中,用户线程需要不断地询问内核数据是否绪,也说非阻塞IO不会交出CPU,而会一直占用CPU。
  典型的非阻塞IO模型一般如下:
  while(true){
  data = socket.read();
  if(data!= error){
  处理数据
  break;
  }
  }
  但是对于非阻塞IO有一个非常严重的问题,在while循环中需要不断地去询问内核数据是否绪,这样会导致CPU占用率非常高,因此一般情况下很少使用while循环这种方式来读取数据。
  3.多路复用IO模型
  多路复用IO模型是目前使用得比较多的模型。Java NIO实际上是多路复用IO。
  在多路复用IO模型中,会有一个线程不断去轮询多个socket的状态,只有当socket真正有读写事件时,才真正调用实际的IO读写操作。因为在多路复用IO模型中,只需要使用一个线程可以管理多个socket,系统不需要建立新的进程或者线程,也不必维护这些线程和进程,并且只有在真正有socket读写事件进行时,才会使用IO资源,所以它大大减少了资源占用。
  在Java NIO中,是通过selector.select()去查询每个通道是否有到达事件,如果没有事件,则一直阻塞在那里,因此这种方式会导致用户线程的阻塞。
  也许有朋友会说,我可以采用 多线程+ 阻塞IO 达到类似的效果,但是由于在多线程 + 阻塞IO 中,每个socket对应一个线程,这样会造成很大的资源占用,并且尤其是对于长连接来说,线程的资源一直不会释放,如果后面陆续有很多连接的话,会造成性能上的瓶颈。
  而多路复用IO模式,通过一个线程可以管理多个socket,只有当socket真正有读写事件发生才会占用资源来进行实际的读写操作。因此,多路复用IO比较适合连接数比较多的情况。
  另外多路复用IO为何比非阻塞IO模型的效率高是因为在非阻塞IO中,不断地询问socket状态时通过用户线程去进行的,而在多路复用IO中,轮询每个socket状态是内核在进行的,这个效率要比用户线程要高的多。
  不过要注意的是,多路复用IO模型是通过轮询的方式来检测是否有事件到达,并且对到达的事件逐一进行响应。因此对于多路复用IO模型来说,一旦事件响应体很大,那么会导致后续的事件迟迟得不到处理,并且会影响新的事件轮询。