def signal_handler(signal, frame): print '\n----starting pyretic shutdown------' # for thread in threading.enumerate(): # print (thread,thread.isAlive()) if of_client: print "attempting to kill of_client" of_client.kill() # print "attempting get output of of_client:" # output = of_client.communicate()[0] # print output print "pyretic.py done" # Print profile information if enabled if enable_profile: funcstats = yappi.get_func_stats() funcstats.sort("tsub") funcstats.print_all( columns={ 0: ("name", 38), 1: ("ncall", 8), 2: ("tsub", 8), 3: ("ttot", 8), 4: ("tavg", 8) }) global eval_profile_enabled if eval_profile_enabled: Stat.stop() sys.exit(0)
def __init__(self, args, kwargs): self.add_calls = 0 self.results_folder = args.results_folder self.disjoint_enabled = args.disjoint_enabled self.default_enabled = args.default_enabled self.integrate_enabled = args.integrate_enabled self.multitable_enabled = args.multitable_enabled self.ragel_enabled = args.ragel_enabled self.partition_enabled = args.partition_enabled self.switch_cnt = args.switch_cnt self.cache_enabled = args.cache_enabled self.edge_contraction_enabled = args.edge_contraction_enabled self.preddecomp_enabled = args.preddecomp_enabled self.use_pyretic = args.use_pyretic if args.write_log: self.write_log = args.write_log else: self.write_log = os.path.join('pyretic/evaluations', self.results_folder, 'rt_log.txt') self.use_fdd = args.use_fdd opt_flags = (self.disjoint_enabled, self.default_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled, self.partition_enabled, self.switch_cnt, self.cache_enabled, self.edge_contraction_enabled, self.preddecomp_enabled) """ Start the frenetic compiler-server """ netkat_out = None if not self.use_pyretic: netkat_cmd = "bash ~/pyretic/start-frenetic.sh" try: netkat_out = subprocess.Popen(netkat_cmd, shell=True, stderr=subprocess.STDOUT) except Exception as e: print "Could not start frenetic server successfully." print e sys.exit(1) Stat.start(self.results_folder, (self.disjoint_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled)) self.runtime = Runtime(None, eval_path.main, eval_path.path_main, kwargs, opt_flags=opt_flags, mode='proactive0', use_pyretic=self.use_pyretic, use_fdd=self.use_fdd, offline=True, write_log=self.write_log, restart_frenetic=False) Stat.stop() if netkat_out: netkat_out.kill() self.kill_netkat_server()
def add(self, **aparams): self.path_policy = eval_path.path_main(**aparams) self.add_calls += 1 results_folder = "%s_%d" % (self.results_folder[:-1], self.add_calls) Stat.start(results_folder, (self.disjoint_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled)) self.recompile_paths() self.runtime.get_subpolicy_compile_stats(eval_path.path_main) Stat.stop()
def __init__(self, args, kwargs): self.add_calls = 0 self.results_folder = args.results_folder self.disjoint_enabled = args.disjoint_enabled self.default_enabled = args.default_enabled self.integrate_enabled = args.integrate_enabled self.multitable_enabled = args.multitable_enabled self.ragel_enabled = args.ragel_enabled self.partition_enabled = args.partition_enabled self.switch_cnt = args.switch_cnt self.cache_enabled = args.cache_enabled self.edge_contraction_enabled = args.edge_contraction_enabled self.preddecomp_enabled = args.preddecomp_enabled self.use_pyretic = args.use_pyretic if args.write_log: self.write_log = args.write_log else: self.write_log = os.path.join('pyretic/evaluations', self.results_folder, 'rt_log.txt') self.use_fdd = args.use_fdd opt_flags = (self.disjoint_enabled, self.default_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled, self.partition_enabled, self.switch_cnt, self.cache_enabled, self.edge_contraction_enabled, self.preddecomp_enabled ) """ Start the frenetic compiler-server """ netkat_out = None if not self.use_pyretic: netkat_cmd = "bash ~/pyretic/start-frenetic.sh" try: netkat_out = subprocess.Popen(netkat_cmd, shell=True, stderr=subprocess.STDOUT) except Exception as e: print "Could not start frenetic server successfully." print e sys.exit(1) Stat.start(self.results_folder, (self.disjoint_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled)) self.runtime = Runtime(None, eval_path.main, eval_path.path_main, kwargs, opt_flags = opt_flags, mode = 'proactive0', use_pyretic = self.use_pyretic, use_fdd = self.use_fdd, offline=True, write_log = self.write_log, restart_frenetic = False) Stat.stop() if netkat_out: netkat_out.kill() self.kill_netkat_server()
def __init__(self, args, kwargs): self.add_calls = 0 self.results_folder = args.results_folder self.disjoint_enabled = args.disjoint_enabled self.default_enabled = args.default_enabled self.integrate_enabled = args.integrate_enabled self.multitable_enabled = args.multitable_enabled self.ragel_enabled = args.ragel_enabled self.partition_enabled = args.partition_enabled self.switch_cnt = args.switch_cnt self.cache_enabled = args.cache_enabled self.edge_contraction_enabled = args.edge_contraction_enabled self.use_pyretic = args.use_pyretic opt_flags = (self.disjoint_enabled, self.default_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled, self.partition_enabled, self.switch_cnt, self.cache_enabled, self.edge_contraction_enabled, ) """ Start the frenetic compiler-server """ if not self.use_pyretic: netkat_cmd = "bash start-frenetic.sh" try: output = subprocess.Popen(netkat_cmd, shell=True, stderr=subprocess.STDOUT) except Exception as e: print "Could not start frenetic server successfully." print e sys.exit(1) Stat.start(self.results_folder, (self.disjoint_enabled, self.integrate_enabled, self.multitable_enabled, self.ragel_enabled)) self.runtime = Runtime(None, eval_path.main, eval_path.path_main, kwargs, opt_flags = opt_flags, mode = 'proactive0', use_pyretic = self.use_pyretic, offline=True) Stat.stop()
def signal_handler(signal, frame): print '\n----starting pyretic shutdown------' # for thread in threading.enumerate(): # print (thread,thread.isAlive()) if of_client: print "attempting to kill of_client" of_client.kill() # print "attempting get output of of_client:" # output = of_client.communicate()[0] # print output print "pyretic.py done" # Print profile information if enabled if enable_profile: funcstats = yappi.get_func_stats() funcstats.sort("tsub") funcstats.print_all(columns={0:("name",38), 1:("ncall",8), 2:("tsub",8), 3:("ttot",8), 4:("tavg", 8)}) global eval_profile_enabled if eval_profile_enabled: Stat.stop() sys.exit(0)
logging_queue, log_level, )) log_process.daemon = True log_process.start() # Set default handler. logger = logging.getLogger() handler = util.QueueStreamHandler(logging_queue) logger.addHandler(handler) logger.setLevel(log_level) if options.eval_result_path: global eval_profile_enabled eval_profile_enabled = True Stat.start(options.eval_result_path) """ Start the frenetic compiler-server """ if not options.use_pyretic and options.mode == 'proactive0': netkat_cmd = "bash start-frenetic.sh" try: output = subprocess.Popen(netkat_cmd, shell=True, stderr=subprocess.STDOUT) except Exception as e: print "Could not start frenetic server successfully." print e sys.exit(1) """ Start the runtime. """ opt_flags_arg = (options.disjoint_enabled, options.default_enabled, options.integrate_enabled, options.multitable_enabled, options.ragel_enabled, options.partition_enabled,
logger.handle(to_log) log_level = verbosity_map.get(options.verbosity, logging.DEBUG) log_process = Process(target=log_writer,args=(logging_queue, log_level,)) log_process.daemon = True log_process.start() # Set default handler. logger = logging.getLogger() handler = util.QueueStreamHandler(logging_queue) logger.addHandler(handler) logger.setLevel(log_level) if options.eval_result_path: global eval_profile_enabled eval_profile_enabled = True Stat.start(options.eval_result_path) """ Start the frenetic compiler-server """ if not options.use_pyretic and options.mode == 'proactive0': netkat_cmd = "bash start-frenetic.sh" try: output = subprocess.Popen(netkat_cmd, shell=True, stderr=subprocess.STDOUT) except Exception as e: print "Could not start frenetic server successfully." print e sys.exit(1) """ Start the runtime. """ opt_flags_arg = (options.disjoint_enabled, options.default_enabled, options.integrate_enabled, options.multitable_enabled,