HTTP服务器为何需要异步？结合C语言socket开发的疑问

你的初始猜测完全符合实际运行情况，HTTP服务全流程中所有会触发阻塞等待的节点都和socket的I/O时序相关，没有其他特殊场景：

• 接收客户端请求阶段：TCP连接建立后，客户端不会一次性把完整HTTP请求一次性发送完毕。弱网环境（移动网络抖动、低速率连接）下，一个完整请求可能被拆分为多个TCP报文，间隔几百毫秒到数秒才能传完。如果同步调用read()读取客户端socket，程序会一直阻塞在这里，直到攒够完整的请求头/请求体才能继续执行，期间所有其他连接都无法被处理。
• 发送响应阶段：就算服务端已经把响应内容全部准备好了，调用write()也不会立刻把所有数据发送到客户端。受客户端接收窗口大小、网络拥塞影响，内核对应的socket发送缓冲区很容易被占满，此时同步调用write()会直接阻塞，直到客户端收取完之前的报文、腾出缓冲区空间才能继续写入，这期间对应的连接会一直占用执行资源。

除此之外，服务端读取本地静态文件、查询数据库、调用上游接口产生的等待，也属于异步设计需要覆盖的I/O阻塞场景，但socket本身的读写等待是HTTP服务中最普遍的阻塞来源。

核心实现逻辑分两步，全程不会出现单连接阻塞整个执行流的情况：

1. 将所有socket设置为非阻塞模式
   不管是监听socket，还是后续通过accept()拿到的客户端socket，都可以通过fcntl()系统调用设置为非阻塞属性。设置完成后，无论何时调用read()/write()，只要当前数据未就绪、发送缓冲区没有空闲位置，函数会立刻返回并抛出EAGAIN/EWOULDBLOCK错误，不会卡住执行流。
   对应的核心代码：

   // 对已有socket设置非阻塞属性
   int sock_flags = fcntl(target_sock, F_GETFL, 0);
   fcntl(target_sock, F_SETFL, sock_flags | O_NONBLOCK);
   

2. 通过多路复用接口批量检测所有socket的就绪状态
   系统提供的select、poll、epoll（Linux平台）接口可以同时监听成百上千个socket的状态，只有当对应socket出现可读（有客户端数据到达）、可写（发送缓冲区有空位）、可接受（监听socket有新连接接入）的事件时，才会主动通知程序处理，不需要程序挨个轮询、也不会阻塞在单个socket的等待上。
   以最直观的select接口为例，核心实现逻辑：

   // 初始化读写检测集合
   fd_set read_set, write_set;
   FD_ZERO(&read_set);
   FD_ZERO(&write_set);
   // 把所有需要监听的socket加入集合
   FD_SET(listen_sock, &read_set); // 监听socket读就绪=有新连接可接收
   FD_SET(client_sock_a, &read_set); // 客户端socket读就绪=有请求数据可读
   FD_SET(client_sock_b, &write_set); // 客户端socket写就绪=有空间可写响应
   
   int max_sock_fd = listen_sock;
   // 传入集合的最大文件描述符+1作为参数，调用select等待就绪事件
   select(max_sock_fd + 1, &read_set, &write_set, NULL, NULL);
   
   // 遍历集合处理就绪的socket
   if (FD_ISSET(listen_sock, &read_set)) {
       // 直接接收新连接，不会阻塞
       int new_conn = accept(listen_sock, NULL, NULL);
       // 将新连接设置为非阻塞，加入后续监听集合
   }
   if (FD_ISSET(client_sock_a, &read_set)) {
       // 直接读取客户端发送的请求数据，不会阻塞
       // 处理完请求生成响应后，将对应的socket加入写集合，等可写事件触发时发送
   }
   if (FD_ISSET(client_sock_b, &write_set)) {
       // 直接向客户端写入响应数据，不会阻塞
       // 如果响应还没发送完毕，保留在写集合中，等下次可写事件触发时继续发送剩余内容
   }
   

   整个流程运行时，只要没有任何socket产生就绪事件，程序可以选择立刻返回主循环执行其他逻辑，不会被单个慢连接、慢客户端拖住整个执行流。这也是现代异步Web服务器能够用少量进程/线程支撑数万并发连接的核心原理。

内容的提问来源于stack exchange，提问作者neytrino