futhark-autotune¶
SYNOPSIS¶
futhark autotune [options…] program
DESCRIPTION¶
futhark-autotune
attemps to find optimal values for threshold
parameters given representative datasets. This is done by repeatedly
running running the program through futhark-bench with
different values for the threshold parameters. When
futhark-autotune
finishes tuning a program foo.fut
, the
results are written to foo.fut.tuning
, which will then
automatically be picked up by subsequent uses of
futhark-bench and futhark-test.
Currently, only the entry point named main
is tuned.
OPTIONS¶
--backend=name | The backend used when compiling Futhark programs (without leading
futhark , e.g. just opencl ). |
--futhark=program | |
The program used to perform operations (eg. compilation). Defaults
to the binary running futhark autotune itself. | |
--pass-option=opt | |
Pass an option to programs that are being run. For example, we might want to run OpenCL programs on a specific device: futhark autotune prog.fut --backend=opencl --pass-option=-dHawaii
| |
--runs=count | The number of runs per data set. |
-v, --verbose | Print verbose information about what the tuner is doing. Pass multiple times to increase the amount of information printed. |
--tuning=EXTENSION | |
Change the extension used for tuning files (.tuning by default). | |
--timeout=seconds | |
Initial tuning timeout for each dataset in seconds. After running the intitial tuning run on each dataset, the timeout is based on the run time of that initial tuning. Defaults to 60. A negative timeout means to wait indefinitely. |