image/svg+xml
HPC
Clouds
P2P
Scheduling
Grids
Application
ExperimentalSetup
Simulation
Model Checking
Property
Reduction
(what you test)
Virtual Platform
▸ Resources
▸ Routing
▸ External Events
▸ Actors
▸ MPI Legacy Code
▸ Offline Traces
▸ Centralized Algo
(C/C++/Java)
+
▸ Safety
▸ Liveness
▸ Patterns
▸ DPOR
▸ State
Equality
(highly experimental)
Models
Plugins
▸ Raw Perf.
▸ Contention
▸ Collective
x
←
2
x ≮ y
y
←
1
send(1)
send(2)
Your code
▸ Signals
▸ Extensions
deep inside
$./my_simulator|MSG_visualization/colorize.pl
[0.000]
[Tremblay:master]Got3workersand6taskstoprocess
[0.000]
[Tremblay:master]Sending’Task_0’to’Jupiter’
[0.148]
[Tremblay:master]Sending’Task_1’to’Fafard’
[0.148]
[Jupiter:worker]Processing’Task_0’
[0.347]
[Tremblay:master]Sending’Task_2’to’Ginette’
[0.347]
[Fafard:worker]Processing’Task_1’
[0.476]
[Tremblay:master]Sending’Task_3’to’Jupiter’
[0.476]
[Ginette:worker]Processing’Task_2’
[0.803]
[Jupiter:worker]’Task_0’done
[0.951]
[Tremblay:master]Sending’Task_4’to’Fafard’
[0.951]
[Jupiter:worker]Processing’Task_3’
[1.003]
[Fafard:worker]’Task_1’done
[1.202]
[Tremblay:master]Sending’Task_5’to’Ginette’
[1.202]
[Fafard:worker]Processing’Task_4’
[1.507]
[Ginette:worker]’Task_2’done
[1.606]
[Jupiter:worker]’Task_3’done
[1.635]
[Tremblay:master]Alltasksdispatched.Let’sstopworkers.
[1.635]
[Ginette:worker]Processing’Task_5’
[1.637]
[Jupiter:worker]I’mdone.Seeyou!
[1.857]
[Fafard:worker]’Task_4’done
[1.859]
[Fafard:worker]I’mdone.Seeyou!
[2.666]
[Ginette:worker]’Task_5’done
[2.668]
[Tremblay:master]Goodbyenow!
[2.668]
[Ginette:worker]I’mdone.Seeyou!
[2.668][]Simulationtime2.66766
1
3
45
6
2
Root
End
Time, Energy
(CPU, Links, Disks)
3
6
4
10G
1
13G
1.5
Config
Domains
operations
Exhaustive test
Counter example
R visualizations
Textual logs
(paths)
Calibration
Workflows
Fog
Volunteer
IoT
App Deployment