MaceMC performance
- nslrack08
- 5 nodes
elapsed time in terms of depth
1 0
2 0
3 0
4 1
5 6
6 20
7 66
8 208
9 640
10 1955
11 6749
params.default
#Definitely set this one!
MACE_PRINT_HOSTNAME_ONLY = 1
#For more verbosity use higher numbers. But the default is very verbose on replay.
MACE_LOG_LEVEL = 10
#Control network and node errors
USE_UDP_REORDER = 1
USE_UDP_ERRORS = 1
USE_NET_ERRORS=1 # specifically TCP errors
SIM_NODE_FAILURE=1
#Whether the search should use best-first or not – turning on is less tested, but can be faster at the expense of more memory
USE_BEST_FIRST = 0
MACE_PORT=5377 #10201 #Just some random port number
max_num_steps=20000 #How many steps before the path is considered dead
search_print_mask=4095
PRINT_SEARCH_PREFIX=0
#Controls search features. Recommended to leave these on.
#USE_RANDOM_WALKS=1
USE_GUSTO=1
USE_STATE_HASHES=1
NUM_RANDOM_PATHS=60 # The number of paths to attempt at a prefix length before declaring a prefix dead.
MAX_PATHS=200000000
RUN_DIVERGENCE_MONITOR = 1
divergence_assert = 1 # causes a divergence to end the execution, as opposed to allowing it to continue to see if the transition will complete.
divergence_timeout = 30 # how long is considered too long to run a single transition
CHECKED_SERVICE=RandTree
num_nodes=5 #number of nodes to create
queue_size=100000 #commonly used to pass into the SimulatedTCP service for buffer size (in # messages) before dropping them.
Simulator SimulateEventEnd SimulateEventBegin NumberGen getReadyNodes SimNetwork SimScheduler SimApplication SimTransportApp
SEARCH_DEPTH=1 # controls the bounded search depth increment. Is both the starting depth and the depth increment
file=tmp.txt
MAX_DEAD_PATHS=1000
DONT_EXIT=1