Logo AND Algorithmique Numérique Distribuée

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