Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
是否有一个 IO 操作可以为我提供 RTS 初始化的操作系统线程数?如果能够将其用作 Control.Parallel.Strategies 模块中 parBuffer 函数的参数,那就太好了。
假设 GHC,您可以GHC.Conc.numCapabilities使用+RTS -N.
GHC.Conc.numCapabilities
+RTS -N