I/O模型是操作系统和编程环境用来处理输入/输出操作的方法论，它们决定了应用程序如何与文件系统、网络设备等外部资源交互。根据操作是否阻塞线程以及是否主动通知完成，I/O模型大致可分为两大类：同步（Synchronous）与异步（Asynchronous），在此基础上还有阻塞（Blocking）与非阻塞（Non-blocking）的概念。下面将详细介绍这两种基本分类及它们之间的关系。
同步I/O vs 异步I/O
同步I/O (Synchronous I/O)
在同步I/O模型中，调用方必须等待I/O操作完成之后才能继续执行后续代码。这意味着在发出读或写的请求后，程序会暂停并阻塞，直到操作成功完成或遇到错误。同步I/O是最直观也最简单理解的模型，但它可能会降低程序的响应速度和整体性能，尤其是面对长时间的I/O操作时。
特征:
- 等待完成: 程序必须等待I/O操作结束才能继续执行。
- 控制流顺序执行: 下一条语句只有在前一条语句执行完毕后才会执行。
- 直观且易于理解和编码。
异步I/O (Asynchronous I/O)
异步I/O模型允许调用方在发出I/O请求后立即返回控制流，无需等待操作的实际完成。相反，操作系统会在后台处理I/O操作，并在完成后通过某种机制（如回调函数、事件通知或完成状态改变）通知调用方。这种方式可以极大地提高程序的并发性和效率，因为它允许在等待I/O的同时执行其他任务。
特征:
- 不需等待: 请求发出后可立即返回，无需阻塞。
- 高效利用计算资源: 可以执行其他操作，直到I/O操作完成的通知到来。
- 并发能力强: 典型应用场景包括高并发网络服务和大规模数据处理。
阻塞I/O vs 非阻塞I/O
阻塞I/O (Blocking I/O)
阻塞I/O是在同步I/O的基础上增加了一个“阻塞”的特性。当应用程序尝试执行I/O操作时（如读取文件或接收网络数据），如果数据尚未准备好或目的地不可达，则调用会被挂起，直到满足条件为止。这种情况下，线程或进程将被阻塞，无法执行其他任务，直至I/O操作完成。
特征:
- 阻塞等待: 进程或线程在I/O操作完成之前将不会被调度执行。
- 单任务模式: 适合低并发场景，如桌面应用程序或简单的批处理任务。
非阻塞I/O (Non-blocking I/O)
非阻塞I/O允许在没有可用数据或操作无法立即完成的情况下立即返回一个错误码或特定值，而非真正阻塞调用方。应用程序可以通过轮询的方式来检查操作是否已完成，或者结合使用事件循环和多路复用技术（如 select/poll/epoll）来高效管理多个非阻塞I/O操作。
特征:
- 快速响应: 即使I/O操作未完成也能立即返回，避免长期阻塞。
- 需要轮询或监听: 应用程序需要定期检查I/O状态，判断是否完成。
- 适合高并发场景: 如Web服务器、数据库服务器等。
关联与差异
- 同步与异步关注的是调用方是否等待结果。同步表示调用方必须等待，而异步则是调用方不需要等待，可以在I/O完成时得到通知。
- 阻塞与非阻塞则关注操作本身是否会让调用方陷入等待状态。阻塞意味着操作将一直持续到完成，非阻塞则会在无法立即完成时提前返回。
总结而言，同步和异步是从宏观角度描述程序的行为，而阻塞和非阻塞是对具体I/O操作的属性描述。在实际编程和系统设计中，合理选择和搭配使用这些模型，可以显著提升软件的效率和健壮性。例如，一个典型的高性能Web服务器可能采用非阻塞I/O结合事件驱动架构，以应对海量并发连接的需求。
