同时使用withTaskGroup与async let导致结果异常的技术问询

以下是使用withTaskGroup的简化代码：

let allResults = await withTaskGroup(of: ([Double], Float, Float, Int).self,
                                     returning: FinalResult.self,
                                     body: { taskGroup in

    for operation in operations {
        taskGroup.addTask { @MainActor in
            let value = await operation.execute()
            return value
        }
    }
    
    // 在此收集子任务结果...
})

execute函数包含机器学习特征提取等计算密集型任务：

func execute() async -> ([Double], Float, Float, Int) {
    async let result0: [Double] = process0() ?? []
    async let result1: Float = process1() ?? -1
    async let result2: Float = process2()
    async let result3: Int = process3()
    return (await result0, await result1, await result2, await result3)
}

遇到的问题：最终结果不一致，有时会得到正常结果，有时却得到长度为512的全零特征数组（本该是非零值）。改用普通for loop替代withTaskGroup时结果更稳定。想了解：

• 同时使用withTaskGroup和async let这种嵌套并行是否存在问题？比如4个operations会产生16个并行任务，超过CPU可用核心数是否有影响？

1. 嵌套并行本身无问题，核心原因大概率是process函数的线程不安全
   Swift并发模型会自动调度任务，即便任务数超过CPU核心数，系统也会通过线程池合理分配资源，不会直接导致结果异常。出现偶发的全零数组错误，几乎可以确定是process0等计算函数存在线程安全隐患：比如多个并行任务同时访问未加保护的共享内存、全局模型实例，或是机器学习推理上下文未做线程隔离，导致计算数据被意外覆盖。而普通for loop是串行执行，不会触发并发访问冲突，所以结果稳定。

2. @MainActor标注可能加剧并发冲突
   你在taskGroup.addTask闭包中添加了@MainActor，这会让operation.execute()的调度绑定到主线程。但execute内部的async let会在全局并发池执行任务，不同调度域的任务混在一起，会让共享资源的竞争逻辑更混乱，增加线程安全问题的触发概率。

3. 验证与修复方向

• 检查并修复process函数的线程安全：如果用到全局模型、共享缓存或未同步变量，用actor封装相关状态，或是用串行DispatchQueue调度访问，确保同一时间只有一个任务操作这些资源。
• 移除不必要的@MainActor：如果execute不需要操作UI，无需绑定主线程，让任务在全局并发池调度，避免主线程阻塞和调度混乱。
• 临时串行化execute内的任务：把async let改成串行的await调用，如果此时withTaskGroup不再出现异常，就能坐实是并发访问导致的问题。

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