Call compilation-filter-hook in the no-async case too.
[bpt/emacs.git] / lisp / gnus / registry.el
CommitLineData
ccd58722
TZ
1;;; registry.el --- Track and remember data items by various fields
2
f872186f 3;; Copyright (C) 2011 Free Software Foundation, Inc.
ccd58722
TZ
4
5;; Author: Teodor Zlatanov <tzz@lifelogs.com>
6;; Keywords: data
7
f872186f
GM
8;; This file is part of GNU Emacs.
9
10;; GNU Emacs is free software: you can redistribute it and/or modify
ccd58722
TZ
11;; it under the terms of the GNU General Public License as published by
12;; the Free Software Foundation, either version 3 of the License, or
13;; (at your option) any later version.
14
f872186f 15;; GNU Emacs is distributed in the hope that it will be useful,
ccd58722
TZ
16;; but WITHOUT ANY WARRANTY; without even the implied warranty of
17;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18;; GNU General Public License for more details.
19
20;; You should have received a copy of the GNU General Public License
f872186f 21;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
ccd58722
TZ
22
23;;; Commentary:
24
25;; This library provides a general-purpose EIEIO-based registry
26;; database with persistence, initialized with these fields:
27
28;; version: a float, 0.1 currently (don't change it)
29
30;; max-hard: an integer, default 5000000
31
32;; max-soft: an integer, default 50000
33
34;; precious: a list of symbols
35
36;; tracked: a list of symbols
37
38;; tracker: a hashtable tuned for 100 symbols to track (you should
39;; only access this with the :lookup2-function and the
40;; :lookup2+-function)
41
42;; data: a hashtable with default size 10K and resize threshold 2.0
43;; (this reflects the expected usage so override it if you know better)
44
45;; ...plus methods to do all the work: `registry-search',
46;; `registry-lookup', `registry-lookup-secondary',
47;; `registry-lookup-secondary-value', `registry-insert',
48;; `registry-delete', `registry-prune', `registry-size' which see
49
50;; and with the following properties:
51
52;; Every piece of data has a unique ID and some general-purpose fields
53;; (F1=D1, F2=D2, F3=(a b c)...) expressed as an alist, e.g.
54
55;; ((F1 D1) (F2 D2) (F3 a b c))
56
57;; Note that whether a field has one or many pieces of data, the data
58;; is always a list of values.
59
60;; The user decides which fields are "precious", F2 for example. At
61;; PRUNE TIME (when the :prune-function is called), the registry will
62;; trim any entries without the F2 field until the size is :max-soft
63;; or less. No entries with the F2 field will be removed at PRUNE
64;; TIME.
65
66;; When an entry is inserted, the registry will reject new entries
67;; if they bring it over the max-hard limit, even if they have the F2
68;; field.
69
70;; The user decides which fields are "tracked", F1 for example. Any
71;; new entry is then indexed by all the tracked fields so it can be
72;; quickly looked up that way. The data is always a list (see example
73;; above) and each list element is indexed.
74
75;; Precious and tracked field names must be symbols. All other
76;; fields can be any other Emacs Lisp types.
77
78;;; Code:
79
f8fc0578
SM
80(eval-when-compile (require 'cl))
81
42b23765 82(eval-when-compile
2237da9c 83 (when (null (ignore-errors (require 'ert)))
42b23765
TZ
84 (defmacro* ert-deftest (name () &body docstring-keys-and-body))))
85
2237da9c
G
86(ignore-errors
87 (require 'ert))
ccd58722
TZ
88(eval-and-compile
89 (or (ignore-errors (progn
90 (require 'eieio)
91 (require 'eieio-base)))
92 ;; gnus-fallback-lib/ from gnus/lisp/gnus-fallback-lib
93 (ignore-errors
94 (let ((load-path (cons (expand-file-name
95 "gnus-fallback-lib/eieio"
96 (file-name-directory (locate-library "gnus")))
97 load-path)))
98 (require 'eieio)
99 (require 'eieio-base)))
100 (error
101 "eieio not found in `load-path' or gnus-fallback-lib/ directory.")))
102
103(defclass registry-db (eieio-persistent)
104 ((version :initarg :version
105 :initform 0.1
106 :type float
107 :custom float
108 :documentation "The registry version.")
109 (max-hard :initarg :max-hard
110 :initform 5000000
111 :type integer
112 :custom integer
113 :documentation "Never accept more than this many elements.")
114 (max-soft :initarg :max-soft
115 :initform 50000
116 :type integer
117 :custom integer
118 :documentation "Prune as much as possible to get to this size.")
119 (tracked :initarg :tracked
120 :initform nil
121 :type t
122 :documentation "The tracked (indexed) fields, a list of symbols.")
123 (precious :initarg :precious
124 :initform nil
125 :type t
126 :documentation "The precious fields, a list of symbols.")
127 (tracker :initarg :tracker
128 :type hash-table
129 :documentation "The field tracking hashtable.")
130 (data :initarg :data
131 :type hash-table
132 :documentation "The data hashtable.")))
133
8d6d9c8f
KY
134(eval-and-compile
135 (defmethod initialize-instance :AFTER ((this registry-db) slots)
136 "Set value of data slot of THIS after initialization."
137 (with-slots (data tracker) this
138 (unless (member :data slots)
139 (setq data
140 (make-hash-table :size 10000 :rehash-size 2.0 :test 'equal)))
141 (unless (member :tracker slots)
142 (setq tracker (make-hash-table :size 100 :rehash-size 2.0)))))
143
144 (defmethod registry-lookup ((db registry-db) keys)
145 "Search for KEYS in the registry-db THIS.
ccd58722 146Returns a alist of the key followed by the entry in a list, not a cons cell."
8d6d9c8f
KY
147 (let ((data (oref db :data)))
148 (delq nil
149 (mapcar
150 (lambda (k)
151 (when (gethash k data)
152 (list k (gethash k data))))
153 keys))))
154
155 (defmethod registry-lookup-breaks-before-lexbind ((db registry-db) keys)
156 "Search for KEYS in the registry-db THIS.
ccd58722 157Returns a alist of the key followed by the entry in a list, not a cons cell."
8d6d9c8f
KY
158 (let ((data (oref db :data)))
159 (delq nil
160 (loop for key in keys
161 when (gethash key data)
162 collect (list key (gethash key data))))))
163
164 (defmethod registry-lookup-secondary ((db registry-db) tracksym
165 &optional create)
166 "Search for TRACKSYM in the registry-db THIS.
ccd58722 167When CREATE is not nil, create the secondary index hashtable if needed."
8d6d9c8f
KY
168 (let ((h (gethash tracksym (oref db :tracker))))
169 (if h
170 h
171 (when create
172 (puthash tracksym
173 (make-hash-table :size 800 :rehash-size 2.0 :test 'equal)
174 (oref db :tracker))
175 (gethash tracksym (oref db :tracker))))))
176
177 (defmethod registry-lookup-secondary-value ((db registry-db) tracksym val
178 &optional set)
179 "Search for TRACKSYM with value VAL in the registry-db THIS.
ccd58722 180When SET is not nil, set it for VAL (use t for an empty list)."
8d6d9c8f
KY
181 ;; either we're asked for creation or there should be an existing index
182 (when (or set (registry-lookup-secondary db tracksym))
183 ;; set the entry if requested,
184 (when set
185 (puthash val (if (eq t set) '() set)
186 (registry-lookup-secondary db tracksym t)))
187 (gethash val (registry-lookup-secondary db tracksym)))))
ccd58722
TZ
188
189(defun registry--match (mode entry check-list)
190 ;; for all members
191 (when check-list
192 (let ((key (nth 0 (nth 0 check-list)))
193 (vals (cdr-safe (nth 0 check-list)))
194 found)
195 (while (and key vals (not found))
196 (setq found (case mode
197 (:member
198 (member (car-safe vals) (cdr-safe (assoc key entry))))
199 (:regex
200 (string-match (car vals)
201 (mapconcat
202 'prin1-to-string
203 (cdr-safe (assoc key entry))
204 "\0"))))
205 vals (cdr-safe vals)))
206 (or found
207 (registry--match mode entry (cdr-safe check-list))))))
208
8d6d9c8f
KY
209(eval-and-compile
210 (defmethod registry-search ((db registry-db) &rest spec)
211 "Search for SPEC across the registry-db THIS.
ccd58722
TZ
212For example calling with :member '(a 1 2) will match entry '((a 3 1)).
213Calling with :all t (any non-nil value) will match all.
214Calling with :regex '\(a \"h.llo\") will match entry '((a \"hullo\" \"bye\").
215The test order is to check :all first, then :member, then :regex."
8d6d9c8f
KY
216 (when db
217 (let ((all (plist-get spec :all))
218 (member (plist-get spec :member))
219 (regex (plist-get spec :regex)))
220 (loop for k being the hash-keys of (oref db :data)
221 using (hash-values v)
222 when (or
223 ;; :all non-nil returns all
224 all
225 ;; member matching
226 (and member (registry--match :member v member))
227 ;; regex matching
228 (and regex (registry--match :regex v regex)))
229 collect k))))
230
231 (defmethod registry-delete ((db registry-db) keys assert &rest spec)
232 "Delete KEYS from the registry-db THIS.
ccd58722
TZ
233If KEYS is nil, use SPEC to do a search.
234Updates the secondary ('tracked') indices as well.
235With assert non-nil, errors out if the key does not exist already."
8d6d9c8f
KY
236 (let* ((data (oref db :data))
237 (keys (or keys
238 (apply 'registry-search db spec)))
239 (tracked (oref db :tracked)))
240
241 (dolist (key keys)
242 (let ((entry (gethash key data)))
243 (when assert
244 (assert entry nil
245 "Key %s does not exists in database" key))
246 ;; clean entry from the secondary indices
247 (dolist (tr tracked)
248 ;; is this tracked symbol indexed?
249 (when (registry-lookup-secondary db tr)
250 ;; for every value in the entry under that key...
251 (dolist (val (cdr-safe (assq tr entry)))
252 (let* ((value-keys (registry-lookup-secondary-value
253 db tr val)))
254 (when (member key value-keys)
255 ;; override the previous value
256 (registry-lookup-secondary-value
257 db tr val
258 ;; with the indexed keys MINUS the current key
259 ;; (we pass t when the list is empty)
260 (or (delete key value-keys) t)))))))
261 (remhash key data)))
262 keys))
263
264 (defmethod registry-insert ((db registry-db) key entry)
265 "Insert ENTRY under KEY into the registry-db THIS.
ccd58722
TZ
266Updates the secondary ('tracked') indices as well.
267Errors out if the key exists already."
268
8d6d9c8f
KY
269 (assert (not (gethash key (oref db :data))) nil
270 "Key already exists in database")
271
272 (assert (< (registry-size db)
273 (oref db :max-hard))
274 nil
c2f51e23 275 "registry max-hard size limit reached")
8d6d9c8f
KY
276
277 ;; store the entry
278 (puthash key entry (oref db :data))
279
280 ;; store the secondary indices
cf8b0c27 281 (dolist (tr (oref db :tracked))
8d6d9c8f
KY
282 ;; for every value in the entry under that key...
283 (dolist (val (cdr-safe (assq tr entry)))
284 (let* ((value-keys (registry-lookup-secondary-value db tr val)))
285 (pushnew key value-keys :test 'equal)
286 (registry-lookup-secondary-value db tr val value-keys))))
287 entry)
288
289 (defmethod registry-reindex ((db registry-db))
290 "Rebuild the secondary indices of registry-db THIS."
291 (let ((count 0)
292 (expected (* (length (oref db :tracked)) (registry-size db))))
293 (dolist (tr (oref db :tracked))
294 (let (values)
295 (maphash
296 (lambda (key v)
297 (incf count)
298 (when (and (< 0 expected)
299 (= 0 (mod count 1000)))
300 (message "reindexing: %d of %d (%.2f%%)"
67a2aecd 301 count expected (/ (* 100 count) expected)))
8d6d9c8f
KY
302 (dolist (val (cdr-safe (assq tr v)))
303 (let* ((value-keys (registry-lookup-secondary-value db tr val)))
304 (push key value-keys)
305 (registry-lookup-secondary-value db tr val value-keys))))
306 (oref db :data))))))
307
308 (defmethod registry-size ((db registry-db))
309 "Returns the size of the registry-db object THIS.
ccd58722 310This is the key count of the :data slot."
8d6d9c8f 311 (hash-table-count (oref db :data)))
ccd58722 312
8d6d9c8f
KY
313 (defmethod registry-prune ((db registry-db))
314 "Prunes the registry-db object THIS.
ccd58722 315Removes only entries without the :precious keys."
8d6d9c8f
KY
316 (let* ((precious (oref db :precious))
317 (precious-p (lambda (entry-key)
318 (cdr (memq (car entry-key) precious))))
319 (data (oref db :data))
320 (limit (oref db :max-soft))
321 (size (registry-size db))
322 (candidates (loop for k being the hash-keys of data
323 using (hash-values v)
324 when (notany precious-p v)
325 collect k))
326 (candidates-count (length candidates))
327 ;; are we over max-soft?
328 (prune-needed (> size limit)))
329
330 ;; while we have more candidates than we need to remove...
331 (while (and (> candidates-count (- size limit)) candidates)
332 (decf candidates-count)
333 (setq candidates (cdr candidates)))
334
335 (registry-delete db candidates nil))))
ccd58722
TZ
336
337(ert-deftest registry-instantiation-test ()
338 (should (registry-db "Testing")))
339
340(ert-deftest registry-match-test ()
341 (let ((entry '((hello "goodbye" "bye") (blank))))
342
343 (message "Testing :regex matching")
344 (should (registry--match :regex entry '((hello "nye" "bye"))))
345 (should (registry--match :regex entry '((hello "good"))))
346 (should-not (registry--match :regex entry '((hello "nye"))))
347 (should-not (registry--match :regex entry '((hello))))
348
349 (message "Testing :member matching")
350 (should (registry--match :member entry '((hello "bye"))))
351 (should (registry--match :member entry '((hello "goodbye"))))
352 (should-not (registry--match :member entry '((hello "good"))))
353 (should-not (registry--match :member entry '((hello "nye"))))
354 (should-not (registry--match :member entry '((hello)))))
355 (message "Done with matching testing."))
356
357(defun registry-make-testable-db (n &optional name file)
358 (let* ((db (registry-db
359 (or name "Testing")
360 :file (or file "unused")
361 :max-hard n
362 :max-soft 0 ; keep nothing not precious
363 :precious '(extra more-extra)
364 :tracked '(sender subject groups))))
365 (dotimes (i n)
366 (registry-insert db i `((sender "me")
367 (subject "about you")
368 (more-extra) ; empty data key should be pruned
369 ;; first 5 entries will NOT have this extra data
370 ,@(when (< 5 i) (list (list 'extra "more data")))
371 (groups ,(number-to-string i)))))
372 db))
373
374(ert-deftest registry-usage-test ()
375 (let* ((n 100)
376 (db (registry-make-testable-db n)))
377 (message "size %d" n)
378 (should (= n (registry-size db)))
379 (message "max-hard test")
380 (should-error (registry-insert db "new" '()))
381 (message "Individual lookup")
382 (should (= 58 (caadr (registry-lookup db '(1 58 99)))))
383 (message "Grouped individual lookup")
384 (should (= 3 (length (registry-lookup db '(1 58 99)))))
4523dc7f
G
385 (when (boundp 'lexical-binding)
386 (message "Individual lookup (breaks before lexbind)")
387 (should (= 58
cf8b0c27 388 (caadr (registry-lookup-breaks-before-lexbind db '(1 58 99)))))
4523dc7f
G
389 (message "Grouped individual lookup (breaks before lexbind)")
390 (should (= 3
cf8b0c27
TZ
391 (length (registry-lookup-breaks-before-lexbind db
392 '(1 58 99))))))
ccd58722
TZ
393 (message "Search")
394 (should (= n (length (registry-search db :all t))))
395 (should (= n (length (registry-search db :member '((sender "me"))))))
396 (message "Secondary index search")
397 (should (= n (length (registry-lookup-secondary-value db 'sender "me"))))
398 (should (equal '(74) (registry-lookup-secondary-value db 'groups "74")))
399 (message "Delete")
400 (should (registry-delete db '(1) t))
401 (decf n)
402 (message "Search after delete")
403 (should (= n (length (registry-search db :all t))))
404 (message "Secondary search after delete")
405 (should (= n (length (registry-lookup-secondary-value db 'sender "me"))))
406 (message "Pruning")
407 (let* ((tokeep (registry-search db :member '((extra "more data"))))
408 (count (- n (length tokeep)))
409 (pruned (registry-prune db))
410 (prune-count (length pruned)))
411 (message "Expecting to prune %d entries and pruned %d"
412 count prune-count)
413 (should (and (= count 5)
414 (= count prune-count))))
415 (message "Done with usage testing.")))
416
417(ert-deftest registry-persistence-test ()
418 (let* ((n 100)
419 (tempfile (make-temp-file "registry-persistence-"))
420 (name "persistence tester")
421 (db (registry-make-testable-db n name tempfile))
422 size back)
423 (message "Saving to %s" tempfile)
424 (eieio-persistent-save db)
425 (setq size (nth 7 (file-attributes tempfile)))
426 (message "Saved to %s: size %d" tempfile size)
427 (should (< 0 size))
428 (with-temp-buffer
429 (insert-file-contents-literally tempfile)
430 (should (looking-at (concat ";; Object "
431 name
432 "\n;; EIEIO PERSISTENT OBJECT"))))
433 (message "Reading object back")
434 (setq back (eieio-persistent-read tempfile))
435 (should back)
436 (message "Read object back: %d keys, expected %d==%d"
437 (registry-size back) n (registry-size db))
438 (should (= (registry-size back) n))
439 (should (= (registry-size back) (registry-size db)))
440 (delete-file tempfile))
441 (message "Done with persistence testing."))
442
443(provide 'registry)
444;;; registry.el ends here