2020-07-31 18:47:33 +02:00
|
|
|
{
|
|
|
|
stdenv
|
2020-08-04 11:51:09 +02:00
|
|
|
, numactl
|
2020-07-31 18:47:33 +02:00
|
|
|
}:
|
|
|
|
|
|
|
|
{
|
|
|
|
app
|
2020-08-10 18:25:53 +02:00
|
|
|
, chdirPrefix
|
|
|
|
, nixPrefix ? ""
|
2020-07-31 18:47:33 +02:00
|
|
|
, argv ? ""
|
|
|
|
, binary ? "/bin/run"
|
|
|
|
, ntasks ? null
|
2020-08-17 18:50:18 +02:00
|
|
|
, nodes ? null
|
2020-07-31 18:47:33 +02:00
|
|
|
, exclusive ? true # By default we run in exclusive mode
|
|
|
|
, qos ? null
|
|
|
|
, time ? null
|
|
|
|
, output ? "job_%j.out"
|
|
|
|
, error ? "job_%j.err"
|
|
|
|
, contiguous ? null
|
|
|
|
, extra ? null
|
|
|
|
}:
|
|
|
|
|
|
|
|
with stdenv.lib;
|
|
|
|
let
|
|
|
|
|
|
|
|
sbatchOpt = name: value: optionalString (value!=null)
|
|
|
|
"#SBATCH --${name}=${value}\n";
|
|
|
|
sbatchEnable = name: value: optionalString (value!=null)
|
|
|
|
"#SBATCH --${name}\n";
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "${app.name}-job";
|
|
|
|
preferLocalBuild = true;
|
|
|
|
|
|
|
|
src = ./.;
|
|
|
|
|
|
|
|
buildInputs = [ app ];
|
|
|
|
|
|
|
|
#SBATCH --tasks-per-node=48
|
|
|
|
#SBATCH --ntasks-per-socket=24
|
|
|
|
#SBATCH --cpus-per-task=1
|
|
|
|
dontBuild = true;
|
2020-08-10 18:25:53 +02:00
|
|
|
dontPatchShebangs = true;
|
2020-07-31 18:47:33 +02:00
|
|
|
|
|
|
|
installPhase = ''
|
2020-08-04 18:38:33 +02:00
|
|
|
mkdir -p $out
|
|
|
|
cat > $out/job <<EOF
|
2020-08-10 18:25:53 +02:00
|
|
|
#!/bin/sh
|
2020-07-31 18:47:33 +02:00
|
|
|
#SBATCH --job-name="${name}"
|
|
|
|
''
|
|
|
|
+ sbatchOpt "ntasks" ntasks
|
2020-08-17 18:50:18 +02:00
|
|
|
+ sbatchOpt "nodes" nodes
|
2020-08-10 18:25:53 +02:00
|
|
|
+ sbatchOpt "chdir" "${chdirPrefix}/$(basename $out)"
|
2020-07-31 18:47:33 +02:00
|
|
|
+ sbatchOpt "output" output
|
|
|
|
+ sbatchOpt "error" error
|
|
|
|
+ sbatchEnable "exclusive" exclusive
|
|
|
|
+ sbatchOpt "time" time
|
|
|
|
+ sbatchOpt "qos" qos
|
|
|
|
+ optionalString (extra!=null) extra
|
2020-08-10 14:13:28 +02:00
|
|
|
+
|
|
|
|
''
|
2020-08-17 18:50:18 +02:00
|
|
|
exec ${nixPrefix}${app}${binary} ${argv}
|
2020-07-31 18:47:33 +02:00
|
|
|
EOF
|
2020-08-10 18:25:53 +02:00
|
|
|
|
|
|
|
mkdir -p $out/bin
|
|
|
|
cat > $out/bin/run <<EOF
|
|
|
|
#!/bin/sh
|
|
|
|
if [ -e "${chdirPrefix}/$(basename $out)" ]; then
|
|
|
|
>&2 echo "Execution aborted: '${chdirPrefix}/$(basename $out)' already exists"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
mkdir -p "${chdirPrefix}/$(basename $out)"
|
|
|
|
echo sbatch ${nixPrefix}$out/job
|
|
|
|
sbatch ${nixPrefix}$out/job
|
|
|
|
EOF
|
|
|
|
chmod +x $out/bin/run
|
2020-07-31 18:47:33 +02:00
|
|
|
'';
|
|
|
|
}
|