def __init__(self, event_creator): global _evt_scheduler _evt_scheduler = self core.set_event_scheduler(self) self.time_chunk = 1000 * core.get_local_min_delay() self.upto_time = core.get_now() + self.time_chunk self.event_creator = greenlet(event_creator) self.event_creator.switch()
def proc_schedule( self, process, delay = core.get_local_min_delay(), parent = None, waitingon=None): """ Schedules a process to get executed after time given by delay The default delay is the value of local_min_delay (1 time unit) """ pn = self.proc_new( process, parent, waitingon) if delay > 0: msg = _ProcActivateMsg( pid = id(process) ) self.send_to_self( msg, delay ) else: self.proc_activate( pn )
def proc_schedule(self, process, delay=core.get_local_min_delay(), parent=None, waitingon=None): """ Schedules a process to get executed after time given by delay The default delay is the value of local_min_delay (1 time unit) """ pn = self.proc_new(process, parent, waitingon) if delay > 0: msg = _ProcActivateMsg(pid=id(process)) self.send_to_self(msg, delay) else: self.proc_activate(pn)
def schedule_process( process, delay=core.get_local_min_delay() ): """ Invokes ProcessManager.proc_schedule() """ get_process_mgr().proc_schedule( process, max(delay,core.get_local_min_delay()) )
def schedule_process(process, delay=core.get_local_min_delay()): """ Invokes ProcessManager.proc_schedule() """ get_process_mgr().proc_schedule(process, max(delay, core.get_local_min_delay()))