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 __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()))
