4 @todo Look into switching from POLL_TIME = min(F * 2^n, MAX) to POLL_TIME = min(CONST + F * 2^n, MAX)
5 @todo Look into supporting more states that have a different F and MAX
12 import util.go_utils as gobject_utils
13 import util.coroutines as coroutines
17 _moduleLogger = logging.getLogger("gvoice.state_machine")
20 def _to_milliseconds(**kwd):
21 if "milliseconds" in kwd:
22 return kwd["milliseconds"]
23 elif "seconds" in kwd:
24 return kwd["seconds"] * 1000
25 elif "minutes" in kwd:
26 return kwd["minutes"] * 1000 * 60
27 raise KeyError("Unknown arg: %r" % kwd)
30 class StateMachine(object):
32 STATE_ACTIVE = 0, "active"
33 STATE_IDLE = 1, "idle"
36 _ACTION_UPDATE = "update"
37 _ACTION_RESET = "reset"
40 _INITIAL_ACTIVE_PERIOD = int(_to_milliseconds(seconds=10))
41 _FINAL_ACTIVE_PERIOD = int(_to_milliseconds(minutes=10))
42 _IDLE_PERIOD = int(_to_milliseconds(minutes=30))
47 def __init__(self, initItems, updateItems):
48 self._initItems = initItems
49 self._updateItems = updateItems
51 self._state = self.STATE_ACTIVE
53 self._timeoutId = None
54 self._currentPeriod = self._INITIAL_ACTIVE_PERIOD
55 self._set_initial_period()
57 self._callback = coroutines.func_sink(
58 coroutines.expand_positional(
59 self._request_reset_timers
67 assert self._startId is None
68 self._startId = gobject.idle_add(self._start)
71 if self._startId is not None:
72 _moduleLogger.info("Stopping state machine before it even had a chance to start")
73 gobject.source_remove(self._startId)
77 def set_state(self, newState):
78 oldState = self._state
79 _moduleLogger.info("Transitioning from %s to %s" % (oldState, newState))
81 self._state = newState
87 def reset_timers(self):
91 def request_reset_timers(self):
95 @gtk_toolbox.log_exception(_moduleLogger)
96 def _request_reset_timers(self, *args):
99 def _set_initial_period(self):
100 self._currentPeriod = self._INITIAL_ACTIVE_PERIOD / 2 # We will double it later
102 def _schedule_update(self):
103 assert self._timeoutId is None
104 nextTimeout = self._calculate_step(self._state, self._currentPeriod)
105 nextTimeout = int(nextTimeout)
106 if nextTimeout != self._INFINITE_PERIOD:
107 self._timeoutId = gobject.timeout_add(nextTimeout, self._on_timeout)
108 _moduleLogger.info("Next update in %s ms" % (nextTimeout, ))
109 self._currentPeriod = nextTimeout
112 _moduleLogger.info("Starting State Machine")
113 for item in self._initItems:
117 _moduleLogger.exception("Initial update failed for %r" % item)
118 self._schedule_update()
120 return False # do not continue
122 def _stop_update(self):
123 if self._timeoutId is None:
124 _moduleLogger.info("Stopping an already stopped state machine")
126 gobject.source_remove(self._timeoutId)
127 self._timeoutId = None
129 def _reset_timers(self):
130 if self._timeoutId is None:
131 return # not started yet
133 self._set_initial_period()
134 self._schedule_update()
136 def _on_timeout(self):
137 _moduleLogger.info("Update")
138 for item in self._updateItems:
140 item.update(force=True)
142 _moduleLogger.exception("Update failed for %r" % item)
143 self._timeoutId = None
144 self._schedule_update()
145 return False # do not continue
148 def _calculate_step(cls, state, period):
149 if state == cls.STATE_ACTIVE:
150 return min(period * 2, cls._FINAL_ACTIVE_PERIOD)
151 elif state == cls.STATE_IDLE:
152 return cls._IDLE_PERIOD
153 elif state == cls.STATE_DND:
154 return cls._INFINITE_PERIOD
156 raise RuntimeError("Unknown state: %r" % (state, ))