如何以异步/并发模式运行Warp Web服务器？多端口部署疑问

首先拆解你遇到的问题：

• 顺序调用Warp.run时，因为run是阻塞式的，会一直占用主线程处理第一个端口的请求，永远不会走到第二个run调用，所以只有3000端口的服务器能正常运行。
• 用forkIO启动后服务器立刻停止，是因为Haskell程序的主线程结束时，所有子线程会被强制终止。你的主线程跑完两个forkIO就直接退出了，子线程还没完成服务器初始化就被干掉了。

你添加forever (threadDelay 1000)的方案是能工作的，但存在两个明显问题：

1. 主线程会一直无意义循环（虽有休眠但仍属于空转），浪费少量CPU资源；
2. 无法感知服务器的异常退出——如果其中一个服务器崩溃，主线程还是会无限休眠，没法及时处理错误。

推荐的正确实现方式 #

方式一：用async库（最简洁）

async是Haskell生态中处理并发的标准库，提供了便捷的并发组合函数。用concurrently可以让两个服务器同时运行，直到其中一个结束（或全部结束），之后再执行后续代码：

import Control.Concurrent.Async (concurrently)
import Network.Wai.Handler.Warp (run)

main :: IO ()
main = do
  -- 同时启动两个服务器
  concurrently (run 3000 waiApp) (run 3002 waiApp)
  -- 后续代码：会在至少一个服务器停止后执行
  putStrLn "服务器已停止，执行后续逻辑"

如果需要等待两个服务器都停止后再执行后续代码，可以用concurrently_（忽略返回值）或者waitBoth（保留返回值）。

方式二：用base库的MVar同步（无需额外依赖）

如果不想引入async库，可以用base自带的MVar来让主线程等待子线程完成：

import Control.Concurrent (forkIO, newEmptyMVar, putMVar, takeMVar)
import Network.Wai.Handler.Warp (run)

main :: IO ()
main = do
  -- 为每个服务器创建一个MVar，用于同步结束信号
  mvar1 <- newEmptyMVar
  mvar2 <- newEmptyMVar

  -- 启动第一个服务器，结束时向MVar写入信号
  forkIO $ do
    run 3000 waiApp
    putMVar mvar1 ()

  -- 启动第二个服务器
  forkIO $ do
    run 3002 waiApp
    putMVar mvar2 ()

  -- 主线程等待两个服务器的结束信号（正常运行时会一直阻塞）
  takeMVar mvar1
  takeMVar mvar2

  -- 后续代码
  putStrLn "所有服务器已停止"

总结 #

• 你的临时方案可以凑合用，但推荐用async库的实现，代码更简洁且能更好地处理并发场景；
• 核心逻辑是让主线程保持存活，直到所有服务器子线程结束，避免子线程被提前终止。

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