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 2:(1) 0.040000] [philo/INFO] Thread 2 gets hungry (lunch #1)
  24 > [Tremblay:thread 2:(1) 0.040000] [philo/INFO] Thread 2 eats
  25 > [Tremblay:thread 1:(1) 0.040000] [philo/INFO] Thread 1 gets hungry (lunch #1)
  26 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  27 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  28 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  29 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #2)
  30 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  31 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  32 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  33 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #3)
  34 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  35 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  36 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  37 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #4)
  38 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  39 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  40 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  41 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #5)
  42 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  43 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  44 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  45 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #6)
  46 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  47 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  48 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  49 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #7)
  50 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  51 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  52 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  53 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #8)
  54 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  55 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  56 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  57 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 gets hungry (lunch #9)
  58 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 eats
  59 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 is full
  60 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 thinks
  61 > [Tremblay:thread 0:(1) 0.040000] [philo/INFO] Thread 0 tries to enter the dead-end; hopefully, the master will cancel it
  62 > [Tremblay:thread 2:(1) 0.060000] [philo/INFO] Thread 2 is full
  63 > [Tremblay:thread 2:(1) 0.060000] [philo/INFO] Thread 2 thinks
  64 > [Tremblay:thread 1:(1) 0.060000] [philo/INFO] Thread 1 eats
  65 > [Tremblay:thread 3:(1) 0.060000] [philo/INFO] Thread 3 eats
  66 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 is full
  67 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 thinks
  68 > [Tremblay:thread 4:(1) 0.080000] [philo/INFO] Thread 4 gets hungry (lunch #1)
  69 > [Tremblay:thread 2:(1) 0.080000] [philo/INFO] Thread 2 gets hungry (lunch #2)
  70 > [Tremblay:thread 1:(1) 0.080000] [philo/INFO] Thread 1 gets hungry (lunch #2)
  71 > [Tremblay:thread 1:(1) 0.080000] [philo/INFO] Thread 1 eats
  72 > [Tremblay:thread 3:(1) 0.090000] [philo/INFO] Thread 3 is full
  73 > [Tremblay:thread 3:(1) 0.090000] [philo/INFO] Thread 3 thinks
  74 > [Tremblay:thread 1:(1) 0.090000] [philo/INFO] Thread 1 is full
  75 > [Tremblay:thread 1:(1) 0.090000] [philo/INFO] Thread 1 thinks
  76 > [Tremblay:thread 2:(1) 0.090000] [philo/INFO] Thread 2 eats
  77 > [Tremblay:thread 4:(1) 0.090000] [philo/INFO] Thread 4 eats
  78 > [Tremblay:thread 1:(1) 0.100000] [philo/INFO] Thread 1 gets hungry (lunch #3)
  79 > [Tremblay:thread 2:(1) 0.110000] [philo/INFO] Thread 2 is full
  80 > [Tremblay:thread 2:(1) 0.110000] [philo/INFO] Thread 2 thinks
  81 > [Tremblay:thread 1:(1) 0.110000] [philo/INFO] Thread 1 eats
  82 > [Tremblay:thread 3:(1) 0.120000] [philo/INFO] Thread 3 gets hungry (lunch #1)
  83 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 is full
  84 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 thinks
  85 > [Tremblay:thread 4:(1) 0.130000] [philo/INFO] Thread 4 is full
  86 > [Tremblay:thread 4:(1) 0.130000] [philo/INFO] Thread 4 thinks
  87 > [Tremblay:thread 2:(1) 0.130000] [philo/INFO] Thread 2 gets hungry (lunch #3)
  88 > [Tremblay:thread 2:(1) 0.130000] [philo/INFO] Thread 2 eats
  89 > [Tremblay:thread 1:(1) 0.130000] [philo/INFO] Thread 1 gets hungry (lunch #4)
  90 > [Tremblay:thread 2:(1) 0.150000] [philo/INFO] Thread 2 is full
  91 > [Tremblay:thread 2:(1) 0.150000] [philo/INFO] Thread 2 thinks
  92 > [Tremblay:thread 1:(1) 0.150000] [philo/INFO] Thread 1 eats
  93 > [Tremblay:thread 3:(1) 0.150000] [philo/INFO] Thread 3 eats
  94 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 is full
  95 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 thinks
  96 > [Tremblay:thread 4:(1) 0.170000] [philo/INFO] Thread 4 gets hungry (lunch #2)
  97 > [Tremblay:thread 2:(1) 0.170000] [philo/INFO] Thread 2 gets hungry (lunch #4)
  98 > [Tremblay:thread 1:(1) 0.170000] [philo/INFO] Thread 1 gets hungry (lunch #5)
  99 > [Tremblay:thread 1:(1) 0.170000] [philo/INFO] Thread 1 eats
 100 > [Tremblay:thread 3:(1) 0.180000] [philo/INFO] Thread 3 is full
 101 > [Tremblay:thread 3:(1) 0.180000] [philo/INFO] Thread 3 thinks
 102 > [Tremblay:thread 1:(1) 0.180000] [philo/INFO] Thread 1 is full
 103 > [Tremblay:thread 1:(1) 0.180000] [philo/INFO] Thread 1 thinks
 104 > [Tremblay:thread 2:(1) 0.180000] [philo/INFO] Thread 2 eats
 105 > [Tremblay:thread 4:(1) 0.180000] [philo/INFO] Thread 4 eats
 106 > [Tremblay:thread 1:(1) 0.190000] [philo/INFO] Thread 1 gets hungry (lunch #6)
 107 > [Tremblay:thread 2:(1) 0.200000] [philo/INFO] Thread 2 is full
 108 > [Tremblay:thread 2:(1) 0.200000] [philo/INFO] Thread 2 thinks
 109 > [Tremblay:thread 1:(1) 0.200000] [philo/INFO] Thread 1 eats
 110 > [Tremblay:thread 3:(1) 0.210000] [philo/INFO] Thread 3 gets hungry (lunch #2)
 111 > [Tremblay:thread 1:(1) 0.210000] [philo/INFO] Thread 1 is full
 112 > [Tremblay:thread 1:(1) 0.210000] [philo/INFO] Thread 1 thinks
 113 > [Tremblay:thread 4:(1) 0.220000] [philo/INFO] Thread 4 is full
 114 > [Tremblay:thread 4:(1) 0.220000] [philo/INFO] Thread 4 thinks
 115 > [Tremblay:thread 2:(1) 0.220000] [philo/INFO] Thread 2 gets hungry (lunch #5)
 116 > [Tremblay:thread 2:(1) 0.220000] [philo/INFO] Thread 2 eats
 117 > [Tremblay:thread 1:(1) 0.220000] [philo/INFO] Thread 1 gets hungry (lunch #7)
 118 > [Tremblay:thread 2:(1) 0.240000] [philo/INFO] Thread 2 is full
 119 > [Tremblay:thread 2:(1) 0.240000] [philo/INFO] Thread 2 thinks
 120 > [Tremblay:thread 1:(1) 0.240000] [philo/INFO] Thread 1 eats
 121 > [Tremblay:thread 3:(1) 0.240000] [philo/INFO] Thread 3 eats
 122 > [Tremblay:thread 1:(1) 0.250000] [philo/INFO] Thread 1 is full
 123 > [Tremblay:thread 1:(1) 0.250000] [philo/INFO] Thread 1 thinks
 124 > [Tremblay:thread 4:(1) 0.260000] [philo/INFO] Thread 4 gets hungry (lunch #3)
 125 > [Tremblay:thread 2:(1) 0.260000] [philo/INFO] Thread 2 gets hungry (lunch #6)
 126 > [Tremblay:thread 1:(1) 0.260000] [philo/INFO] Thread 1 gets hungry (lunch #8)
 127 > [Tremblay:thread 1:(1) 0.260000] [philo/INFO] Thread 1 eats
 128 > [Tremblay:thread 3:(1) 0.270000] [philo/INFO] Thread 3 is full
 129 > [Tremblay:thread 3:(1) 0.270000] [philo/INFO] Thread 3 thinks
 130 > [Tremblay:thread 1:(1) 0.270000] [philo/INFO] Thread 1 is full
 131 > [Tremblay:thread 1:(1) 0.270000] [philo/INFO] Thread 1 thinks
 132 > [Tremblay:thread 2:(1) 0.270000] [philo/INFO] Thread 2 eats
 133 > [Tremblay:thread 4:(1) 0.270000] [philo/INFO] Thread 4 eats
 134 > [Tremblay:thread 1:(1) 0.280000] [philo/INFO] Thread 1 gets hungry (lunch #9)
 135 > [Tremblay:thread 2:(1) 0.290000] [philo/INFO] Thread 2 is full
 136 > [Tremblay:thread 2:(1) 0.290000] [philo/INFO] Thread 2 thinks
 137 > [Tremblay:thread 1:(1) 0.290000] [philo/INFO] Thread 1 eats
 138 > [Tremblay:thread 3:(1) 0.300000] [philo/INFO] Thread 3 gets hungry (lunch #3)
 139 > [Tremblay:thread 1:(1) 0.300000] [philo/INFO] Thread 1 is full
 140 > [Tremblay:thread 1:(1) 0.300000] [philo/INFO] Thread 1 thinks
 141 > [Tremblay:thread 4:(1) 0.310000] [philo/INFO] Thread 4 is full
 142 > [Tremblay:thread 4:(1) 0.310000] [philo/INFO] Thread 4 thinks
 143 > [Tremblay:thread 2:(1) 0.310000] [philo/INFO] Thread 2 gets hungry (lunch #7)
 144 > [Tremblay:thread 2:(1) 0.310000] [philo/INFO] Thread 2 eats
 145 > [Tremblay:thread 1:(1) 0.310000] [philo/INFO] Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
 146 > [Tremblay:thread 2:(1) 0.330000] [philo/INFO] Thread 2 is full
 147 > [Tremblay:thread 2:(1) 0.330000] [philo/INFO] Thread 2 thinks
 148 > [Tremblay:thread 3:(1) 0.330000] [philo/INFO] Thread 3 eats
 149 > [Tremblay:thread 4:(1) 0.350000] [philo/INFO] Thread 4 gets hungry (lunch #4)
 150 > [Tremblay:thread 2:(1) 0.350000] [philo/INFO] Thread 2 gets hungry (lunch #8)
 151 > [Tremblay:thread 3:(1) 0.360000] [philo/INFO] Thread 3 is full
 152 > [Tremblay:thread 3:(1) 0.360000] [philo/INFO] Thread 3 thinks
 153 > [Tremblay:thread 2:(1) 0.360000] [philo/INFO] Thread 2 eats
 154 > [Tremblay:thread 4:(1) 0.360000] [philo/INFO] Thread 4 eats
 155 > [Tremblay:thread 2:(1) 0.380000] [philo/INFO] Thread 2 is full
 156 > [Tremblay:thread 2:(1) 0.380000] [philo/INFO] Thread 2 thinks
 157 > [Tremblay:thread 3:(1) 0.390000] [philo/INFO] Thread 3 gets hungry (lunch #4)
 158 > [Tremblay:thread 4:(1) 0.400000] [philo/INFO] Thread 4 is full
 159 > [Tremblay:thread 4:(1) 0.400000] [philo/INFO] Thread 4 thinks
 160 > [Tremblay:thread 2:(1) 0.400000] [philo/INFO] Thread 2 gets hungry (lunch #9)
 161 > [Tremblay:thread 2:(1) 0.400000] [philo/INFO] Thread 2 eats
 162 > [Tremblay:thread 2:(1) 0.420000] [philo/INFO] Thread 2 is full
 163 > [Tremblay:thread 2:(1) 0.420000] [philo/INFO] Thread 2 thinks
 164 > [Tremblay:thread 3:(1) 0.420000] [philo/INFO] Thread 3 eats
 165 > [Tremblay:thread 4:(1) 0.440000] [philo/INFO] Thread 4 gets hungry (lunch #5)
 166 > [Tremblay:thread 2:(1) 0.440000] [philo/INFO] Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
 167 > [Tremblay:thread 3:(1) 0.450000] [philo/INFO] Thread 3 is full
 168 > [Tremblay:thread 3:(1) 0.450000] [philo/INFO] Thread 3 thinks
 169 > [Tremblay:thread 4:(1) 0.450000] [philo/INFO] Thread 4 eats
 170 > [Tremblay:thread 3:(1) 0.480000] [philo/INFO] Thread 3 gets hungry (lunch #5)
 171 > [Tremblay:thread 4:(1) 0.490000] [philo/INFO] Thread 4 is full
 172 > [Tremblay:thread 4:(1) 0.490000] [philo/INFO] Thread 4 thinks
 173 > [Tremblay:thread 3:(1) 0.490000] [philo/INFO] Thread 3 eats
 174 > [Tremblay:thread 3:(1) 0.520000] [philo/INFO] Thread 3 is full
 175 > [Tremblay:thread 3:(1) 0.520000] [philo/INFO] Thread 3 thinks
 176 > [Tremblay:thread 4:(1) 0.530000] [philo/INFO] Thread 4 gets hungry (lunch #6)
 177 > [Tremblay:thread 4:(1) 0.530000] [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.570000] [philo/INFO] Thread 4 is full
 180 > [Tremblay:thread 4:(1) 0.570000] [philo/INFO] Thread 4 thinks
 181 > [Tremblay:thread 3:(1) 0.570000] [philo/INFO] Thread 3 eats
 182 > [Tremblay:thread 3:(1) 0.600000] [philo/INFO] Thread 3 is full
 183 > [Tremblay:thread 3:(1) 0.600000] [philo/INFO] Thread 3 thinks
 184 > [Tremblay:thread 4:(1) 0.610000] [philo/INFO] Thread 4 gets hungry (lunch #7)
 185 > [Tremblay:thread 4:(1) 0.610000] [philo/INFO] Thread 4 eats
 186 > [Tremblay:thread 3:(1) 0.630000] [philo/INFO] Thread 3 gets hungry (lunch #7)
 187 > [Tremblay:thread 4:(1) 0.650000] [philo/INFO] Thread 4 is full
 188 > [Tremblay:thread 4:(1) 0.650000] [philo/INFO] Thread 4 thinks
 189 > [Tremblay:thread 3:(1) 0.650000] [philo/INFO] Thread 3 eats
 190 > [Tremblay:thread 3:(1) 0.680000] [philo/INFO] Thread 3 is full
 191 > [Tremblay:thread 3:(1) 0.680000] [philo/INFO] Thread 3 thinks
 192 > [Tremblay:thread 4:(1) 0.690000] [philo/INFO] Thread 4 gets hungry (lunch #8)
 193 > [Tremblay:thread 4:(1) 0.690000] [philo/INFO] Thread 4 eats
 194 > [Tremblay:thread 3:(1) 0.710000] [philo/INFO] Thread 3 gets hungry (lunch #8)
 195 > [Tremblay:thread 4:(1) 0.730000] [philo/INFO] Thread 4 is full
 196 > [Tremblay:thread 4:(1) 0.730000] [philo/INFO] Thread 4 thinks
 197 > [Tremblay:thread 3:(1) 0.730000] [philo/INFO] Thread 3 eats
 198 > [Tremblay:thread 3:(1) 0.760000] [philo/INFO] Thread 3 is full
 199 > [Tremblay:thread 3:(1) 0.760000] [philo/INFO] Thread 3 thinks
 200 > [Tremblay:thread 4:(1) 0.770000] [philo/INFO] Thread 4 gets hungry (lunch #9)
 201 > [Tremblay:thread 4:(1) 0.770000] [philo/INFO] Thread 4 eats
 202 > [Tremblay:thread 3:(1) 0.790000] [philo/INFO] Thread 3 gets hungry (lunch #9)
 203 > [Tremblay:thread 4:(1) 0.810000] [philo/INFO] Thread 4 is full
 204 > [Tremblay:thread 4:(1) 0.810000] [philo/INFO] Thread 4 thinks
 205 > [Tremblay:thread 3:(1) 0.810000] [philo/INFO] Thread 3 eats
 206 > [Tremblay:thread 3:(1) 0.840000] [philo/INFO] Thread 3 is full
 207 > [Tremblay:thread 3:(1) 0.840000] [philo/INFO] Thread 3 thinks
 208 > [Tremblay:thread 4:(1) 0.850000] [philo/INFO] Thread 4 tries to enter the dead-end; hopefully, the master will cancel it
 209 > [Tremblay:thread 3:(1) 0.870000] [philo/INFO] Thread 3 tries to enter the dead-end; hopefully, the master will cancel it
 210 > [Tremblay:philosopher:(1) 0.870000] [philo/INFO] Cancel all childs
 211 > [Tremblay:philosopher:(1) 0.870000] [gras/INFO] Exiting GRAS