关于F# MailboxProcessor异步提前返回的内存占用异常问题咨询

问题重现 #

测试F#异步提前返回特性时，发现MailboxProcessor存在不符合预期的内存占用行为，示例代码如下：

let mp = MailboxProcessor<bool>.Start (fun inbox ->
    let mutable count = 0
    let rec await () = async {
        let! msg = inbox.Receive ()
        count <- count + 1
        if msg then
            printfn "Count: %4i | Queued: %4i" count inbox.CurrentQueueLength
            return! await ()
        else return! finish () }
    and finish () = async {
        printfn "done" }
    await ())
let numPosts = 10_000
for _ = 1 to numPosts do
    mp.Post true
    System.Threading.Thread.Sleep 1
mp.Post false
System.Console.ReadLine () |> ignore

观察到的异常行为：

• 删除else分支时，内存持续增长（符合预期，非尾递归导致栈堆积，最终会打印大量"done"）；但恢复else分支让await成为尾递归后，内存仍看似无限增长（速度变慢），且队列长度始终为0。
• 移除Sleep并将numPosts增至100_000时，内存随队列长度快速上升，但消息处理过程中内存基本稳定，完成后仍维持高位，不符合“内存随队列长度下降”的预期。

行为解释 #

1. 尾递归场景下的内存缓慢增长 #

即便await是尾递归，MailboxProcessor的异步消息处理机制仍会为每个Receive操作生成异步状态机实例。尾递归仅避免了栈溢出，但这些状态机对象会被暂时保留在GC的托管堆中：

• 每秒发送1000条消息（Sleep 1）时，消息处理速度和发送速度几乎持平，GC的回收阈值未触发，因此内存会缓慢上升，直到GC执行回收才会下降。
• 队列长度始终为0是因为消息处理与发送速度匹配，无消息堆积。

2. 无Sleep、大数量消息时的内存高位维持 #

一次性发送100_000条消息时，MailboxProcessor的消息队列会快速堆积，CLR会为队列分配足够内存存储消息对象：

• 消息处理过程中内存稳定，是因为队列长度不再增长，GC会逐步回收已处理的消息对象，但异步状态机和内部缓冲对象不会立即被回收——CLR的GC采用分代回收机制，这些对象可能被提升到更高代（第1代或第2代），而高代GC的回收频率更低。
• 处理完成后内存仍维持高位，是因为高代对象还未触发回收。手动调用System.GC.Collect()可强制回收，内存会明显下降，但生产环境不建议手动干预，GC会自行在合适时机完成回收。

补充：异步尾递归的误区 #

F#的异步尾递归return!确实不会造成栈堆积，但这里的“栈”指的是异步状态机的调用栈，而非托管堆的内存占用。异步操作的状态机本身是托管对象，会占用堆内存，仅当GC回收时才会释放。

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