def phc_kill(self, Uid, msg, poly_id = ''): if poly_id == '': poly_id = 'current' print 'Before kill:\n' print processes() file_id = get_file_id(Uid, poly_id) pid = self.get_pid(Uid, poly_id, file_id) if pid !='': PHC_Kill(pid, file_id) print 'After kill:\n' print processes() else: print "No process to kill. The process has not started."
def phc_kill(self, Uid, msg, poly_id=''): if poly_id == '': poly_id = 'current' print 'Before kill:\n' print processes() file_id = get_file_id(Uid, poly_id) pid = self.get_pid(Uid, poly_id, file_id) if pid != '': PHC_Kill(pid, file_id) print 'After kill:\n' print processes() else: print "No process to kill. The process has not started."
def main(): # change directory open_solver_folder() while True: full = 0 Procs = processes() print "Procs" comps = len(Procs)-1 for i in xrange(comps): print Procs[i] if comps >= cores: full = 1 Uid = 0 print "No more Cores to use" else: # XXX to check the status, check by proccess Uid but not if comps < len(Userproc): # some poly has been solved for Jid in Userproc: if PHC_Status(Jid): del Userproc[Jid] Uid = Jid print "$$$$ Job done: " + Jid break else: Uid = 0 solver_sleep = solver(full, Uid) if solver_sleep: # No polynomial to solve and no request print "No request" sleep(sleeptime) print "###########################################"