Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comment erroneous ignore (not completely sure ...)
[simgrid.git] / examples / msg / mc / centralized.tesh
1 #! ./tesh
2
3 $ ${bindir:=.}/centralized --cfg=model-check:1
4 > [Fafard:client:(2) 0.000000] [centralized/INFO] Ask the request
5 > [Boivin:client:(3) 0.000000] [centralized/INFO] Ask the request
6 > [TeX:client:(4) 0.000000] [centralized/INFO] Ask the request
7 > [Geoff:client:(5) 0.000000] [centralized/INFO] Ask the request
8 > [Tremblay:coordinator:(1) 1.455805] [centralized/INFO] CS idle. Grant immediatly
9 > [Fafard:client:(2) 2.911610] [centralized/INFO] got the answer. Sleep a bit and release it
10 > [Tremblay:coordinator:(1) 3.612177] [centralized/INFO] CS already used. Queue the request
11 > [Tremblay:coordinator:(1) 4.929109] [centralized/INFO] CS already used. Queue the request
12 > [Tremblay:coordinator:(1) 6.078341] [centralized/INFO] CS already used. Queue the request
13 > [Tremblay:coordinator:(1) 7.534145] [centralized/INFO] CS release. Grant to queued requests (queue size: 3)
14 > [Geoff:client:(5) 8.683377] [centralized/INFO] got the answer. Sleep a bit and release it
15 > [Fafard:client:(2) 9.534145] [centralized/INFO] Ask the request
16 > [Tremblay:coordinator:(1) 10.989950] [centralized/INFO] CS already used. Queue the request
17 > [Tremblay:coordinator:(1) 12.139182] [centralized/INFO] CS release. Grant to queued requests (queue size: 3)
18 > [Fafard:client:(2) 13.594987] [centralized/INFO] got the answer. Sleep a bit and release it
19 > [Tremblay:coordinator:(1) 16.050792] [centralized/INFO] CS release. Grant to queued requests (queue size: 2)
20 > [Geoff:client:(5) 17.139182] [centralized/INFO] Ask the request
21 > [TeX:client:(4) 17.367724] [centralized/INFO] got the answer. Sleep a bit and release it
22 > [Fafard:client:(2) 18.050792] [centralized/INFO] Got all the CS I wanted, quit now
23 > [Tremblay:coordinator:(1) 18.516956] [centralized/INFO] CS already used. Queue the request
24 > [Tremblay:coordinator:(1) 19.833888] [centralized/INFO] CS release. Grant to queued requests (queue size: 2)
25 > [Geoff:client:(5) 20.983119] [centralized/INFO] got the answer. Sleep a bit and release it
26 > [Tremblay:coordinator:(1) 23.132351] [centralized/INFO] CS release. Grant to queued requests (queue size: 1)
27 > [Boivin:client:(3) 23.832919] [centralized/INFO] got the answer. Sleep a bit and release it
28 > [TeX:client:(4) 23.833888] [centralized/INFO] Ask the request
29 > [Tremblay:coordinator:(1) 25.150819] [centralized/INFO] CS already used. Queue the request
30 > [Tremblay:coordinator:(1) 25.851387] [centralized/INFO] CS release. Grant to queued requests (queue size: 1)
31 > [TeX:client:(4) 27.168319] [centralized/INFO] got the answer. Sleep a bit and release it
32 > [Geoff:client:(5) 28.132351] [centralized/INFO] Got all the CS I wanted, quit now
33 > [Boivin:client:(3) 28.851387] [centralized/INFO] Ask the request
34 > [Tremblay:coordinator:(1) 29.485250] [centralized/INFO] CS release. resource now idle
35 > [Tremblay:coordinator:(1) 30.185818] [centralized/INFO] CS idle. Grant immediatly
36 > [Boivin:client:(3) 30.886385] [centralized/INFO] got the answer. Sleep a bit and release it
37 > [Tremblay:coordinator:(1) 32.586952] [centralized/INFO] CS release. resource now idle
38 > [Tremblay:coordinator:(1) 32.586952] [centralized/INFO] Received all releases, quit now
39 > [TeX:client:(4) 33.485250] [centralized/INFO] Got all the CS I wanted, quit now
40 > [Boivin:client:(3) 35.586952] [centralized/INFO] Got all the CS I wanted, quit now