main.py 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. import argparse
  2. import sys
  3. import time
  4. from pypdevs.DEVS import CoupledDEVS
  5. from pypdevs.simulator import Simulator
  6. from devstone import LI, HI, HO, HOmod
  7. from generator import Generator
  8. sys.setrecursionlimit(10000)
  9. class DEVStoneEnvironment(CoupledDEVS):
  10. def __init__(self, name, devstone_model, num_gen_outputs=1, gen_period=None):
  11. super(DEVStoneEnvironment, self).__init__(name=name)
  12. generator = Generator("generator", num_gen_outputs, gen_period)
  13. self.addSubModel(generator)
  14. self.addSubModel(devstone_model)
  15. self.connectPorts(generator.o_out, devstone_model.i_in)
  16. if isinstance(devstone_model, HO) or isinstance(devstone_model, HOmod):
  17. self.connectPorts(generator.o_out, devstone_model.i_in2)
  18. MODEL_TYPES = ("LI", "HI", "HO", "HOmod")
  19. def parse_args():
  20. parser = argparse.ArgumentParser(description='Script to compare DEVStone implementations with different engines')
  21. parser.add_argument('-m', '--model-type', required=True, help='DEVStone model type (LI, HI, HO, HOmod)')
  22. parser.add_argument('-d', '--depth', type=int, required=True, help='Number of recursive levels of the model.')
  23. parser.add_argument('-w', '--width', type=int, required=True, help='Width of each coupled model.')
  24. parser.add_argument('-i', '--int-cycles', type=int, default=0, help='Dhrystone cycles executed in internal transitions')
  25. parser.add_argument('-e', '--ext-cycles', type=int, default=0, help='Dhrystone cycles executed in external transitions')
  26. parser.add_argument('-f', '--flatten', action="store_true", help='Activate flattening on model')
  27. parser.add_argument('-c', '--chained', action="store_true", help='Use chained coordinator')
  28. args = parser.parse_args()
  29. if args.model_type not in MODEL_TYPES:
  30. raise RuntimeError("Unrecognized model type.")
  31. return args
  32. if __name__ == '__main__':
  33. args = parse_args()
  34. devstone_model = None
  35. start_time = time.time()
  36. if args.model_type == "LI":
  37. devstone_model = LI("LI_root", args.depth, args.width, args.int_cycles, args.ext_cycles)
  38. elif args.model_type == "HI":
  39. devstone_model = HI("HI_root", args.depth, args.width, args.int_cycles, args.ext_cycles)
  40. elif args.model_type == "HO":
  41. devstone_model = HO("HO_root", args.depth, args.width, args.int_cycles, args.ext_cycles)
  42. elif args.model_type == "HOmod":
  43. devstone_model = HOmod("HOmod_root", args.depth, args.width, args.int_cycles, args.ext_cycles)
  44. env = DEVStoneEnvironment("DEVStoneEnvironment", devstone_model)
  45. model_created_time = time.time()
  46. sim = Simulator(env)
  47. sim.setVerbose(None)
  48. # sim.setTerminationTime(10.0)
  49. # sim.setStateSaving("custom")
  50. engine_setup_time = time.time()
  51. sim.simulate()
  52. sim_time = time.time()
  53. print("Model creation time: {}".format(model_created_time - start_time))
  54. print("Engine setup time: {}".format(engine_setup_time - model_created_time))
  55. print("Simulation time: {}".format(sim_time - engine_setup_time))