-git revision : d22dbf808ef73d20175495533fe33a47fd2252cb
-
-grid5000 : parapluie-39 (rennes)
-
-*****
-
-chord.c
-
-max_simulation_time = 10;
-periodic_stabilize_delay = 8;
-periodic_fix_fingers_delay = 8;
-periodic_check_predecessor_delay = 8;
-periodic_lookup_delay = 8;
-
-chord2.xml
-
-<platform version="3">
-
- <process host="Gatien" function="node">
- <argument value="48"/> <!-- my id -->
- <argument value="1"/> <!-- known id -->
- <argument value="2"/> <!-- time to sleep before it starts-->
- <argument value ="9"/> <!-- deadline -->
- </process>
-
- <process host="Jacquelin" function="node">
- <argument value="1"/> <!-- my id -->
- <argument value ="9"/> <!-- deadline -->
- </process>
-
-</platform>
-
-* DPOR
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1
-
-[0.000000] [mc_global/INFO] Expanded states = 123
-[0.000000] [mc_global/INFO] Visited states = 278
-[0.000000] [mc_global/INFO] Executed transitions = 262
-[0.000000] [mc_global/INFO] Expanded / Visited = 2.260163
-
-real 0m1.691s
-user 0m1.612s
-sys 0m0.036s
-
-* Both
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/visited:3
-
-[0.000000] [mc_global/INFO] Expanded states = 32
-[0.000000] [mc_global/INFO] Visited states = 95
-[0.000000] [mc_global/INFO] Executed transitions = 85
-[0.000000] [mc_global/INFO] Expanded / Visited = 2.968750
-
-real 0m45.591s
-user 0m45.655s
-sys 0m0.540s
-
-* State equality
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/visited:3 --cfg=model-check/reduction:none
-
-* None
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/reduction:none
-
-****
-
-chord.c
-
-max_simulation_time = 20;
-periodic_stabilize_delay = 8;
-periodic_fix_fingers_delay = 8;
-periodic_check_predecessor_delay = 8;
-periodic_lookup_delay = 8;
-
-chord2.xml
-
-<platform version="3">
-
- <process host="Gatien" function="node">
- <argument value="48"/> <!-- my id -->
- <argument value="1"/> <!-- known id -->
- <argument value="2"/> <!-- time to sleep before it starts-->
- <argument value ="18"/> <!-- deadline -->
- </process>
-
- <process host="Jacquelin" function="node">
- <argument value="1"/> <!-- my id -->
- <argument value ="18"/> <!-- deadline -->
- </process>
-
-</platform>
-
-
-* DPOR
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1
-
-[0.000000] [mc_global/INFO] Expanded states = 1103
-[0.000000] [mc_global/INFO] Visited states = 2714
-[0.000000] [mc_global/INFO] Executed transitions = 2644
-[0.000000] [mc_global/INFO] Expanded / Visited = 2.460562
-
-real 0m1.995s
-user 0m1.952s
-sys 0m0.044s
-
-* Both
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/visited:3
-
-[0.000000] [mc_global/INFO] Expanded states = 28
-[0.000000] [mc_global/INFO] Visited states = 91
-[0.000000] [mc_global/INFO] Executed transitions = 81
-[0.000000] [mc_global/INFO] Expanded / Visited = 3.250000
-
-real 0m47.025s
-user 0m47.099s
-sys 0m0.516s
-
-* State equality
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/visited:3 --cfg=model-check/reduction:none
-
-* None
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1 --cfg=model-check/reduction:none
-
-****
-
-chord.c
-
-max_simulation_time = 50;
-periodic_stabilize_delay = 8;
-periodic_fix_fingers_delay = 8;
-periodic_check_predecessor_delay = 8;
-periodic_lookup_delay = 8;
-
-chord2.xml
-
-<platform version="3">
-
- <process host="Gatien" function="node">
- <argument value="48"/> <!-- my id -->
- <argument value="1"/> <!-- known id -->
- <argument value="2"/> <!-- time to sleep before it starts-->
- <argument value ="48"/> <!-- deadline -->
- </process>
-
- <process host="Jacquelin" function="node">
- <argument value="1"/> <!-- my id -->
- <argument value ="48"/> <!-- deadline -->
- </process>
-
-</platform>
-
-
-* DPOR
-
-./chord ../msg_platform.xml chord2.xml --cfg=model-check:1 --cfg=contexts/factory:ucontext --cfg=model-check/timeout:1
