annotate py/utils.py @ 271:11cebd6f0bfb

untested fridge.integrator
author Matt Johnston <matt@ucc.asn.au>
date Wed, 11 Nov 2015 00:20:20 +0800
parents 9d0313b685ae
children af924d27140f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
1 import os
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
2 import sys
265
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
3 import ctypes
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
4 import time
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
5 import select
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
6 import logging
253
0a1b642e3086 long polling config updates
Matt Johnston <matt@ucc.asn.au>
parents: 230
diff changeset
7 import binascii
259
26eee8591f61 long polling works
Matt Johnston <matt@ucc.asn.au>
parents: 253
diff changeset
8 import json
265
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
9 import datetime
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
10
149
d686b111dab4 working better. logging works properly, cleanup fridge.off() happens.
Matt Johnston <matt@ucc.asn.au>
parents: 145
diff changeset
11 D = logging.debug
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
12 L = logging.info
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
13 W = logging.warning
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
14 E = logging.error
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
15
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
16 DEFAULT_TRIES = 3
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
17 READLINE_SELECT_TIMEOUT = 1
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
18
144
482d7852b511 a bit more, and some tests
Matt Johnston <matt@ucc.asn.au>
parents: 141
diff changeset
19 def EX(msg, *args, **kwargs):
482d7852b511 a bit more, and some tests
Matt Johnston <matt@ucc.asn.au>
parents: 141
diff changeset
20 kwargs['exc_info'] = True
482d7852b511 a bit more, and some tests
Matt Johnston <matt@ucc.asn.au>
parents: 141
diff changeset
21 logging.error(msg, *args, **kwargs)
482d7852b511 a bit more, and some tests
Matt Johnston <matt@ucc.asn.au>
parents: 141
diff changeset
22
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
23 clock_gettime = None
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
24 no_clock_gettime = True
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
25 def monotonic_time():
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
26 global clock_gettime
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
27 global no_clock_gettime
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
28 if no_clock_gettime:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
29 return time.time()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
30
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
31 class timespec(ctypes.Structure):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
32 _fields_ = [
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
33 ('tv_sec', ctypes.c_long),
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
34 ('tv_nsec', ctypes.c_long)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
35 ]
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
36 if not clock_gettime:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
37 try:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
38 librt = ctypes.CDLL('librt.so.0', use_errno=True)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
39 clock_gettime = librt.clock_gettime
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
40 clock_gettime.argtypes = [ctypes.c_int, ctypes.POINTER(timespec)]
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
41 except:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
42 W("No clock_gettime(), using fake fallback.")
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
43 no_clock_gettime = True
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
44 return time.time()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
45
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
46 t = timespec()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
47 CLOCK_MONOTONIC = 1 # see <linux/time.h>
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
48
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
49 if clock_gettime(CLOCK_MONOTONIC, ctypes.pointer(t)) != 0:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
50 errno_ = ctypes.get_errno()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
51 raise OSError(errno_, os.strerror(errno_))
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
52 return t.tv_sec + t.tv_nsec * 1e-9
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
53
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
54 # decorator, tries a number of times, returns None on failure, sleeps between
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
55 # Must be used as "@retry()" if arguments are defaulted
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
56 def retry(retries=DEFAULT_TRIES, try_time = 1):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
57 def inner(func):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
58 def new_f(*args, **kwargs):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
59 for i in range(retries):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
60 d = func(*args, **kwargs)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
61 if d is not None:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
62 return d
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
63 time.sleep(try_time)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
64 return None
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
65
230
185621f47040 run 2to3
Matt Johnston <matt@ucc.asn.au>
parents: 149
diff changeset
66 new_f.__name__ = func.__name__
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
67 return new_f
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
68 return inner
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
69
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
70 def readline(sock):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
71 timeout = READLINE_SELECT_TIMEOUT
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
72 buf = ''
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
73 while True:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
74 (rlist, wlist, xlist) = select.select([sock], [], [], timeout)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
75 if sock not in rlist:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
76 # hit timeout
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
77 return None
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
78
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
79 c = sock.recv(1)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
80 if c == '':
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
81 # lightblue timeout
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
82 return None
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
83 if c == '\r':
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
84 continue
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
85
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
86 buf += c
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
87 if c == '\n':
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
88 return buf
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
89
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
90 # from http://blog.stalkr.net/2011/04/pctf-2011-32-thats-no-bluetooth.html
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
91 def crc16(buff, crc = 0, poly = 0x8408):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
92 l = len(buff)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
93 i = 0
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
94 while i < l:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
95 ch = ord(buff[i])
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
96 uc = 0
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
97 while uc < 8:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
98 if (crc & 1) ^ (ch & 1):
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
99 crc = (crc >> 1) ^ poly
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
100 else:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
101 crc >>= 1
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
102 ch >>= 1
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
103 uc += 1
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
104 i += 1
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
105 return crc
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
106
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
107 def cheap_daemon():
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
108 L("Daemonising.")
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
109 sys.stdout.flush()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
110 sys.stderr.flush()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
111 out = file('/dev/null', 'a+')
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
112 os.dup2(out.fileno(), sys.stdout.fileno())
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
113 os.dup2(out.fileno(), sys.stderr.fileno())
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
114
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
115 try:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
116 pid = os.fork()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
117 if pid > 0:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
118 sys.exit(0)
230
185621f47040 run 2to3
Matt Johnston <matt@ucc.asn.au>
parents: 149
diff changeset
119 except OSError as e:
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
120 E("Bad fork()")
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
121 sys.exit(1)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
122
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
123 os.setsid()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
124
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
125 try:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
126 pid = os.fork()
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
127 if pid > 0:
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
128 sys.exit(0)
230
185621f47040 run 2to3
Matt Johnston <matt@ucc.asn.au>
parents: 149
diff changeset
129 except OSError as e:
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
130 E("Bad fork()")
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
131 sys.exit(1)
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
132
145
6517ddee3187 few more bits
Matt Johnston <matt@ucc.asn.au>
parents: 144
diff changeset
133 def uptime():
6517ddee3187 few more bits
Matt Johnston <matt@ucc.asn.au>
parents: 144
diff changeset
134 try:
6517ddee3187 few more bits
Matt Johnston <matt@ucc.asn.au>
parents: 144
diff changeset
135 return float(open('/proc/uptime', 'r').read().split(' ', 1)[0])
230
185621f47040 run 2to3
Matt Johnston <matt@ucc.asn.au>
parents: 149
diff changeset
136 except Exception as e:
145
6517ddee3187 few more bits
Matt Johnston <matt@ucc.asn.au>
parents: 144
diff changeset
137 return -1
141
4755e6f9a5b8 python raspberry pi rewrite
Matt Johnston <matt@ucc.asn.au>
parents:
diff changeset
138
259
26eee8591f61 long polling works
Matt Johnston <matt@ucc.asn.au>
parents: 253
diff changeset
139
26eee8591f61 long polling works
Matt Johnston <matt@ucc.asn.au>
parents: 253
diff changeset
140 def json_load_round_float(s, **args):
26eee8591f61 long polling works
Matt Johnston <matt@ucc.asn.au>
parents: 253
diff changeset
141 return json.loads(s,parse_float = lambda f: round(float(f), 2), **args)
265
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
142
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
143 class NotTooOften(object):
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
144 """ prevents things happening more than once per limit.
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
145 Isn't monotonic, good enough for logging. eg
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
146 self.logfailure = NotTooOften(180) # 3 minutes
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
147 ...
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
148 if self.logfailure():
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
149 L("blah")
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
150 """
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
151 def __init__(self, limit):
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
152 """ limit is a delay in seconds or TimeDelta """
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
153 if type(limit) is datetime.timedelta:
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
154 self.limit = limit
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
155 else:
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
156 self.limit = datetime.timedelta(seconds=limit)
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
157
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
158 # must be positive
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
159 assert self.limit > datetime.timedelta(0)
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
160 self.last = datetime.datetime(10, 1, 1)
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
161
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
162 def __call__(self):
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
163 if datetime.datetime.now() - self.last > self.limit:
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
164 self.last = datetime.datetime.now()
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
165 return True
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
166
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
167 def log(self, msg):
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
168 """ calls L(msg) if it isn't too often, otherwise D(msg)
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
169 """
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
170 if self():
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
171 L(msg + " (log interval %s)" % str(self.limit))
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
172 else:
78c542f03030 Limit log
Matt Johnston <matt@ucc.asn.au>
parents: 259
diff changeset
173 D(msg)
270
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
174
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
175 class StepIntegrator(object):
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
176 """
271
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
177 Takes on/off events and a monotonically increasing timefn. Returns the integral
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
178 of (now-limittime, now) over those events.
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
179
270
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
180 >>> s = StepIntegrator(lambda: t, 40)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
181 >>> t = 1
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
182 >>> s.turn(1)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
183 >>> t = 10
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
184 >>> s.turn(0)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
185 >>> t = 20
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
186 >>> s.turn(1)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
187 >>> t = 30
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
188 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
189 19
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
190 >>> s.turn(0)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
191 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
192 19
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
193 >>> t = 35
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
194 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
195 19
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
196 >>> t = 42
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
197 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
198 18
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
199 >>> t = 52
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
200 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
201 10
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
202 >>> t = 69
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
203 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
204 1
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
205 >>> t = 70
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
206 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
207 0
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
208 >>> t = 170
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
209 >>> print(s.integrate())
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
210 0
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
211 """
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
212 def __init__(self, timefn, limittime):
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
213 # _on_periods is a list of [[start, end]]. End is None if still on
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
214 self._on_periods = []
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
215 self._timefn = timefn
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
216 self._limittime = limittime
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
217
271
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
218 def set_limit(self, limittime):
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
219 if self._limittime == limittime:
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
220 return
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
221 self._limittime = limittime
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
222 self.trim()
11cebd6f0bfb untested fridge.integrator
Matt Johnston <matt@ucc.asn.au>
parents: 270
diff changeset
223
270
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
224 def turn(self, value):
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
225 if not self._on_periods:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
226 if value:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
227 self._on_periods.append([self._timefn(), None])
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
228 return
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
229
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
230 # state hasn't changed
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
231 on_now = (self._on_periods[-1][1] is None)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
232 if value == on_now:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
233 return
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
234
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
235 if value:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
236 self._on_periods.append([self._timefn(), None])
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
237 else:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
238 self._on_periods[-1][1] = self._timefn()
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
239
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
240 def _trim(self):
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
241 begin = self._timefn() - self._limittime
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
242 # shortcut, first start is after begin
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
243 if not self._on_periods or self._on_periods[0][0] >= begin:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
244 return
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
245
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
246 new_periods = []
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
247 for s, e in self._on_periods:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
248 if s == e:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
249 continue
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
250 elif s >= begin:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
251 new_periods.append([s,e])
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
252 elif e is not None and e < begin:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
253 continue
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
254 else:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
255 new_periods.append([begin, e])
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
256 self._on_periods = new_periods
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
257
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
258 def integrate(self):
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
259 self._trim()
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
260 tot = 0
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
261 for s, e in self._on_periods:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
262 if e is None:
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
263 e = self._timefn()
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
264 tot += (e-s)
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
265 return tot
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
266
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
267
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
268
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
269
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
270
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
271
9d0313b685ae StepIntegrator
Matt Johnston <matt@ucc.asn.au>
parents: 265
diff changeset
272