examples/gras/synchro/test_rl

   1
   2 $ $SG_TEST_ENV ./synchro_philosopher${EXEEXT:=} 4 --log=root.fmt=%m%n
   3 > Wait 1 sec to check that gras_os_sleep do works
   4 > Enough waiting, spawn the threads
   5 > Thread 0 gets hungry (lunch #0)
   6 > Thread 0 eats
   7 > Thread 0 is full
   8 > Thread 0 thinks
   9 > Thread 0 gets hungry (lunch #1)
  10 > Thread 0 eats
  11 > Thread 0 is full
  12 > Thread 0 thinks
  13 > Thread 0 gets hungry (lunch #2)
  14 > Thread 0 eats
  15 > Thread 0 is full
  16 > Thread 0 thinks
  17 > Thread 0 gets hungry (lunch #3)
  18 > Thread 0 eats
  19 > Thread 0 is full
  20 > Thread 0 thinks
  21 > Thread 0 gets hungry (lunch #4)
  22 > Thread 0 eats
  23 > Thread 0 is full
  24 > Thread 0 thinks
  25 > Thread 0 gets hungry (lunch #5)
  26 > Thread 0 eats
  27 > Thread 0 is full
  28 > Thread 0 thinks
  29 > Thread 0 gets hungry (lunch #6)
  30 > Thread 0 eats
  31 > Thread 0 is full
  32 > Thread 0 thinks
  33 > Thread 0 gets hungry (lunch #7)
  34 > Thread 0 eats
  35 > Thread 0 is full
  36 > Thread 0 thinks
  37 > Thread 0 gets hungry (lunch #8)
  38 > Thread 0 eats
  39 > Thread 0 is full
  40 > Thread 0 thinks
  41 > Thread 0 gets hungry (lunch #9)
  42 > Thread 0 eats
  43 > Thread 0 is full
  44 > Thread 0 thinks
  45 > Thread 0 tries to enter the dead-end; hopefully, the master will cancel it
  46 > Thread 1 gets hungry (lunch #0)
  47 > Thread 1 eats
  48 > Thread 2 gets hungry (lunch #0)
  49 > Thread 3 gets hungry (lunch #0)
  50 > Thread 3 eats
  51 > Thread 1 is full
  52 > Thread 1 thinks
  53 > Thread 1 gets hungry (lunch #1)
  54 > Thread 1 eats
  55 > Thread 3 is full
  56 > Thread 3 thinks
  57 > Thread 1 is full
  58 > Thread 1 thinks
  59 > Thread 2 eats
  60 > Thread 1 gets hungry (lunch #2)
  61 > Thread 2 is full
  62 > Thread 2 thinks
  63 > Thread 1 eats
  64 > Thread 3 gets hungry (lunch #1)
  65 > Thread 3 eats
  66 > Thread 1 is full
  67 > Thread 1 thinks
  68 > Thread 2 gets hungry (lunch #1)
  69 > Thread 1 gets hungry (lunch #3)
  70 > Thread 1 eats
  71 > Thread 1 is full
  72 > Thread 1 thinks
  73 > Thread 3 is full
  74 > Thread 3 thinks
  75 > Thread 2 eats
  76 > Thread 1 gets hungry (lunch #4)
  77 > Thread 2 is full
  78 > Thread 2 thinks
  79 > Thread 1 eats
  80 > Thread 3 gets hungry (lunch #2)
  81 > Thread 3 eats
  82 > Thread 1 is full
  83 > Thread 1 thinks
  84 > Thread 2 gets hungry (lunch #2)
  85 > Thread 1 gets hungry (lunch #5)
  86 > Thread 1 eats
  87 > Thread 1 is full
  88 > Thread 1 thinks
  89 > Thread 3 is full
  90 > Thread 3 thinks
  91 > Thread 2 eats
  92 > Thread 1 gets hungry (lunch #6)
  93 > Thread 2 is full
  94 > Thread 2 thinks
  95 > Thread 1 eats
  96 > Thread 3 gets hungry (lunch #3)
  97 > Thread 3 eats
  98 > Thread 1 is full
  99 > Thread 1 thinks
 100 > Thread 2 gets hungry (lunch #3)
 101 > Thread 1 gets hungry (lunch #7)
 102 > Thread 1 eats
 103 > Thread 1 is full
 104 > Thread 1 thinks
 105 > Thread 3 is full
 106 > Thread 3 thinks
 107 > Thread 2 eats
 108 > Thread 1 gets hungry (lunch #8)
 109 > Thread 2 is full
 110 > Thread 2 thinks
 111 > Thread 1 eats
 112 > Thread 3 gets hungry (lunch #4)
 113 > Thread 3 eats
 114 > Thread 1 is full
 115 > Thread 1 thinks
 116 > Thread 2 gets hungry (lunch #4)
 117 > Thread 1 gets hungry (lunch #9)
 118 > Thread 1 eats
 119 > Thread 1 is full
 120 > Thread 1 thinks
 121 > Thread 3 is full
 122 > Thread 3 thinks
 123 > Thread 2 eats
 124 > Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
 125 > Thread 2 is full
 126 > Thread 2 thinks
 127 > Thread 3 gets hungry (lunch #5)
 128 > Thread 3 eats
 129 > Thread 2 gets hungry (lunch #5)
 130 > Thread 3 is full
 131 > Thread 3 thinks
 132 > Thread 2 eats
 133 > Thread 2 is full
 134 > Thread 2 thinks
 135 > Thread 3 gets hungry (lunch #6)
 136 > Thread 3 eats
 137 > Thread 2 gets hungry (lunch #6)
 138 > Thread 3 is full
 139 > Thread 3 thinks
 140 > Thread 2 eats
 141 > Thread 2 is full
 142 > Thread 2 thinks
 143 > Thread 3 gets hungry (lunch #7)
 144 > Thread 3 eats
 145 > Thread 2 gets hungry (lunch #7)
 146 > Thread 3 is full
 147 > Thread 3 thinks
 148 > Thread 2 eats
 149 > Thread 2 is full
 150 > Thread 2 thinks
 151 > Thread 3 gets hungry (lunch #8)
 152 > Thread 3 eats
 153 > Thread 2 gets hungry (lunch #8)
 154 > Thread 3 is full
 155 > Thread 3 thinks
 156 > Thread 2 eats
 157 > Thread 2 is full
 158 > Thread 2 thinks
 159 > Thread 3 gets hungry (lunch #9)
 160 > Thread 3 eats
 161 > Thread 2 gets hungry (lunch #9)
 162 > Thread 3 is full
 163 > Thread 3 thinks
 164 > Thread 2 eats
 165 > Thread 2 is full
 166 > Thread 2 thinks
 167 > Thread 3 tries to enter the dead-end; hopefully, the master will cancel it
 168 > Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
 169 > Cancel all childs
 170 > Exiting GRAS
 171