/* A few crash tests for the maxmin library */
-/* Copyright (c) 2004-2020. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2004-2023. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "xbt/sysdep.h" /* time manipulation for benchmarking */
#include "xbt/xbt_os_time.h"
+#include <array>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
-double date;
-
-static void test(int nb_cnst, int nb_var, int nb_elem, unsigned int pw_base_limit, unsigned int pw_max_limit,
- double rate_no_limit, int max_share, int mode)
+static double test(int nb_cnst, int nb_var, int nb_elem, unsigned int pw_base_limit, unsigned int pw_max_limit,
+ double rate_no_limit, int max_share, int mode)
{
- auto* cnst = new simgrid::kernel::lmm::Constraint*[nb_cnst];
- auto* var = new simgrid::kernel::lmm::Variable*[nb_var];
- auto* used = new int[nb_cnst];
+ std::vector<simgrid::kernel::lmm::Constraint*> constraints(nb_cnst);
+ std::vector<simgrid::kernel::lmm::Variable*> variables(nb_var);
/* We cannot activate the selective update as we pass nullptr as an Action when creating the variables */
- auto* Sys = new simgrid::kernel::lmm::System(false);
+ simgrid::kernel::lmm::MaxMin Sys(false);
- for (int i = 0; i < nb_cnst; i++) {
- cnst[i] = Sys->constraint_new(nullptr, simgrid::xbt::random::uniform_real(0.0, 10.0));
+ for (auto& cnst : constraints) {
+ cnst = Sys.constraint_new(nullptr, simgrid::xbt::random::uniform_real(0.0, 10.0));
int l;
if (rate_no_limit > simgrid::xbt::random::uniform_real(0.0, 1.0)) {
// Look at what happens when there is no concurrency limit
// Badly logarithmically random concurrency limit in [2^pw_base_limit+1,2^pw_base_limit+2^pw_max_limit]
l = (1 << pw_base_limit) + (1 << simgrid::xbt::random::uniform_int(0, pw_max_limit - 1));
}
- cnst[i]->set_concurrency_limit(l);
+ cnst->set_concurrency_limit(l);
}
- for (int i = 0; i < nb_var; i++) {
- var[i] = Sys->variable_new(nullptr, 1.0, -1.0, nb_elem);
+ for (auto& var : variables) {
+ var = Sys.variable_new(nullptr, 1.0, -1.0, nb_elem);
//Have a few variables with a concurrency share of two (e.g. cross-traffic in some cases)
short concurrency_share = 1 + static_cast<short>(simgrid::xbt::random::uniform_int(0, max_share - 1));
- var[i]->set_concurrency_share(concurrency_share);
- for (int j = 0; j < nb_cnst; j++)
- used[j] = 0;
+ std::vector<int> used(nb_cnst, 0);
for (int j = 0; j < nb_elem; j++) {
int k;
do {
k = simgrid::xbt::random::uniform_int(0, nb_cnst - 1);
} while (used[k] >= concurrency_share);
- Sys->expand(cnst[k], var[i], simgrid::xbt::random::uniform_real(0.0, 1.5));
- Sys->expand_add(cnst[k], var[i], simgrid::xbt::random::uniform_real(0.0, 1.5));
+ Sys.expand(constraints[k], var, simgrid::xbt::random::uniform_real(0.0, 1.5));
+ Sys.expand(constraints[k], var, simgrid::xbt::random::uniform_real(0.0, 1.5));
used[k]++;
}
}
fprintf(stderr, "Starting to solve(%i)\n", simgrid::xbt::random::uniform_int(0, 999));
- date = xbt_os_time() * 1000000;
- Sys->solve();
- date = xbt_os_time() * 1000000 - date;
+ double date = xbt_os_time();
+ Sys.solve();
+ date = (xbt_os_time() - date) * 1e6;
if(mode==2){
fprintf(stderr,"Max concurrency:\n");
int l=0;
for (int i = 0; i < nb_cnst; i++) {
- int j = cnst[i]->get_concurrency_maximum();
- int k = cnst[i]->get_concurrency_limit();
+ int j = constraints[i]->get_concurrency_maximum();
+ int k = constraints[i]->get_concurrency_limit();
xbt_assert(k<0 || j<=k);
if(j>l)
l=j;
fprintf(stderr,"(%i):%i/%i ",i,j,k);
- cnst[i]->reset_concurrency_maximum();
- xbt_assert(not cnst[i]->get_concurrency_maximum());
+ constraints[i]->reset_concurrency_maximum();
+ xbt_assert(not constraints[i]->get_concurrency_maximum());
if(i%10==9)
fprintf(stderr,"\n");
}
fprintf(stderr,"\nTotal maximum concurrency is %i\n",l);
- Sys->print();
+ Sys.print();
}
- for (int i = 0; i < nb_var; i++)
- Sys->variable_free(var[i]);
- delete Sys;
- delete[] cnst;
- delete[] var;
- delete[] used;
+ for (auto const& var : variables)
+ Sys.variable_free(var);
+
+ return date;
}
-unsigned int TestClasses [][4]=
- //Nbcnst Nbvar Baselimit Maxlimit
- {{ 10 ,10 ,1 ,2 }, //small
- { 100 ,100 ,3 ,6 }, //medium
- { 2000,2000 ,5 ,8 }, //big
- { 20000,20000 ,7 ,10} //huge
- };
+constexpr std::array<std::array<unsigned int, 4>, 4> TestClasses{{
+ // Nbcnst Nbvar Baselimit Maxlimit
+ {{10, 10, 1, 2}}, // small
+ {{100, 100, 3, 6}}, // medium
+ {{2000, 2000, 5, 8}}, // big
+ {{20000, 20000, 7, 10}} // huge
+}};
int main(int argc, char **argv)
{
mode=3;
if(mode==1)
- xbt_log_control_set("surf/maxmin.threshold:DEBUG surf/maxmin.fmt:\'[%r]: [%c/%p] %m%n\' "
- "surf.threshold:DEBUG surf.fmt:\'[%r]: [%c/%p] %m%n\' ");
+ xbt_log_control_set("ker_lmm.threshold:DEBUG ker_lmm.fmt:\'[%r]: [%c/%p] %m%n\' "
+ "kernel.threshold:DEBUG kernel.fmt:\'[%r]: [%c/%p] %m%n\' ");
if(mode==2)
- xbt_log_control_set("surf/maxmin.threshold:DEBUG surf.threshold:DEBUG");
+ xbt_log_control_set("ker_lmm.threshold:DEBUG kernel.threshold:DEBUG");
unsigned int nb_cnst= TestClasses[testclass][0];
unsigned int nb_var= TestClasses[testclass][1];
for(int i=0;i<testcount;i++){
simgrid::xbt::random::set_mersenne_seed(i + 1);
fprintf(stderr, "Starting %i: (%i)\n", i, simgrid::xbt::random::uniform_int(0, 999));
- test(nb_cnst, nb_var, nb_elem, pw_base_limit, pw_max_limit, rate_no_limit,max_share,mode);
+ double date = test(nb_cnst, nb_var, nb_elem, pw_base_limit, pw_max_limit, rate_no_limit, max_share, mode);
acc_date+=date;
acc_date2+=date*date;
}