devstone_comparative.py 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162
  1. import argparse
  2. import csv
  3. import re
  4. import subprocess
  5. import sys
  6. import time
  7. DEFAULT_PARAMS = ((300, 10, 0, 0), (10, 300, 0, 0), (300, 300, 0, 0))
  8. DEFAULT_MODEL_TYPES = ("LI", "HI", "HO", "HOmod")
  9. DEFAULT_MAX_TIME = 1e10
  10. DEFAULT_NUM_REPS = 10
  11. RE_SIM_TIMES = r"Model creation time: ?([0-9.e-]+) ?.*Engine set ?up time: ?([0-9.e-]+) ?.*Simulation time: ?([0-9.e-]+)"
  12. COMMANDS = {
  13. "adevs": "devstone/adevs/bin/devstone {model_type} {width} {depth} {int_cycles} {ext_cycles}",
  14. "cadmium": {
  15. "v1": "devstone/cadmium/build/cadmium-dynamic-devstone --kind={model_type} --width={width} --depth={depth} --int-cycles={int_cycles} --ext-cycles={ext_cycles}",
  16. "v2": {
  17. "sequential": "simulators/cadmium_v2/bin/main_devstone {model_type} {width} {depth} {int_cycles} {ext_cycles}",
  18. "parallel": "simulators/cadmium_v2/bin/parallel_main_devstone {model_type} {width} {depth} {int_cycles} {ext_cycles}",
  19. },
  20. },
  21. "pypdevs": {
  22. "standard": {
  23. "python": "python3 devstone/pythonpdevs/main.py -m {model_type} -w {width} -d {depth} -i {int_cycles} -e {ext_cycles}",
  24. "pypy": "pypy3 devstone/pythonpdevs/main.py -m {model_type} -w {width} -d {depth} -i {int_cycles} -e {ext_cycles}",
  25. },
  26. "minimal": {
  27. "python": "python3 devstone/pythonpdevs-minimal/main.py -m {model_type} -d {depth} -w {width} -i {int_cycles} -e {ext_cycles}",
  28. "pypy": "pypy3 devstone/pythonpdevs-minimal/main.py -m {model_type} -d {depth} -w {width} -i {int_cycles} -e {ext_cycles}",
  29. },
  30. },
  31. "xdevs": {
  32. "c": "simulators/xdevs.c/examples/devstone/devstone -w {width} -d {depth} -b {model_type} -m 1",
  33. "cpp": "simulators/xdevs-c++/src/xdevs/examples/DevStone/DevStone -w {width} -d {depth} -b {model_type} -m 1",
  34. # "go": , # TODO add this
  35. "java": {
  36. "sequential": "java -cp simulators/xdevs.java/target/xdevs-2.0.1-jar-with-dependencies.jar xdevs.lib.performance.DevStoneSimulation --model={model_type} --width={width} --depth={depth} --delay-distribution=Constant-{int_cycles} --coordinator=Coordinator",
  37. "parallel": "java -cp simulators/xdevs.java/target/xdevs-2.0.1-jar-with-dependencies.jar xdevs.lib.performance.DevStoneSimulation --model={model_type} --width={width} --depth={depth} --delay-distribution=Constant-{int_cycles} --coordinator=CoordinatorParallel",
  38. },
  39. "py": "python3 simulators/xdevs.py/xdevs/examples/devstone/main.py -m {model_type} -d {depth} -w {width} -i {int_cycles} -e {ext_cycles}", # TODO
  40. "rs": "cargo run --release --manifest-path simulators/xdevs.rs/Cargo.toml {model_type} {width} {depth} {int_cycles} {ext_cycles}",
  41. },
  42. }
  43. def parse_args():
  44. parser = argparse.ArgumentParser(description='Script to compare DEVStone implementations with different engines')
  45. parser.add_argument('-m', '--model-types', help='DEVStone model type (LI, HI, HO, HOmod)')
  46. parser.add_argument('-w', '--width', type=int, help='Width of each coupled model.')
  47. parser.add_argument('-d', '--depth', type=int, help='Number of recursive levels of the model.')
  48. parser.add_argument('-i', '--int-cycles', type=int, help='Dhrystone cycles executed in internal transitions')
  49. parser.add_argument('-e', '--ext-cycles', type=int, help='Dhrystone cycles executed in external transitions')
  50. parser.add_argument('-n', '--num-rep', type=int, help='Number of repetitions per each engine and configuration')
  51. parser.add_argument('-a', '--include_engines', help='Add specific engines to perform the comparative')
  52. parser.add_argument('-r', '--exclude_engines', help='Exclude specific engines from the comparative')
  53. parser.add_argument('-o', '--out-file', help='Output file path')
  54. parser.add_argument('-p', '--params', help='Specify params in a condensed form: d1-w1-ic1-ec1, d2-w2-ic2-ec2...')
  55. args = parser.parse_args()
  56. if args.model_types:
  57. args.model_types = [x.strip() for x in args.model_types.split(",")]
  58. else:
  59. args.model_types = DEFAULT_MODEL_TYPES
  60. if args.params:
  61. args.params = [x.strip().split("-") for x in args.params.split(",")]
  62. elif args.depth and args.width:
  63. int_cycles = args.int_cycles or 0
  64. ext_cycles = args.ext_cycles or 0
  65. args.params = ((args.depth, args.width, int_cycles, ext_cycles),)
  66. else:
  67. args.params = DEFAULT_PARAMS
  68. if args.include_engines:
  69. args.include_engines = args.include_engines.split(",")
  70. for engine in args.include_engines:
  71. if engine not in engines:
  72. raise RuntimeError("%s is not in the engines list" % engine)
  73. else:
  74. args.include_engines = engines.keys()
  75. if args.exclude_engines:
  76. excluded = args.exclude_engines.split(",")
  77. args.include_engines = [x for x in args.include_engines if x not in excluded]
  78. if not args.num_rep:
  79. args.num_rep = DEFAULT_NUM_REPS
  80. if not args.out_file:
  81. args.out_file = "devstone_%de_%dp_%d.csv" % (len(engines), len(args.params), int(time.time()))
  82. return args
  83. def execute_cmd(cmd, csv_writer):
  84. # Execute simulation
  85. try:
  86. result = subprocess.run(engine_cmd_f.split(), stdout=subprocess.PIPE)
  87. except Exception as e:
  88. print("%s: Error executing simulation." % engine)
  89. return
  90. # Read data from output
  91. found = re.search(RE_SIM_TIMES, str(result.stdout))
  92. if not found:
  93. print("%s: Simulation execution times could not be extracted." % engine)
  94. print(result.stdout)
  95. return
  96. model_time, engine_time, sim_time = tuple(map(float, found.groups()))
  97. total_time = sum((model_time, engine_time, sim_time))
  98. # Write results into output file
  99. row = (
  100. engine, i_exec, model_type, depth, width, int_cycles, ext_cycles, model_time, engine_time, sim_time, total_time)
  101. csv_writer.writerow(row)
  102. if __name__ == "__main__":
  103. sys.setrecursionlimit(10000)
  104. args = parse_args()
  105. if not engines:
  106. raise RuntimeError("No engines were selected.")
  107. with open(args.out_file, "w") as csv_file:
  108. csv_writer = csv.writer(csv_file, delimiter=';')
  109. csv_writer.writerow(("engine", "iter", "model", "depth", "width", "int_delay", "ext_delay", "model_time", "runner_time", "sim_time", "total_time"))
  110. for engine in args.include_engines:
  111. engine_cmd = engines[engine]
  112. if len(args.params[0]) == 4:
  113. for model_type in args.model_types:
  114. for depth, width, int_cycles, ext_cycles in args.params:
  115. engine_cmd_f = engine_cmd.format(model_type=model_type, depth=depth, width=width, int_cycles=int_cycles, ext_cycles=ext_cycles)
  116. for i_exec in range(args.num_rep):
  117. if not engine_cmd_f:
  118. continue
  119. print(engine_cmd_f)
  120. execute_cmd(engine_cmd_f, csv_writer)
  121. elif len(args.params[0]) == 5:
  122. for model_type, depth, width, int_cycles, ext_cycles in args.params:
  123. engine_cmd_f = engine_cmd.format(model_type=model_type, depth=depth, width=width, int_cycles=int_cycles,
  124. ext_cycles=ext_cycles)
  125. for i_exec in range(args.num_rep):
  126. if not engine_cmd_f:
  127. continue
  128. print(engine_cmd_f)
  129. execute_cmd(engine_cmd_f, csv_writer)