Jak ustawić liczbę wątków w czasie wykonywania (unikanie + RTS -N #)

Question

Pragnę uruchomić mój równoległe programy jak

$ myprogram <args> -n 4 <args> 

zamiast

$ myprogram <args> +RTS -N4 -RTS <args> 

głównym powodem jest normalizacja format argumentów na moich programach.

Wiem, że to może zrobić jak

$ myprogramwrapper <args> -n 4 <args> 
$ cat myprogramwrapper 
#!/bin/bash 
ARG1=parse args 
ARG2=... 
NCORES=.... 
myprogram $ARG1 ... +RTS -N$NCORES 

ale to brzydkie.

Wielkie dzięki! :)

Answer 1

Możesz użyć funkcji setNumCapabilities w czasie wykonywania.