Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Tesh files: kill obsolete variables SG_TEST_EXENV and EXEEXT.
[simgrid.git] / examples / deprecated / msg / synchro-semaphore / synchro-semaphore.tesh
1 #!/usr/bin/env tesh
2
3 p Testing synchronization with semaphores
4
5 ! output sort 19
6 $ ${bindir:=.}/synchro-semaphore ${platfdir}/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