Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
e0b97dab25484ce5554384307e920735b086110a
[simgrid.git] / examples / msg / semaphores / synchro.tesh
1 #! ./tesh
2
3 p Testing synchronization with semaphores
4
5 ! output sort 19
6 $ $SG_TEST_EXENV semaphores/synchro ${srcdir:=.}/../platforms/small_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
7 > [  0.000000] (1:Alice@Fafard) Trying to acquire 1
8 > [  0.000000] (1:Alice@Fafard) Acquired 1
9 > [  0.900000] (2:Bob@Fafard) Trying to acquire 1
10 > [  1.000000] (1:Alice@Fafard) Releasing 2
11 > [  1.000000] (2:Bob@Fafard) Acquired 1
12 > [  1.000000] (1:Alice@Fafard) Released 2
13 > [  2.000000] (2:Bob@Fafard) Releasing 2
14 > [  2.000000] (2:Bob@Fafard) Released 2
15 > [  3.000000] (2:Bob@Fafard) Trying to acquire 3
16 > [  3.000000] (2:Bob@Fafard) Acquired 3
17 > [  4.000000] (1:Alice@Fafard) Trying to acquire 3
18 > [  5.000000] (2:Bob@Fafard) Releasing 4
19 > [  5.000000] (1:Alice@Fafard) Acquired 3
20 > [  5.000000] (2:Bob@Fafard) Released 4
21 > [  7.000000] (2:Bob@Fafard) Trying to acquire 5
22 > [ 10.000000] (1:Alice@Fafard) Releasing 4
23 > [ 10.000000] (2:Bob@Fafard) Acquired 5
24 > [ 10.000000] (1:Alice@Fafard) Released 4
25 > [ 10.000000] (2:Bob@Fafard) Releasing 6
26 > [ 10.000000] (2:Bob@Fafard) Released 6
27 > [ 10.000000] (2:Bob@Fafard) Trying to acquire 7
28 > [ 10.000000] (2:Bob@Fafard) Acquired 7
29 > [ 11.000000] (1:Alice@Fafard) Trying to acquire 5
30 > [ 15.000000] (2:Bob@Fafard) Releasing 8
31 > [ 15.000000] (1:Alice@Fafard) Acquired 5
32 > [ 15.000000] (2:Bob@Fafard) Released 8
33 > [ 17.000000] (1:Alice@Fafard) Releasing 6
34 > [ 17.000000] (1:Alice@Fafard) Released 6
35 > [ 22.000000] (1:Alice@Fafard) Trying to acquire 7
36 > [ 22.000000] (1:Alice@Fafard) Acquired 7
37 > [ 22.000000] (1:Alice@Fafard) Releasing 8
38 > [ 22.000000] (1:Alice@Fafard) Released 8
39 > [ 65.000000] (2:Bob@Fafard) Done
40 > [ 72.000000] (1:Alice@Fafard) Done
41 > [ 72.000000] (0:maestro@) Finished
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76