Java I/O模型经历了从阻塞I/O（BIO）到非阻塞I/O（NIO）再到异步I/O（AIO）的演进，每一次演进都是对高并发、高吞吐量需求的回应。理解这三种I/O模型的区别和适用场景，对于构建高性能网络应用至关重要。
参考：https://ltglu.cn/category/sleep-disorders.html
BIO（Blocking I/O）是Java 1.0时代唯一的I/O模型。它的工作方式是：每个连接对应一个线程，线程在调用read或write时会阻塞，直到数据就绪或操作完成。BIO的优点在于编程模型简单——代码顺序执行，无需处理状态机或回调。但缺点同样明显：线程开销巨大。每个线程占用约1MB的栈内存，线程切换消耗CPU时间。对于C10K问题（同时处理一万个连接），BIO无能为力。
BIO的典型架构是线程池模型：主线程接受连接，将连接交给线程池中的工作线程处理。线程池限制了并发连接数，如果连接数超过线程池大小，多余的连接必须等待。这种模型适合连接数有限、每个连接长时间活跃的场景，如数据库连接池或管理界面。
NIO（Non-blocking I/O）在Java 1.4中引入，是Java I/O革命的起点。NIO的核心组件是Channel、Buffer和Selector。Channel是双向的I/O通道，类似于传统流，但可以异步读写。Buffer是数据的容器，提供了flip、clear、rewind等操作，简化了数据的读写处理。Selector是NIO的精髓——它允许单线程监控多个Channel的事件（连接、接收、读、写），实现多路复用。
参考：https://ltglu.cn/category/sleep-methods.html
NIO的非阻塞模式允许线程在调用read时立即返回（如果没有数据），而不是阻塞等待。线程可以继续处理其他Channel，或者轮询Selector。事件驱动模型将I/O操作转换为事件通知，线程只在事件发生时进行相应的处理。
Reactor模式是NIO的典型设计模式。Reactor线程（通常一个）负责监听事件分发，Handler线程处理具体的业务逻辑。Reactor模式有多种变体：单Reactor单线程（Redis的模型）、单Reactor多线程（Netrix的早期版本）、以及主从Reactor（Netty的默认模型）。主从Reactor中，主Reactor负责接受连接，从Reactor负责处理读写事件，有效利用多核CPU。
NIO的编程复杂度远高于BIO。开发者需要管理状态机、处理半包问题、以及协调多个Channel的状态。这就是为什么很少直接使用原生NIO，而是使用基于NIO构建的框架，如Netty、Mina和Grizzly。
NIO的陷阱：Selector的select方法可能因为空轮询而占用100% CPU（JDK的某些版本的bug）；ByteBuffer的分配和回收需要谨慎管理（可以使用池化Buffer）；处理大量连接时需要限制事件循环的时间，避免饥饿；以及正确处理Channel的关闭和异常。
AIO（Asynchronous I/O，也称为NIO.2）在Java 7中引入。AIO提供了真正的异步I/O：调用read或write立即返回Future或通过CompletionHandler回调通知完成。AIO底层依赖操作系统的异步I/O支持（如Windows的IOCP和Linux的io_uring），将I/O操作提交给内核，内核完成后通知应用。
AIO的编程模型比NIO更简单，因为不需要手动管理状态机——操作系统会处理I/O操作的完整性。但AIO的实际表现并不总是优于NIO。在Linux上，AIO的实现基于epoll模拟，性能与NIO相当；在Windows上，AIO利用IOCP，性能优异。此外，AIO的回调机制带来了新的复杂性——回调地狱、异常处理困难、以及线程上下文切换开销。
io_uring是Linux 5.1引入的全新异步I/O接口，它通过共享内存的环形缓冲区批量提交和收割I/O请求，性能远超传统AIO。JDK 21的实验性功能jdk.incubator.foreign允许直接使用io_uring，但正式的标准化支持可能还需要几个版本。
参考：https://ltglu.cn/category/sleep-science.html
Netty是Java NIO生态中最成功的框架，被用于Apache Spark、Facebook Thrift、gRPC、Elasticsearch等顶级项目。Netty提供了比原生NIO更高级的抽象：EventLoop（事件循环）、ChannelPipeline（责任链模式处理请求）、ByteBuf（比ByteBuffer更易用）、以及编解码器框架。Netty还解决了NIO的许多陷阱，如空轮询bug、内存泄漏检测、以及流量整形。
虚拟线程（Project Loom，JDK 21正式版）可能颠覆现有的I/O模型。虚拟线程是JVM管理的轻量级线程，创建和切换成本极低（数百万个虚拟线程只需少量OS线程）。使用虚拟线程后，开发者可以回归到简单的阻塞I/O模型——每个请求一个虚拟线程，线程在I/O时阻塞，但阻塞不占用OS线程。虚拟线程的调度由JVM负责，在阻塞时将虚拟线程从载体线程上卸载，I/O完成后重新挂载。这意味着NIO/AIO的复杂异步编程可能不再是必需品，但Netty等框架仍然在高性能场景中有其价值。
在实际工程中选择I/O模型：对于连接数少、业务逻辑复杂的场景，BIO + 线程池最简单；对于连接数多、业务逻辑相对简单的场景（如网关、代理），NIO + Netty最成熟；对于文件I/O密集型场景（如大文件读写），可以考虑AIO或io_uring。最重要的是，在做出选择前进行实际的性能测试，而不是盲目追求最新的技术。
参考：https://ltglu.cn
