Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit c59f298ae2 - Show all commits

View File

@@ -12,23 +12,23 @@ let
# Initial variable configuration
varConf = {
input = [
{ nodes=16 ; nprocz=32 ; granul=128; time= "02:00:00"; }
# { nodes=16 ; nprocz=32 ; granul=128; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul=64; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul=32; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul=16; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul= 9; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul= 5; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul= 4; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul= 2; time= "02:00:00"; }
{ nodes=16 ; nprocz=32 ; granul= 1; time= "02:00:00"; }
# { nodes=16 ; nprocz=32 ; granul= 2; time= "02:00:00"; }
# { nodes=16 ; nprocz=32 ; granul= 1; time= "02:00:00"; }
];
gitBranch = [
"garlic/mpi+send+omp+fork"
"garlic/mpi+send+omp+task"
"garlic/mpi+send+oss+task"
"garlic/mpi+isend+omp+task"
"garlic/mpi+isend+oss+task"
# "garlic/mpi+send+omp+fork"
# "garlic/mpi+send+omp+task"
# "garlic/mpi+send+oss+task"
# "garlic/mpi+isend+omp+task"
# "garlic/mpi+isend+oss+task"
"garlic/tampi+isend+oss+task"
];
};