Skip to main content

Module parallel

Module parallel 

Source
Expand description

轻量并行映射:按块切分,结果顺序与串行一致;不引入第三方线程池。

供 ATPG、桥接 SAT、策略断言等独立任务复用。

Functions§

map
对 tasks 逐项执行 f,按原顺序收集结果。
resolve_jobs
把请求的线程数收敛到 [1, tasks];0 表示自动,wasm32 强制串行。