1 /* A crash few tests for the maxmin library */
3 /* Copyright (c) 2004-2015. The SimGrid Team.
4 * All rights reserved. */
6 /* This program is free software; you can redistribute it and/or modify it
7 * under the terms of the license (GNU LGPL) which comes with this package. */
9 #include "surf/maxmin.h"
10 #include "xbt/module.h"
11 #include "xbt/xbt_os_time.h"
12 #include "xbt/sysdep.h" /* time manipulation for benchmarking */
14 #define MYRANDMAX 1000
20 unsigned long seedx= 0;
24 seedx=seedx * 16807 % 2147483647;
28 double float_random(double max);
29 double float_random(double max)
31 return ((max * myrand()) / (MYRANDMAX + 1.0));
34 int int_random(int max);
35 int int_random(int max)
37 return (int) (((max * 1.0) * myrand()) / (MYRANDMAX + 1.0));
40 void test(int nb_cnst, int nb_var, int nb_elem, int pw_base_limit, int pw_max_limit, float rate_no_limit, int max_share, int mode);
41 void test(int nb_cnst, int nb_var, int nb_elem, int pw_base_limit, int pw_max_limit, float rate_no_limit, int max_share, int mode)
43 lmm_system_t Sys = NULL;
44 lmm_constraint_t *cnst = xbt_new0(lmm_constraint_t, nb_cnst);
45 lmm_variable_t *var = xbt_new0(lmm_variable_t, nb_var);
46 int *used = xbt_new0(int, nb_cnst);
48 int concurrency_share;
52 Sys = lmm_system_new(1);
54 for (i = 0; i < nb_cnst; i++) {
55 cnst[i] = lmm_constraint_new(Sys, NULL, float_random(10.0));
56 if(rate_no_limit>float_random(1.0))
57 //Look at what happens when there is no concurrency limit
60 //Badly logarithmically random concurrency limit in [2^pw_base_limit+1,2^pw_base_limit+2^pw_max_limit]
61 l=(1<<pw_base_limit)+(1<<int_random(pw_max_limit));
63 lmm_constraint_concurrency_limit_set(cnst[i],l );
66 for (i = 0; i < nb_var; i++) {
67 var[i] = lmm_variable_new(Sys, NULL, 1.0, -1.0, nb_elem);
68 //Have a few variables with a concurrency share of two (e.g. cross-traffic in some cases)
69 concurrency_share=1+int_random(max_share);
70 lmm_variable_concurrency_share_set(var[i],concurrency_share);
72 for (j = 0; j < nb_cnst; j++)
74 for (j = 0; j < nb_elem; j++) {
75 k = int_random(nb_cnst);
76 if (used[k]>=concurrency_share) {
80 lmm_expand(Sys, cnst[k], var[i], float_random(1.5));
81 lmm_expand_add(Sys, cnst[k], var[i], float_random(1.5));
86 printf("Starting to solve(%i)\n",myrand()%1000);
87 date = xbt_os_time() * 1000000;
89 date = xbt_os_time() * 1000000 - date;
92 printf("Max concurrency:\n");
95 for (i = 0; i < nb_cnst; i++) {
96 j=lmm_constraint_concurrency_maximum_get(cnst[i]);
97 k=lmm_constraint_concurrency_limit_get(cnst[i]);
98 xbt_assert(k<0 || j<=k);
101 sprintf(buf,"(%i):%i/%i ",i,j,k);
102 lmm_constraint_concurrency_maximum_reset(cnst[i]);
103 xbt_assert(!lmm_constraint_concurrency_maximum_get(cnst[i]));
109 printf("\nTotal maximum concurrency is %i\n",l);
114 for (i = 0; i < nb_var; i++)
115 lmm_variable_free(Sys, var[i]);
116 lmm_system_free(Sys);
123 int TestClasses [][4]=
124 //Nbcnst Nbvar Baselimit Maxlimit
125 {{ 10 ,10 ,1 ,2 }, //small
126 { 100 ,100 ,3 ,6 }, //medium
127 { 2000,2000 ,5 ,8 }, //big
128 { 20000,20000 ,7 ,10} //huge
131 int main(int argc, char **argv)
133 int nb_cnst, nb_var,nb_elem,pw_base_limit,pw_max_limit,max_share;
134 float rate_no_limit=0.2;
135 float acc_date=0,acc_date2=0;
136 int testclass,mode,testcount;
140 printf("Syntax: <small|medium|big|huge> <count> [test|debug|perf]\n");
145 if(!strcmp(argv[1],"small"))
147 else if(!strcmp(argv[1],"medium"))
149 else if(!strcmp(argv[1],"big"))
151 else if(!strcmp(argv[1],"huge"))
154 printf("Unknown class \"%s\", aborting!\n",argv[1]);
160 testcount=atoi(argv[2]);
162 //Show me everything (debug or performance)!
164 if(argc>=4 && strcmp(argv[3],"test")==0)
166 if(argc>=4 && strcmp(argv[3],"debug")==0)
168 if(argc>=4 && strcmp(argv[3],"perf")==0)
173 xbt_log_control_set("surf/maxmin.threshold:DEBUG surf/maxmin.fmt:\'[%r]: [%c/%p] %m%n\'\
174 surf.threshold:DEBUG surf.fmt:\'[%r]: [%c/%p] %m%n\' ");
177 xbt_log_control_set("surf/maxmin.threshold:DEBUG surf.threshold:DEBUG");
179 nb_cnst= TestClasses[testclass][0];
180 nb_var= TestClasses[testclass][1];
181 pw_base_limit= TestClasses[testclass][2];
182 pw_max_limit= TestClasses[testclass][3];
183 max_share=2; //1<<(pw_base_limit/2+1);
185 //If you want to test concurrency, you need nb_elem >> 2^pw_base_limit:
186 nb_elem= (1<<pw_base_limit)+(1<<(8*pw_max_limit/10));
187 //Otherwise, just set it to a constant value (and set rate_no_limit to 1.0):
190 xbt_init(&argc, argv);
192 for(i=0;i<testcount;i++){
194 printf("Starting %i: (%i)\n",i,myrand()%1000);
195 test(nb_cnst, nb_var, nb_elem, pw_base_limit, pw_max_limit, rate_no_limit,max_share,mode);
197 acc_date2+=date*date;
200 float mean_date= acc_date/(float)testcount;
201 float stdev_date= sqrt(acc_date2/(float)testcount-mean_date*mean_date);
203 printf("%ix One shot execution time for a total of %d constraints, "
204 "%d variables with %d active constraint each, concurrency in [%i,%i] and max concurrency share %i\n",
205 testcount,nb_cnst, nb_var, nb_elem, (1<<pw_base_limit), (1<<pw_base_limit)+(1<<pw_max_limit), max_share);
207 printf("Execution time: %g +- %g microseconds \n",mean_date, stdev_date);