FUTHARK-AUTOTUNE(1)

📦
version 0.25.32 · 5 versions
, in ubuntu resolute, ubuntu stonking

💖 FUTHARK-AUTOTUNE(1) 💖

okay bestie, welcome to the Futhark manual, section 1, and today's main character is futhark-autotune. no cap, this one is lowkey iconic.

✨ NAME ✨

futhark-autotune — calibrate run-time parameters 🎛️

🎀 SYNOPSIS 🎀

futhark autotune [options...] <program.fut>

🦋 DESCRIPTION 🦋

so like. futhark autotune tries to hunt down the optimal values for threshold parameters when you hand it representative datasets. how? by running the program over and over through futhark-bench (#futhark-bench-1) with different values for those threshold parameters, basically vibe-checking each combo until it finds the one that ate. 🔥

and the way that it pays off?? when futhark autotune finishes tuning a program foo.fut, the results get written to foo.fut.tuning, and then that file just gets picked up automatically by every subsequent use of futhark-bench (#futhark-bench-1) and futhark-test (#futhark-test-1). literally free upgrades, no extra work. periodt. 💅

👑 OPTIONS 👑

  • --backend=name — the backend used when compiling Futhark programs (without the leading futhark, so literally just opencl, bestie).
  • --futhark=program — the program used to do the operations (like, eg. compilation). defaults to the binary that's running futhark autotune itself. 🪞
  • --pass-option=opt — pass an option through to the programs that are being run. for example, maybe we 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 info about what the tuner is doing. pass it multiple times to crank up how much it spills. 🗣️
  • --skip-compilation — do not run the compiler, and instead assume the program has already been compiled. > use with caution. ⚠️ fr.
  • --spec-file=FILE — ignore the test specification inside the program file(s) and load them from this other file instead. these external test specifications use the same syntax as normal, just without line comment prefixes — a == is still expected. 📄
  • --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. ⏳ (yes, forever. main character energy.)

🌈 SEE ALSO 🌈

  • futhark-bench (#futhark-bench-1)

2013-2020, DIKU, University of Copenhagen

and that's the whole thing bestie!! 🫶 this was FUTHARK-AUTOTUNE(1) from the Futhark manual, version 0.25.32, dated Mar 11, 2026. slay, go tune something. 💜✨

📦 where this page comes from