Socket 進程池模型：主進程 accept 後分發連接，主進程是否阻塞於子進程處理期間？

架構描述

• 主進程：創建監聽 socket，調用 `accept()` 等待連接。
• 進程池：預先 `fork()` 固定數量子進程。
• 分發機制：`accept()` 返回新連接 socket，通過 Unix 域 socket 傳遞文件描述符給空閒子進程，或放入共享隊列由子進程搶佔。

核心回答

主進程在分發連接後，立即返回 `accept()` 調用，繼續阻塞於下一次 `accept()` 等待新連接，不會等待子進程處理完畢。

時序圖解

主進程                          子進程1          子進程2
  |                                |               |
  |--- accept() 阻塞等待 --------->|               |
  |<-- 返回 connfd (新連接) -------|               |
  |                                |               |
  |--- 發送 connfd 給子進程1 ----->|               |
  |                                |               |
  |--- accept() 再次阻塞等待 ----->|               |  ← 關鍵：立即循環下一次 accept
  |                                |--- 處理連接 -->|
  |                                |               |
  |<-- 返回 connfd (新連接) -------|               |
  |--- 發送 connfd 給子進程2 ----->|               |
  |                                |               |--- 處理連接 -->
  |                                |               |

關鍵點

• `accept()` 是**同步阻塞**調用，僅在「無連接到達」時阻塞。
• 連接建立後，文件描述符傳遞給子進程通常是**非阻塞**的（Unix 域 socket `sendmsg` 配合 `SCM_RIGHTS`）。
• 主進程職責單一：**持續接收新連接、負載均衡分發**，不參與具體業務處理。
• 若分發機制本身阻塞（如共享隊列滿、管道寫滿），主進程會卡在分發環節，需設計非阻塞隊列或擴容進程池。

代碼骨架

// 主進程主循環
while (running) {
    int connfd = accept(listenfd, NULL, NULL); // 阻塞點 1
    if (connfd < 0) { perror("accept"); continue; }
    
    // 選擇空閒子進程 (簡化：輪詢)
    int child_idx = get_idle_child();
    send_fd(child_pipes[child_idx], connfd); // 阻塞點 2：若管道滿會阻塞，通常設非阻塞+select
    close(connfd); // 主進程關閉引用，引用計數由子進程持有
}

總結

主進程**不會**在子進程處理業務期間阻塞，它緊隨分發動作進入下一輪 `accept()`。這正是進程池模型實現高併發的核心：接收與處理解耦、並行化。