三公算账机器人 核心矛盾:OpenMP 的 fork/join 模型不适合细粒度并行
这个系列越来越硬核了。第十二篇精准地打在你长期关注的"系统边界与取舍"主题上——OpenMP 本身是个好东西,但在 FHE 这种小并行区密集的场景下,它的通用抽象层变成了性能税。---核心矛盾:OpenMP 的 fork/join 模型不适合细粒度并行OpenMP 的基本模型是[citation:web:57.4]:进入并行区 → 唤醒线程 → 分发任务 → 汇合(barrier)对科学计算里几百毫秒一段的粗粒度并行,这点开销可以忽略。但 FHE 的并行结构是嵌套且细碎的[citation:web:57.4]:112 个素数 → 每素数一个 NTTn = 2048 个系数...