Wie die Anzahl der Threads zur Laufzeit (+ RTS-N # vermeiden)

Question

Ich wünsche als

$ myprogram <args> -n 4 <args> 

statt

meine parallele Programme laufen

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

der Hauptgrund ist der zu normalisieren Argument-Format für meine Programme.

Ich weiß, würde es kann

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

als

tun, aber es ist hässlich.

Vielen Dank! :)

Answer 1

Sie können die Funktion setNumCapabilities zur Laufzeit verwenden.