Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / actions / actions.tesh
1 # A little tesh file testing most MPI-related actions
2
3
4 ! output sort
5 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment_split.xml "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
6 > [500.005200] (1:p0@host0) p0 recv p1 500.005200
7 > [500.005200] (2:p1@host1) p1 send p0 1e10 500.005200
8 > [500.005201] (1:p0@host0) p0 compute 12 0.000001
9 > [512.005200] (0:@) Simulation time 512.005
10 > [512.005200] (2:p1@host1) p1 sleep 12 12.000000 
11
12 ! output sort
13 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment.xml actions_allReduce.txt "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
14 > [  0.000000] (1:p0@host0) p0 comm_size 3 0.000000
15 > [100.010400] (1:p0@host0) p0 allReduce 5e8 5e8 100.010400
16 > [100.010400] (2:p1@host1) p1 allReduce 5e8 5e8 100.010400
17 > [100.010400] (3:p2@host2) p2 allReduce 5e8 5e8 100.010400
18 > [150.010400] (0:@) Simulation time 150.01
19 > [150.010400] (1:p0@host0) p0 compute 5e8 50.000000
20 > [150.010400] (2:p1@host1) p1 compute 5e8 50.000000
21 > [150.010400] (3:p2@host2) p2 compute 5e8 50.000000
22
23 ! output sort
24 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment.xml actions_barrier.txt "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
25 > [  0.000000] (1:p0@host0) p0 comm_size 3 0.000000
26 > [  0.000000] (2:p1@host1) p1 comm_size 3 0.000000
27 > [  0.000000] (3:p2@host2) p2 comm_size 3 0.000000
28 > [  0.505200] (1:p0@host0) p0 send p1 1E7 0.505200
29 > [  0.505200] (2:p1@host1) p1 recv p0 0.505200
30 > [  0.905200] (2:p1@host1) p1 compute 4E6 0.400000
31 > [  0.905200] (3:p2@host2) p2 compute 4E6 0.400000
32 > [  0.955200] (0:@) Simulation time 0.9552
33 > [  0.955200] (1:p0@host0) p0 compute 4.5E6 0.450000
34
35 ! output sort
36 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment.xml actions_bcast.txt "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
37 > [  0.000000] (1:p0@host0) p0 comm_size 3 0.000000
38 > [ 25.005200] (1:p0@host0) p0 bcast 5e8 25.005200
39 > [ 25.005200] (2:p1@host1) p1 bcast 5e8 25.005200
40 > [ 25.005200] (3:p2@host2) p2 bcast 5e8 25.005200
41 > [ 45.005200] (2:p1@host1) p1 compute 2e8 20.000000
42 > [ 75.005200] (1:p0@host0) p0 compute 5e8 50.000000
43 > [ 75.005200] (3:p2@host2) p2 compute 5e8 50.000000
44 > [100.010400] (1:p0@host0) p0 bcast 5e8 25.005200
45 > [100.010400] (2:p1@host1) p1 bcast 5e8 55.005200
46 > [100.010400] (3:p2@host2) p2 bcast 5e8 25.005200
47 > [120.010400] (2:p1@host1) p1 compute 2e8 20.000000
48 > [150.010400] (1:p0@host0) p0 compute 5e8 50.000000
49 > [150.010400] (3:p2@host2) p2 compute 5e8 50.000000
50 > [175.015600] (2:p1@host1) p1 reduce 5e8 5e8 55.005200
51 > [175.015600] (3:p2@host2) p2 reduce 5e8 5e8 25.005200
52 > [225.015600] (0:@) Simulation time 225.016
53 > [225.015600] (1:p0@host0) p0 reduce 5e8 5e8 75.005200
54
55 ! output sort
56 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment.xml actions_reduce.txt "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
57 > [  0.000000] (1:p0@host0) p0 comm_size 3 0.000000
58 > [ 25.005200] (2:p1@host1) p1 reduce 5e8 5e8 25.005200
59 > [ 25.005200] (3:p2@host2) p2 reduce 5e8 5e8 25.005200
60 > [ 75.005200] (1:p0@host0) p0 reduce 5e8 5e8 75.005200
61 > [ 75.005200] (2:p1@host1) p1 compute 5e8 50.000000
62 > [ 75.005200] (3:p2@host2) p2 compute 5e8 50.000000
63 > [125.005200] (0:@) Simulation time 125.005
64 > [125.005200] (1:p0@host0) p0 compute 5e8 50.000000
65
66 ! output sort
67 $ ${bindir:=.}/actions --log=actions.thres=verbose homogeneous_3_hosts.xml deployment.xml actions_with_isend.txt "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
68 > [  0.000000] (2:p1@host1) p1 Irecv p0 0.000000
69 > [  0.000000] (3:p2@host2) p2 Irecv p1 0.000000
70 > [ 50.000000] (3:p2@host2) p2 compute 5e8 50.000000
71 > [ 50.005200] (1:p0@host0) p0 send p1 1e9 50.005200
72 > [100.000000] (2:p1@host1) p1 compute 1e9 100.000000
73 > [100.000000] (2:p1@host1) p1 wait 0.000000
74 > [150.005200] (1:p0@host0) p0 compute 1e9 100.000000
75 > [150.005200] (2:p1@host1) p1 send p2 1e9 50.005200
76 > [150.005200] (3:p2@host2) p2 wait 100.005200
77 > [150.005200] (3:p2@host2) p2 Isend p0 1e9 0.000000
78 > [200.005200] (0:@) Simulation time 200.005
79 > [200.005200] (1:p0@host0) p0 recv p2 50.000000
80 > [200.005200] (3:p2@host2) p2 compute 5e8 50.000000
81