Logo AND Algorithmique Numérique Distribuée

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