Expand description
轻量并行映射:按块切分,结果顺序与串行一致;不引入第三方线程池。
供 ATPG、桥接 SAT、策略断言等独立任务复用。
Functions§
- map
- 对
tasks逐项执行f,按原顺序收集结果。 - resolve_
jobs - 把请求的线程数收敛到
[1, tasks];0表示自动,wasm32 强制串行。
轻量并行映射:按块切分,结果顺序与串行一致;不引入第三方线程池。
供 ATPG、桥接 SAT、策略断言等独立任务复用。
tasks 逐项执行 f,按原顺序收集结果。[1, tasks];0 表示自动,wasm32 强制串行。