2020-10-09 15:55:37 +02:00
|
|
|
{
|
|
|
|
stdenv
|
|
|
|
, config
|
|
|
|
, stages
|
|
|
|
, targetMachine
|
|
|
|
, garlicTools
|
2020-11-17 10:49:45 +01:00
|
|
|
, bsc
|
2020-10-09 15:55:37 +02:00
|
|
|
}:
|
|
|
|
|
|
|
|
with stdenv.lib;
|
|
|
|
with garlicTools;
|
|
|
|
|
|
|
|
let
|
|
|
|
machineConf = targetMachine.config;
|
|
|
|
in
|
|
|
|
rec {
|
|
|
|
/* Takes a list of units and builds an experiment, after executing the
|
2020-10-13 13:00:59 +02:00
|
|
|
trebuchet, runexp and isolate stages. Returns the trebuchet stage. */
|
2020-10-09 17:19:00 +02:00
|
|
|
buildTrebuchet = units: stages.trebuchet {
|
2020-10-13 14:30:03 +02:00
|
|
|
inherit (machineConf) nixPrefix sshHost;
|
2020-10-13 13:00:59 +02:00
|
|
|
nextStage = stages.runexp {
|
2020-10-09 15:55:37 +02:00
|
|
|
inherit (machineConf) nixPrefix;
|
2020-10-13 13:00:59 +02:00
|
|
|
nextStage = stages.isolate {
|
|
|
|
inherit (machineConf) nixPrefix;
|
|
|
|
nextStage = stages.experiment {
|
|
|
|
inherit units;
|
|
|
|
};
|
2020-10-09 15:55:37 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
/* Given an attrset of lists `varConf` and a function `genConf` that accepts a
|
|
|
|
attrset, computes the cartesian product of all combinations of `varConf` calls
|
|
|
|
genConf to produce the final list of configurations. */
|
|
|
|
buildConfigs = {varConf, genConf}:
|
|
|
|
map (c: genConf c) (genConfigs varConf);
|
2020-10-09 15:55:37 +02:00
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
stdStages = {
|
|
|
|
sbatch = {nextStage, conf, ...}: with conf; stages.sbatch (
|
|
|
|
# Allow a user to define a custom reservation for the job in MareNostrum4,
|
|
|
|
# by setting the garlic.sbatch.reservation attribute in the
|
|
|
|
# ~/.config/nixpkgs/config.nix file. If the attribute is not set, no
|
|
|
|
# reservation is used. The user reservation may be overwritten by the
|
|
|
|
# experiment, if the reservation is set like with nodes or ntasksPerNode.
|
|
|
|
optionalAttrs (config ? garlic.sbatch.reservation) {
|
|
|
|
inherit (config.garlic.sbatch) reservation;
|
2020-11-13 10:17:54 +01:00
|
|
|
} //
|
|
|
|
# However, if the experiment contains a reservation, that takes priority
|
|
|
|
# over the one set in the ~/.config/nixpkgs/config.nix file
|
|
|
|
optionalAttrs (conf ? reservation) {
|
|
|
|
inherit (conf) reservation;
|
|
|
|
} //
|
|
|
|
# Finally, add all the other required parameters
|
|
|
|
{
|
2020-10-09 19:33:06 +02:00
|
|
|
exclusive = true;
|
|
|
|
inherit nextStage nixPrefix nodes ntasksPerNode time qos jobName;
|
|
|
|
}
|
|
|
|
);
|
2020-10-09 15:55:37 +02:00
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
control = {nextStage, conf, ...}: stages.control {
|
|
|
|
inherit (conf) loops;
|
|
|
|
inherit nextStage;
|
|
|
|
};
|
2020-10-09 15:55:37 +02:00
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
srun = {nextStage, conf, ...}: stages.srun {
|
|
|
|
inherit (conf) nixPrefix cpuBind;
|
|
|
|
inherit nextStage;
|
|
|
|
};
|
2020-10-09 15:55:37 +02:00
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
isolate = {nextStage, conf, ...}: stages.isolate {
|
|
|
|
clusterName = machineConf.name;
|
|
|
|
inherit (conf) nixPrefix;
|
|
|
|
inherit nextStage;
|
|
|
|
};
|
2020-10-09 15:55:37 +02:00
|
|
|
};
|
|
|
|
|
2020-10-09 19:33:06 +02:00
|
|
|
stdPipelineOverride = {overrides ? {}}:
|
|
|
|
let
|
|
|
|
stages = stdStages // overrides;
|
|
|
|
in
|
|
|
|
with stages; [ sbatch isolate control srun isolate ];
|
|
|
|
|
|
|
|
|
|
|
|
stdPipeline = stdPipelineOverride {};
|
2020-10-09 15:55:37 +02:00
|
|
|
|
2020-11-17 10:49:45 +01:00
|
|
|
replaceMpi = customMpi: bsc.extend (self: super: {
|
|
|
|
mpi = customMpi;
|
2020-10-09 17:19:00 +02:00
|
|
|
});
|
|
|
|
|
|
|
|
# Generate the experimental units
|
|
|
|
genUnits = {configs, pipeline}: map (c: stages.unit {
|
|
|
|
conf = c;
|
|
|
|
stages = pipeline;
|
|
|
|
}) configs;
|
|
|
|
|
|
|
|
# Generate the complete experiment
|
|
|
|
genExperiment = {configs, pipeline}:
|
|
|
|
let
|
|
|
|
units = genUnits { inherit configs pipeline; };
|
|
|
|
in
|
|
|
|
buildTrebuchet units;
|
2020-10-09 15:55:37 +02:00
|
|
|
}
|