examples/gras/synchro/test_sg_32.tesh

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