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