examples/gras/synchro/test_sg_64

   1 p Runs the 'philosopher' test within the simulator (simulation times valid for 64bits architectures)
   2
   3 $ $SG_TEST_EXENV ./synchro_simulator${EXEEXT:=} ${srcdir:=.}/../../msg/small_platform.xml ${srcdir:=.}/synchro.xml
   4 > [Tremblay:philosopher:(1) 0.000000] [philo/INFO] Wait 1 sec to check that gras_os_sleep do works
   5 > [Tremblay:philosopher:(1) 1.000000] [philo/INFO] Enough waiting, spawn the threads
   6 > [1.000000] [philo/INFO] Thread 0 gets hungry (lunch #0)
   7 > [1.000000] [philo/INFO] Thread 0 eats
   8 > [1.000000] [philo/INFO] Thread 1 gets hungry (lunch #0)
   9 > [1.000000] [philo/INFO] Thread 2 gets hungry (lunch #0)
  10 > [1.000000] [philo/INFO] Thread 2 eats
  11 > [1.000000] [philo/INFO] Thread 3 gets hungry (lunch #0)
  12 > [1.000000] [philo/INFO] Thread 4 gets hungry (lunch #0)
  13 > [1.000000] [philo/INFO] Thread 0 is full
  14 > [1.000000] [philo/INFO] Thread 0 thinks
  15 > [1.000000] [philo/INFO] Thread 4 eats
  16 > [1.000000] [philo/INFO] Thread 0 gets hungry (lunch #1)
  17 > [1.020000] [philo/INFO] Thread 2 is full
  18 > [1.020000] [philo/INFO] Thread 2 thinks
  19 > [1.020000] [philo/INFO] Thread 1 eats
  20 > [1.030000] [philo/INFO] Thread 1 is full
  21 > [1.030000] [philo/INFO] Thread 1 thinks
  22 > [1.040000] [philo/INFO] Thread 4 is full
  23 > [1.040000] [philo/INFO] Thread 4 thinks
  24 > [1.040000] [philo/INFO] Thread 2 gets hungry (lunch #1)
  25 > [1.040000] [philo/INFO] Thread 2 eats
  26 > [1.040000] [philo/INFO] Thread 1 gets hungry (lunch #1)
  27 > [1.040000] [philo/INFO] Thread 0 eats
  28 > [1.040000] [philo/INFO] Thread 0 is full
  29 > [1.040000] [philo/INFO] Thread 0 thinks
  30 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #2)
  31 > [1.040000] [philo/INFO] Thread 0 eats
  32 > [1.040000] [philo/INFO] Thread 0 is full
  33 > [1.040000] [philo/INFO] Thread 0 thinks
  34 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #3)
  35 > [1.040000] [philo/INFO] Thread 0 eats
  36 > [1.040000] [philo/INFO] Thread 0 is full
  37 > [1.040000] [philo/INFO] Thread 0 thinks
  38 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #4)
  39 > [1.040000] [philo/INFO] Thread 0 eats
  40 > [1.040000] [philo/INFO] Thread 0 is full
  41 > [1.040000] [philo/INFO] Thread 0 thinks
  42 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #5)
  43 > [1.040000] [philo/INFO] Thread 0 eats
  44 > [1.040000] [philo/INFO] Thread 0 is full
  45 > [1.040000] [philo/INFO] Thread 0 thinks
  46 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #6)
  47 > [1.040000] [philo/INFO] Thread 0 eats
  48 > [1.040000] [philo/INFO] Thread 0 is full
  49 > [1.040000] [philo/INFO] Thread 0 thinks
  50 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #7)
  51 > [1.040000] [philo/INFO] Thread 0 eats
  52 > [1.040000] [philo/INFO] Thread 0 is full
  53 > [1.040000] [philo/INFO] Thread 0 thinks
  54 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #8)
  55 > [1.040000] [philo/INFO] Thread 0 eats
  56 > [1.040000] [philo/INFO] Thread 0 is full
  57 > [1.040000] [philo/INFO] Thread 0 thinks
  58 > [1.040000] [philo/INFO] Thread 0 gets hungry (lunch #9)
  59 > [1.040000] [philo/INFO] Thread 0 eats
  60 > [1.040000] [philo/INFO] Thread 0 is full
  61 > [1.040000] [philo/INFO] Thread 0 thinks
  62 > [1.040000] [philo/INFO] Thread 0 tries to enter the dead-end; hopefully, the master will cancel it
  63 > [1.060000] [philo/INFO] Thread 2 is full
  64 > [1.060000] [philo/INFO] Thread 2 thinks
  65 > [1.060000] [philo/INFO] Thread 1 eats
  66 > [1.060000] [philo/INFO] Thread 3 eats
  67 > [1.070000] [philo/INFO] Thread 1 is full
  68 > [1.070000] [philo/INFO] Thread 1 thinks
  69 > [1.080000] [philo/INFO] Thread 4 gets hungry (lunch #1)
  70 > [1.080000] [philo/INFO] Thread 2 gets hungry (lunch #2)
  71 > [1.080000] [philo/INFO] Thread 1 gets hungry (lunch #2)
  72 > [1.080000] [philo/INFO] Thread 1 eats
  73 > [1.090000] [philo/INFO] Thread 3 is full
  74 > [1.090000] [philo/INFO] Thread 3 thinks
  75 > [1.090000] [philo/INFO] Thread 1 is full
  76 > [1.090000] [philo/INFO] Thread 1 thinks
  77 > [1.090000] [philo/INFO] Thread 2 eats
  78 > [1.090000] [philo/INFO] Thread 4 eats
  79 > [1.100000] [philo/INFO] Thread 1 gets hungry (lunch #3)
  80 > [1.110000] [philo/INFO] Thread 2 is full
  81 > [1.110000] [philo/INFO] Thread 2 thinks
  82 > [1.110000] [philo/INFO] Thread 1 eats
  83 > [1.120000] [philo/INFO] Thread 3 gets hungry (lunch #1)
  84 > [1.120000] [philo/INFO] Thread 1 is full
  85 > [1.120000] [philo/INFO] Thread 1 thinks
  86 > [1.130000] [philo/INFO] Thread 4 is full
  87 > [1.130000] [philo/INFO] Thread 4 thinks
  88 > [1.130000] [philo/INFO] Thread 2 gets hungry (lunch #3)
  89 > [1.130000] [philo/INFO] Thread 2 eats
  90 > [1.130000] [philo/INFO] Thread 1 gets hungry (lunch #4)
  91 > [1.150000] [philo/INFO] Thread 2 is full
  92 > [1.150000] [philo/INFO] Thread 2 thinks
  93 > [1.150000] [philo/INFO] Thread 1 eats
  94 > [1.150000] [philo/INFO] Thread 3 eats
  95 > [1.160000] [philo/INFO] Thread 1 is full
  96 > [1.160000] [philo/INFO] Thread 1 thinks
  97 > [1.170000] [philo/INFO] Thread 4 gets hungry (lunch #2)
  98 > [1.170000] [philo/INFO] Thread 2 gets hungry (lunch #4)
  99 > [1.170000] [philo/INFO] Thread 1 gets hungry (lunch #5)
 100 > [1.170000] [philo/INFO] Thread 1 eats
 101 > [1.180000] [philo/INFO] Thread 3 is full
 102 > [1.180000] [philo/INFO] Thread 3 thinks
 103 > [1.180000] [philo/INFO] Thread 1 is full
 104 > [1.180000] [philo/INFO] Thread 1 thinks
 105 > [1.180000] [philo/INFO] Thread 2 eats
 106 > [1.180000] [philo/INFO] Thread 4 eats
 107 > [1.190000] [philo/INFO] Thread 1 gets hungry (lunch #6)
 108 > [1.200000] [philo/INFO] Thread 2 is full
 109 > [1.200000] [philo/INFO] Thread 2 thinks
 110 > [1.200000] [philo/INFO] Thread 1 eats
 111 > [1.210000] [philo/INFO] Thread 3 gets hungry (lunch #2)
 112 > [1.210000] [philo/INFO] Thread 1 is full
 113 > [1.210000] [philo/INFO] Thread 1 thinks
 114 > [1.220000] [philo/INFO] Thread 4 is full
 115 > [1.220000] [philo/INFO] Thread 4 thinks
 116 > [1.220000] [philo/INFO] Thread 2 gets hungry (lunch #5)
 117 > [1.220000] [philo/INFO] Thread 2 eats
 118 > [1.220000] [philo/INFO] Thread 1 gets hungry (lunch #7)
 119 > [1.240000] [philo/INFO] Thread 2 is full
 120 > [1.240000] [philo/INFO] Thread 2 thinks
 121 > [1.240000] [philo/INFO] Thread 1 eats
 122 > [1.240000] [philo/INFO] Thread 3 eats
 123 > [1.250000] [philo/INFO] Thread 1 is full
 124 > [1.250000] [philo/INFO] Thread 1 thinks
 125 > [1.260000] [philo/INFO] Thread 4 gets hungry (lunch #3)
 126 > [1.260000] [philo/INFO] Thread 2 gets hungry (lunch #6)
 127 > [1.260000] [philo/INFO] Thread 1 gets hungry (lunch #8)
 128 > [1.260000] [philo/INFO] Thread 1 eats
 129 > [1.270000] [philo/INFO] Thread 3 is full
 130 > [1.270000] [philo/INFO] Thread 3 thinks
 131 > [1.270000] [philo/INFO] Thread 1 is full
 132 > [1.270000] [philo/INFO] Thread 1 thinks
 133 > [1.270000] [philo/INFO] Thread 2 eats
 134 > [1.270000] [philo/INFO] Thread 4 eats
 135 > [1.280000] [philo/INFO] Thread 1 gets hungry (lunch #9)
 136 > [1.290000] [philo/INFO] Thread 2 is full
 137 > [1.290000] [philo/INFO] Thread 2 thinks
 138 > [1.290000] [philo/INFO] Thread 1 eats
 139 > [1.300000] [philo/INFO] Thread 3 gets hungry (lunch #3)
 140 > [1.300000] [philo/INFO] Thread 1 is full
 141 > [1.300000] [philo/INFO] Thread 1 thinks
 142 > [1.310000] [philo/INFO] Thread 4 is full
 143 > [1.310000] [philo/INFO] Thread 4 thinks
 144 > [1.310000] [philo/INFO] Thread 2 gets hungry (lunch #7)
 145 > [1.310000] [philo/INFO] Thread 2 eats
 146 > [1.310000] [philo/INFO] Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
 147 > [1.330000] [philo/INFO] Thread 2 is full
 148 > [1.330000] [philo/INFO] Thread 2 thinks
 149 > [1.330000] [philo/INFO] Thread 3 eats
 150 > [1.350000] [philo/INFO] Thread 4 gets hungry (lunch #4)
 151 > [1.350000] [philo/INFO] Thread 2 gets hungry (lunch #8)
 152 > [1.360000] [philo/INFO] Thread 3 is full
 153 > [1.360000] [philo/INFO] Thread 3 thinks
 154 > [1.360000] [philo/INFO] Thread 2 eats
 155 > [1.360000] [philo/INFO] Thread 4 eats
 156 > [1.380000] [philo/INFO] Thread 2 is full
 157 > [1.380000] [philo/INFO] Thread 2 thinks
 158 > [1.390000] [philo/INFO] Thread 3 gets hungry (lunch #4)
 159 > [1.400000] [philo/INFO] Thread 4 is full
 160 > [1.400000] [philo/INFO] Thread 4 thinks
 161 > [1.400000] [philo/INFO] Thread 2 gets hungry (lunch #9)
 162 > [1.400000] [philo/INFO] Thread 2 eats
 163 > [1.420000] [philo/INFO] Thread 2 is full
 164 > [1.420000] [philo/INFO] Thread 2 thinks
 165 > [1.420000] [philo/INFO] Thread 3 eats
 166 > [1.440000] [philo/INFO] Thread 4 gets hungry (lunch #5)
 167 > [1.440000] [philo/INFO] Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
 168 > [1.450000] [philo/INFO] Thread 3 is full
 169 > [1.450000] [philo/INFO] Thread 3 thinks
 170 > [1.450000] [philo/INFO] Thread 4 eats
 171 > [1.480000] [philo/INFO] Thread 3 gets hungry (lunch #5)
 172 > [1.490000] [philo/INFO] Thread 4 is full
 173 > [1.490000] [philo/INFO] Thread 4 thinks
 174 > [1.490000] [philo/INFO] Thread 3 eats
 175 > [1.520000] [philo/INFO] Thread 3 is full
 176 > [1.520000] [philo/INFO] Thread 3 thinks
 177 > [1.530000] [philo/INFO] Thread 4 gets hungry (lunch #6)
 178 > [1.530000] [philo/INFO] Thread 4 eats
 179 > [1.550000] [philo/INFO] Thread 3 gets hungry (lunch #6)
 180 > [1.570000] [philo/INFO] Thread 4 is full
 181 > [1.570000] [philo/INFO] Thread 4 thinks
 182 > [1.570000] [philo/INFO] Thread 3 eats
 183 > [1.600000] [philo/INFO] Thread 3 is full
 184 > [1.600000] [philo/INFO] Thread 3 thinks
 185 > [1.610000] [philo/INFO] Thread 4 gets hungry (lunch #7)
 186 > [1.610000] [philo/INFO] Thread 4 eats
 187 > [1.630000] [philo/INFO] Thread 3 gets hungry (lunch #7)
 188 > [1.650000] [philo/INFO] Thread 4 is full
 189 > [1.650000] [philo/INFO] Thread 4 thinks
 190 > [1.650000] [philo/INFO] Thread 3 eats
 191 > [1.680000] [philo/INFO] Thread 3 is full
 192 > [1.680000] [philo/INFO] Thread 3 thinks
 193 > [1.690000] [philo/INFO] Thread 4 gets hungry (lunch #8)
 194 > [1.690000] [philo/INFO] Thread 4 eats
 195 > [1.710000] [philo/INFO] Thread 3 gets hungry (lunch #8)
 196 > [1.730000] [philo/INFO] Thread 4 is full
 197 > [1.730000] [philo/INFO] Thread 4 thinks
 198 > [1.730000] [philo/INFO] Thread 3 eats
 199 > [1.760000] [philo/INFO] Thread 3 is full
 200 > [1.760000] [philo/INFO] Thread 3 thinks
 201 > [1.770000] [philo/INFO] Thread 4 gets hungry (lunch #9)
 202 > [1.770000] [philo/INFO] Thread 4 eats
 203 > [1.790000] [philo/INFO] Thread 3 gets hungry (lunch #9)
 204 > [1.810000] [philo/INFO] Thread 4 is full
 205 > [1.810000] [philo/INFO] Thread 4 thinks
 206 > [1.810000] [philo/INFO] Thread 3 eats
 207 > [1.840000] [philo/INFO] Thread 3 is full
 208 > [1.840000] [philo/INFO] Thread 3 thinks
 209 > [1.850000] [philo/INFO] Thread 4 tries to enter the dead-end; hopefully, the master will cancel it
 210 > [1.870000] [philo/INFO] Thread 3 tries to enter the dead-end; hopefully, the master will cancel it
 211 > [Tremblay:philosopher:(1) 1.870000] [philo/INFO] Cancel all childs
 212 > [Tremblay:philosopher:(1) 1.870000] [gras/INFO] Exiting GRAS