examples/gras/synchro/test_sg_64

   1 p Runs the 'philosopher' test within the simulator
   2
   3 $ $SG_TEST_EXENV ./synchro_simulator${EXEEXT:=} ${srcdir:=.}/../../msg/small_platform.xml ${srcdir:=.}/synchro.xml
   4 > [Tremblay:philosopher:(1) 0.000000] [philo/INFO] Spawn the 5 threads (10 lunches scheduled)
   5 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 gets hungry (lunch #0)
   6 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 eats
   7 > [Tremblay:thread 1:(1) 0.000000] [philo/INFO] Thread 1 gets hungry (lunch #0)
   8 > [Tremblay:thread 2:(1) 0.000000] [philo/INFO] Thread 2 gets hungry (lunch #0)
   9 > [Tremblay:thread 2:(1) 0.000000] [philo/INFO] Thread 2 eats
  10 > [Tremblay:thread 3:(1) 0.000000] [philo/INFO] Thread 3 gets hungry (lunch #0)
  11 > [Tremblay:thread 4:(1) 0.000000] [philo/INFO] Thread 4 gets hungry (lunch #0)
  12 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 is full
  13 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 thinks
  14 > [Tremblay:thread 4:(1) 0.000000] [philo/INFO] Thread 4 eats
  15 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 gets hungry (lunch #1)
  16 > [Tremblay:thread 2:(1) 0.020000] [philo/INFO] Thread 2 is full
  17 > [Tremblay:thread 2:(1) 0.020000] [philo/INFO] Thread 2 thinks
  18 > [Tremblay:thread 1:(1) 0.020000] [philo/INFO] Thread 1 eats
  19 > [Tremblay:thread 1:(1) 0.030000] [philo/INFO] Thread 1 is full
  20 > [Tremblay:thread 1:(1) 0.030000] [philo/INFO] Thread 1 thinks
  21 > [Tremblay:thread 4:(1) 0.040000] [philo/INFO] Thread 4 is full
  22 > [Tremblay:thread 4:(1) 0.040000] [philo/INFO] Thread 4 thinks
  23 > [Tremblay:thread 1:(1) 0.040000] [philo/INFO] Thread 1 gets hungry (lunch #1)
  24 > [Tremblay:thread 1:(1) 0.040000] [philo/INFO] Thread 1 eats
  25 > [Tremblay:thread 2:(1) 0.040000] [philo/INFO] Thread 2 gets hungry (lunch #1)
  26 > [Tremblay:thread 3:(1) 0.040000] [philo/INFO] Thread 3 eats
  27 > [Tremblay:thread 1:(1) 0.050000] [philo/INFO] Thread 1 is full
  28 > [Tremblay:thread 1:(1) 0.050000] [philo/INFO] Thread 1 thinks
  29 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  30 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  31 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  32 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #2)
  33 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  34 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  35 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  36 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #3)
  37 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  38 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  39 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  40 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #4)
  41 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  42 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  43 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  44 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #5)
  45 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  46 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  47 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  48 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #6)
  49 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  50 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  51 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  52 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #7)
  53 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  54 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  55 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  56 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #8)
  57 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  58 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  59 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  60 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #9)
  61 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
  62 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
  63 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
  64 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 tries to enter the dead-end; hopefully, the master will cancel it
  65 > [Tremblay:thread 1:(1) 0.060000] [philo/INFO] Thread 1 gets hungry (lunch #2)
  66 > [Tremblay:thread 1:(1) 0.060000] [philo/INFO] Thread 1 eats
  67 > [Tremblay:thread 3:(1) 0.070000] [philo/INFO] Thread 3 is full
  68 > [Tremblay:thread 3:(1) 0.070000] [philo/INFO] Thread 3 thinks
  69 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 is full
  70 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 thinks
  71 > [Tremblay:thread 2:(1) 0.070000] [philo/INFO] Thread 2 eats
  72 > [Tremblay:thread 4:(1) 0.080000] [philo/INFO] Thread 4 gets hungry (lunch #1)
  73 > [Tremblay:thread 4:(1) 0.080000] [philo/INFO] Thread 4 eats
  74 > [Tremblay:thread 1:(1) 0.080000] [philo/INFO] Thread 1 gets hungry (lunch #3)
  75 > [Tremblay:thread 2:(1) 0.090000] [philo/INFO] Thread 2 is full
  76 > [Tremblay:thread 2:(1) 0.090000] [philo/INFO] Thread 2 thinks
  77 > [Tremblay:thread 1:(1) 0.090000] [philo/INFO] Thread 1 eats
  78 > [Tremblay:thread 3:(1) 0.100000] [philo/INFO] Thread 3 gets hungry (lunch #1)
  79 > [Tremblay:thread 1:(1) 0.100000] [philo/INFO] Thread 1 is full
  80 > [Tremblay:thread 1:(1) 0.100000] [philo/INFO] Thread 1 thinks
  81 > [Tremblay:thread 1:(1) 0.110000] [philo/INFO] Thread 1 gets hungry (lunch #4)
  82 > [Tremblay:thread 1:(1) 0.110000] [philo/INFO] Thread 1 eats
  83 > [Tremblay:thread 2:(1) 0.110000] [philo/INFO] Thread 2 gets hungry (lunch #2)
  84 > [Tremblay:thread 4:(1) 0.120000] [philo/INFO] Thread 4 is full
  85 > [Tremblay:thread 4:(1) 0.120000] [philo/INFO] Thread 4 thinks
  86 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 is full
  87 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 thinks
  88 > [Tremblay:thread 3:(1) 0.120000] [philo/INFO] Thread 3 eats
  89 > [Tremblay:thread 1:(1) 0.130000] [philo/INFO] Thread 1 gets hungry (lunch #5)
  90 > [Tremblay:thread 1:(1) 0.130000] [philo/INFO] Thread 1 eats
  91 > [Tremblay:thread 1:(1) 0.140000] [philo/INFO] Thread 1 is full
  92 > [Tremblay:thread 1:(1) 0.140000] [philo/INFO] Thread 1 thinks
  93 > [Tremblay:thread 3:(1) 0.150000] [philo/INFO] Thread 3 is full
  94 > [Tremblay:thread 3:(1) 0.150000] [philo/INFO] Thread 3 thinks
  95 > [Tremblay:thread 1:(1) 0.150000] [philo/INFO] Thread 1 gets hungry (lunch #6)
  96 > [Tremblay:thread 1:(1) 0.150000] [philo/INFO] Thread 1 eats
  97 > [Tremblay:thread 4:(1) 0.160000] [philo/INFO] Thread 4 gets hungry (lunch #2)
  98 > [Tremblay:thread 4:(1) 0.160000] [philo/INFO] Thread 4 eats
  99 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 is full
 100 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 thinks
 101 > [Tremblay:thread 2:(1) 0.160000] [philo/INFO] Thread 2 eats
 102 > [Tremblay:thread 1:(1) 0.170000] [philo/INFO] Thread 1 gets hungry (lunch #7)
 103 > [Tremblay:thread 3:(1) 0.180000] [philo/INFO] Thread 3 gets hungry (lunch #2)
 104 > [Tremblay:thread 2:(1) 0.180000] [philo/INFO] Thread 2 is full
 105 > [Tremblay:thread 2:(1) 0.180000] [philo/INFO] Thread 2 thinks
 106 > [Tremblay:thread 1:(1) 0.180000] [philo/INFO] Thread 1 eats
 107 > [Tremblay:thread 1:(1) 0.190000] [philo/INFO] Thread 1 is full
 108 > [Tremblay:thread 1:(1) 0.190000] [philo/INFO] Thread 1 thinks
 109 > [Tremblay:thread 2:(1) 0.200000] [philo/INFO] Thread 2 gets hungry (lunch #3)
 110 > [Tremblay:thread 2:(1) 0.200000] [philo/INFO] Thread 2 eats
 111 > [Tremblay:thread 1:(1) 0.200000] [philo/INFO] Thread 1 gets hungry (lunch #8)
 112 > [Tremblay:thread 4:(1) 0.200000] [philo/INFO] Thread 4 is full
 113 > [Tremblay:thread 4:(1) 0.200000] [philo/INFO] Thread 4 thinks
 114 > [Tremblay:thread 2:(1) 0.220000] [philo/INFO] Thread 2 is full
 115 > [Tremblay:thread 2:(1) 0.220000] [philo/INFO] Thread 2 thinks
 116 > [Tremblay:thread 1:(1) 0.220000] [philo/INFO] Thread 1 eats
 117 > [Tremblay:thread 3:(1) 0.220000] [philo/INFO] Thread 3 eats
 118 > [Tremblay:thread 1:(1) 0.230000] [philo/INFO] Thread 1 is full
 119 > [Tremblay:thread 1:(1) 0.230000] [philo/INFO] Thread 1 thinks
 120 > [Tremblay:thread 2:(1) 0.240000] [philo/INFO] Thread 2 gets hungry (lunch #4)
 121 > [Tremblay:thread 1:(1) 0.240000] [philo/INFO] Thread 1 gets hungry (lunch #9)
 122 > [Tremblay:thread 1:(1) 0.240000] [philo/INFO] Thread 1 eats
 123 > [Tremblay:thread 4:(1) 0.240000] [philo/INFO] Thread 4 gets hungry (lunch #3)
 124 > [Tremblay:thread 3:(1) 0.250000] [philo/INFO] Thread 3 is full
 125 > [Tremblay:thread 3:(1) 0.250000] [philo/INFO] Thread 3 thinks
 126 > [Tremblay:thread 1:(1) 0.250000] [philo/INFO] Thread 1 is full
 127 > [Tremblay:thread 1:(1) 0.250000] [philo/INFO] Thread 1 thinks
 128 > [Tremblay:thread 2:(1) 0.250000] [philo/INFO] Thread 2 eats
 129 > [Tremblay:thread 4:(1) 0.250000] [philo/INFO] Thread 4 eats
 130 > [Tremblay:thread 1:(1) 0.260000] [philo/INFO] Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
 131 > [Tremblay:thread 2:(1) 0.270000] [philo/INFO] Thread 2 is full
 132 > [Tremblay:thread 2:(1) 0.270000] [philo/INFO] Thread 2 thinks
 133 > [Tremblay:thread 3:(1) 0.280000] [philo/INFO] Thread 3 gets hungry (lunch #3)
 134 > [Tremblay:thread 4:(1) 0.290000] [philo/INFO] Thread 4 is full
 135 > [Tremblay:thread 4:(1) 0.290000] [philo/INFO] Thread 4 thinks
 136 > [Tremblay:thread 2:(1) 0.290000] [philo/INFO] Thread 2 gets hungry (lunch #5)
 137 > [Tremblay:thread 2:(1) 0.290000] [philo/INFO] Thread 2 eats
 138 > [Tremblay:thread 2:(1) 0.310000] [philo/INFO] Thread 2 is full
 139 > [Tremblay:thread 2:(1) 0.310000] [philo/INFO] Thread 2 thinks
 140 > [Tremblay:thread 3:(1) 0.310000] [philo/INFO] Thread 3 eats
 141 > [Tremblay:thread 4:(1) 0.330000] [philo/INFO] Thread 4 gets hungry (lunch #4)
 142 > [Tremblay:thread 2:(1) 0.330000] [philo/INFO] Thread 2 gets hungry (lunch #6)
 143 > [Tremblay:thread 3:(1) 0.340000] [philo/INFO] Thread 3 is full
 144 > [Tremblay:thread 3:(1) 0.340000] [philo/INFO] Thread 3 thinks
 145 > [Tremblay:thread 2:(1) 0.340000] [philo/INFO] Thread 2 eats
 146 > [Tremblay:thread 4:(1) 0.340000] [philo/INFO] Thread 4 eats
 147 > [Tremblay:thread 2:(1) 0.360000] [philo/INFO] Thread 2 is full
 148 > [Tremblay:thread 2:(1) 0.360000] [philo/INFO] Thread 2 thinks
 149 > [Tremblay:thread 3:(1) 0.370000] [philo/INFO] Thread 3 gets hungry (lunch #4)
 150 > [Tremblay:thread 4:(1) 0.380000] [philo/INFO] Thread 4 is full
 151 > [Tremblay:thread 4:(1) 0.380000] [philo/INFO] Thread 4 thinks
 152 > [Tremblay:thread 2:(1) 0.380000] [philo/INFO] Thread 2 gets hungry (lunch #7)
 153 > [Tremblay:thread 2:(1) 0.380000] [philo/INFO] Thread 2 eats
 154 > [Tremblay:thread 2:(1) 0.400000] [philo/INFO] Thread 2 is full
 155 > [Tremblay:thread 2:(1) 0.400000] [philo/INFO] Thread 2 thinks
 156 > [Tremblay:thread 3:(1) 0.400000] [philo/INFO] Thread 3 eats
 157 > [Tremblay:thread 4:(1) 0.420000] [philo/INFO] Thread 4 gets hungry (lunch #5)
 158 > [Tremblay:thread 2:(1) 0.420000] [philo/INFO] Thread 2 gets hungry (lunch #8)
 159 > [Tremblay:thread 3:(1) 0.430000] [philo/INFO] Thread 3 is full
 160 > [Tremblay:thread 3:(1) 0.430000] [philo/INFO] Thread 3 thinks
 161 > [Tremblay:thread 2:(1) 0.430000] [philo/INFO] Thread 2 eats
 162 > [Tremblay:thread 4:(1) 0.430000] [philo/INFO] Thread 4 eats
 163 > [Tremblay:thread 2:(1) 0.450000] [philo/INFO] Thread 2 is full
 164 > [Tremblay:thread 2:(1) 0.450000] [philo/INFO] Thread 2 thinks
 165 > [Tremblay:thread 3:(1) 0.460000] [philo/INFO] Thread 3 gets hungry (lunch #5)
 166 > [Tremblay:thread 4:(1) 0.470000] [philo/INFO] Thread 4 is full
 167 > [Tremblay:thread 4:(1) 0.470000] [philo/INFO] Thread 4 thinks
 168 > [Tremblay:thread 2:(1) 0.470000] [philo/INFO] Thread 2 gets hungry (lunch #9)
 169 > [Tremblay:thread 2:(1) 0.470000] [philo/INFO] Thread 2 eats
 170 > [Tremblay:thread 2:(1) 0.490000] [philo/INFO] Thread 2 is full
 171 > [Tremblay:thread 2:(1) 0.490000] [philo/INFO] Thread 2 thinks
 172 > [Tremblay:thread 3:(1) 0.490000] [philo/INFO] Thread 3 eats
 173 > [Tremblay:thread 4:(1) 0.510000] [philo/INFO] Thread 4 gets hungry (lunch #6)
 174 > [Tremblay:thread 2:(1) 0.510000] [philo/INFO] Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
 175 > [Tremblay:thread 3:(1) 0.520000] [philo/INFO] Thread 3 is full
 176 > [Tremblay:thread 3:(1) 0.520000] [philo/INFO] Thread 3 thinks
 177 > [Tremblay:thread 4:(1) 0.520000] [philo/INFO] Thread 4 eats
 178 > [Tremblay:thread 3:(1) 0.550000] [philo/INFO] Thread 3 gets hungry (lunch #6)
 179 > [Tremblay:thread 4:(1) 0.560000] [philo/INFO] Thread 4 is full
 180 > [Tremblay:thread 4:(1) 0.560000] [philo/INFO] Thread 4 thinks
 181 > [Tremblay:thread 3:(1) 0.560000] [philo/INFO] Thread 3 eats
 182 > [Tremblay:thread 3:(1) 0.590000] [philo/INFO] Thread 3 is full
 183 > [Tremblay:thread 3:(1) 0.590000] [philo/INFO] Thread 3 thinks
 184 > [Tremblay:thread 4:(1) 0.600000] [philo/INFO] Thread 4 gets hungry (lunch #7)
 185 > [Tremblay:thread 4:(1) 0.600000] [philo/INFO] Thread 4 eats
 186 > [Tremblay:thread 3:(1) 0.620000] [philo/INFO] Thread 3 gets hungry (lunch #7)
 187 > [Tremblay:thread 4:(1) 0.640000] [philo/INFO] Thread 4 is full
 188 > [Tremblay:thread 4:(1) 0.640000] [philo/INFO] Thread 4 thinks
 189 > [Tremblay:thread 3:(1) 0.640000] [philo/INFO] Thread 3 eats
 190 > [Tremblay:thread 3:(1) 0.670000] [philo/INFO] Thread 3 is full
 191 > [Tremblay:thread 3:(1) 0.670000] [philo/INFO] Thread 3 thinks
 192 > [Tremblay:thread 4:(1) 0.680000] [philo/INFO] Thread 4 gets hungry (lunch #8)
 193 > [Tremblay:thread 4:(1) 0.680000] [philo/INFO] Thread 4 eats
 194 > [Tremblay:thread 3:(1) 0.700000] [philo/INFO] Thread 3 gets hungry (lunch #8)
 195 > [Tremblay:thread 4:(1) 0.720000] [philo/INFO] Thread 4 is full
 196 > [Tremblay:thread 4:(1) 0.720000] [philo/INFO] Thread 4 thinks
 197 > [Tremblay:thread 3:(1) 0.720000] [philo/INFO] Thread 3 eats
 198 > [Tremblay:thread 3:(1) 0.750000] [philo/INFO] Thread 3 is full
 199 > [Tremblay:thread 3:(1) 0.750000] [philo/INFO] Thread 3 thinks
 200 > [Tremblay:thread 4:(1) 0.760000] [philo/INFO] Thread 4 gets hungry (lunch #9)
 201 > [Tremblay:thread 4:(1) 0.760000] [philo/INFO] Thread 4 eats
 202 > [Tremblay:thread 3:(1) 0.780000] [philo/INFO] Thread 3 gets hungry (lunch #9)
 203 > [Tremblay:thread 4:(1) 0.800000] [philo/INFO] Thread 4 is full
 204 > [Tremblay:thread 4:(1) 0.800000] [philo/INFO] Thread 4 thinks
 205 > [Tremblay:thread 3:(1) 0.800000] [philo/INFO] Thread 3 eats
 206 > [Tremblay:thread 3:(1) 0.830000] [philo/INFO] Thread 3 is full
 207 > [Tremblay:thread 3:(1) 0.830000] [philo/INFO] Thread 3 thinks
 208 > [Tremblay:thread 4:(1) 0.840000] [philo/INFO] Thread 4 tries to enter the dead-end; hopefully, the master will cancel it
 209 > [Tremblay:thread 3:(1) 0.860000] [philo/INFO] Thread 3 tries to enter the dead-end; hopefully, the master will cancel it
 210 > [Tremblay:philosopher:(1) 0.860000] [philo/INFO] Cancel all childs
 211 > [Tremblay:philosopher:(1) 0.860000] [gras/INFO] Exiting GRAS