File tree Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Original file line number Diff line number Diff line change @@ -1317,6 +1317,20 @@ end
1317
1317
1318
1318
write_cookie (io:: IO ) = print (io. in, string (cluster_cookie (), " \n " ))
1319
1319
1320
+ function get_threads_spec (opts)
1321
+ if opts. nthreads > 0
1322
+ @assert opts. nthreadpools >= 1
1323
+ @assert opts. nthreads_per_pool != C_NULL
1324
+ thr = " $(unsafe_load (opts. nthreads_per_pool)) "
1325
+ if opts. nthreadpools == 2
1326
+ thr = " $(thr) ,$(unsafe_load (opts. nthreads_per_pool, 2 )) "
1327
+ end
1328
+ ` --threads=$(thr) `
1329
+ else
1330
+ ` `
1331
+ end
1332
+ end
1333
+
1320
1334
# Starts workers specified by (-n|--procs) and --machine-file command line options
1321
1335
function process_opts (opts)
1322
1336
# startup worker.
@@ -1331,7 +1345,7 @@ function process_opts(opts)
1331
1345
end
1332
1346
1333
1347
# Propagate --threads to workers
1334
- threads = opts . nthreads > 0 ? ` --threads= $ (opts. nthreads) ` : ` `
1348
+ threads = get_threads_spec (opts)
1335
1349
gcthreads = opts. ngcthreads > 0 ? ` --gcthreads=$(opts. ngcthreads) ` : ` `
1336
1350
1337
1351
exeflags = ` $threads $gcthreads `
You can’t perform that action at this time.
0 commit comments