Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
control better random, returning to assertion
[simgrid.git] / teshsuite / surf / maxmin_bench / maxmin_bench.c
1 /* A crash few tests for the maxmin library                                 */
2
3 /* Copyright (c) 2004-2015. The SimGrid Team.
4  * All rights reserved.                                                     */
5
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. */
8
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 */
13
14 #include <stdlib.h>
15 #include <stdio.h>
16
17 double date;
18
19 double float_random(double max);
20 double float_random(double max)
21 {
22   return ((max * rand()) / (RAND_MAX + 1.0));
23 }
24
25 int int_random(int max);
26 int int_random(int max)
27 {
28   return (int) (((max * 1.0) * rand()) / (RAND_MAX + 1.0));
29 }
30
31 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);
32 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)
33 {
34   lmm_system_t Sys = NULL;
35   lmm_constraint_t *cnst = xbt_new0(lmm_constraint_t, nb_cnst);
36   lmm_variable_t *var = xbt_new0(lmm_variable_t, nb_var);
37   int *used = xbt_new0(int, nb_cnst);
38   int i, j, k,l;
39   int concurrency_share;
40   
41   Sys = lmm_system_new(1);
42
43   for (i = 0; i < nb_cnst; i++) {
44     cnst[i] = lmm_constraint_new(Sys, NULL, float_random(10.0));
45     if(rate_no_limit>float_random(1.0))
46       //Look at what happens when there is no concurrency limit 
47       l=-1;
48     else
49       //Badly logarithmically random concurrency limit in [2^pw_base_limit+1,2^pw_base_limit+2^pw_max_limit]
50       l=(1<<pw_base_limit)+(1<<int_random(pw_max_limit));
51  
52     lmm_constraint_concurrency_limit_set(cnst[i],l );
53   }
54   
55   for (i = 0; i < nb_var; i++) {
56     var[i] = lmm_variable_new(Sys, NULL, 1.0, -1.0, nb_elem);
57     //Have a few variables with a concurrency share of two (e.g. cross-traffic in some cases)
58     concurrency_share=1+int_random(max_share);
59     lmm_variable_concurrency_share_set(var[i],concurrency_share);
60       
61     for (j = 0; j < nb_cnst; j++)
62       used[j] = 0;
63     for (j = 0; j < nb_elem; j++) {
64       k = int_random(nb_cnst);
65       if (used[k]>=concurrency_share) {
66         j--;
67         continue;
68       }
69       lmm_expand(Sys, cnst[k], var[i], float_random(1.5));
70       lmm_expand_add(Sys, cnst[k], var[i], float_random(1.5));
71       used[k]++;
72     }
73   }
74
75   printf("Starting to solve(%i,%i,%i)\n",rand()%1000,rand()%1000,rand()%1000);
76   date = xbt_os_time() * 1000000;
77   lmm_solve(Sys);
78   date = xbt_os_time() * 1000000 - date;
79
80   if(mode==1){
81     printf("Max concurrency:\n");
82     l=0;
83     for (i = 0; i < nb_cnst; i++) {
84       j=lmm_constraint_concurrency_maximum_get(cnst[i]);
85       k=lmm_constraint_concurrency_limit_get(cnst[i]);
86       xbt_assert(k<0 || j<=k);
87       if(j>l)
88         l=j;
89       printf("(%i):%i/%i ",i,j,k);
90       lmm_constraint_concurrency_maximum_reset(cnst[i]);
91       xbt_assert(!lmm_constraint_concurrency_maximum_get(cnst[i]));
92       if(i%10==9)
93         printf("\n");    
94     }
95     printf("\nTotal maximum concurrency is %i\n",l);
96
97     lmm_print(Sys);
98   }
99   
100   for (i = 0; i < nb_var; i++)
101     lmm_variable_free(Sys, var[i]);
102   lmm_system_free(Sys);
103   free(cnst);
104   free(var);
105   free(used);
106   
107 }
108
109 int TestClasses [][4]=
110   //Nbcnst Nbvar Baselimit Maxlimit 
111   {{  10  ,10    ,1        ,2 }, //small
112    {  100 ,100   ,3        ,6 }, //medium
113    {  2000,2000  ,5        ,8 }, //big
114    { 20000,20000 ,7        ,10}  //huge
115   }; 
116
117 int main(int argc, char **argv)
118 {
119   int nb_cnst, nb_var,nb_elem,pw_base_limit,pw_max_limit,max_share;
120   float rate_no_limit=0.2;
121   float acc_date=0,acc_date2=0;
122   int testclass,mode,testcount;
123   int i;
124   
125   if(argc<3) {
126     printf("Syntax: <small|medium|big|huge> <count> [test|debug|perf]\n");
127     return -1;
128   }
129
130   //what class?
131   if(!strcmp(argv[1],"small"))
132       testclass=0;
133   else if(!strcmp(argv[1],"medium"))
134       testclass=1;
135   else if(!strcmp(argv[1],"big"))
136       testclass=2;
137   else if(!strcmp(argv[1],"huge"))
138       testclass=3;
139   else {
140     printf("Unknown class \"%s\", aborting!\n",argv[1]);
141     return -2;
142   }
143
144   
145   //How many times?
146   testcount=atoi(argv[2]);
147   
148   //Show me everything (debug or performance)!
149   mode=0;
150   if(argc>=4 && strcmp(argv[3],"test")==0)
151     mode=1;
152   if(argc>=4 && strcmp(argv[3],"debug")==0)
153     mode=2;
154   if(argc>=4 && strcmp(argv[3],"perf")==0)
155     mode=3;
156
157
158   if(mode==1)
159     xbt_log_control_set("surf/maxmin.threshold:DEBUG surf/maxmin.fmt:\'[%r]: [%c/%p] %m%n\'\
160                          surf.threshold:DEBUG surf.fmt:\'[%r]: [%c/%p] %m%n\' ");
161   
162   if(mode==2)
163     xbt_log_control_set("surf/maxmin.threshold:DEBUG surf.threshold:DEBUG");
164     
165   nb_cnst= TestClasses[testclass][0];
166   nb_var= TestClasses[testclass][1];
167   pw_base_limit= TestClasses[testclass][2];
168   pw_max_limit= TestClasses[testclass][3];
169   max_share=2; //1<<(pw_base_limit/2+1);
170
171   //If you want to test concurrency, you need nb_elem >> 2^pw_base_limit:
172   nb_elem= (1<<pw_base_limit)+(1<<(8*pw_max_limit/10));
173   //Otherwise, just set it to a constant value (and set rate_no_limit to 1.0):
174   //nb_elem=200
175
176   xbt_init(&argc, argv);
177   
178   for(i=0;i<testcount;i++){
179     srand(i+1);
180     printf("Starting %i: (%i,%i,%i)\n",i,rand()%1000,rand()%1000,rand()%1000);
181     test(nb_cnst, nb_var, nb_elem, pw_base_limit, pw_max_limit, rate_no_limit,max_share,mode);
182     acc_date+=date;
183     acc_date2+=date*date;
184   }
185
186   float mean_date= acc_date/(float)testcount;  
187   float stdev_date= sqrt(acc_date2/(float)testcount-mean_date*mean_date);
188     
189   printf("%ix One shot execution time for a total of %d constraints, "
190          "%d variables with %d active constraint each, concurrency in [%i,%i] and max concurrency share %i\n",
191          testcount,nb_cnst, nb_var, nb_elem, (1<<pw_base_limit), (1<<pw_base_limit)+(1<<pw_max_limit), max_share);
192   if(mode==3)
193          printf("Execution time: %g +- %g  microseconds \n",mean_date, stdev_date);
194   return 0;
195 }