emacs: Use a single buffer invisibility spec to fix quadratic search cost.

Buffer redisplay requires traversing the buffer's invisibility spec
for every part of the display that has an 'invisible text or overlay
property.  Previously, the search buffer's invisibility spec list
contained roughly one entry for each search result.  As a result,
redisplay took O(NM) time where N is the number of visible lines and M
is the total number of results.  On a slow computer, this is enough to
make even buffer motion noticeably slow.  Worse, during a search
operation, redisplay is triggered for each search result (even if
there are no visible buffer changes), so search was quadratic
(O(NM^2)) in the number of search results.

This change switches to using a single element buffer invisibility
spec.  To un-hide authors, instead of removing an entry from the
invisibility spec, it simply removes the invisibility overlay from
those authors.

I tested using a query with 6633 results on a 9 year old machine.
Before this patch, Emacs took 70 seconds to fill the search buffer;
toward the end of the search, Emacs consumed 10-20x as much CPU as
notmuch; and moving point in the buffer took about a second.  With
this patch, the same query takes 40 seconds, Emacs consumes ~3x the
CPU of notmuch by the end, and there's no noticeable lag to moving
point.  (There's still some source of non-linearity, because Emacs and
notmuch consume roughly the same amount of CPU early in the search.)
This commit is contained in:
Austin Clements 2011-11-08 21:55:28 -05:00 committed by David Bremner
parent ac46c6fdc2
commit a2d78fba20

View file

@ -378,7 +378,7 @@ Complete list of currently available key bindings:
(make-local-variable 'notmuch-search-target-line) (make-local-variable 'notmuch-search-target-line)
(set (make-local-variable 'notmuch-search-continuation) nil) (set (make-local-variable 'notmuch-search-continuation) nil)
(set (make-local-variable 'scroll-preserve-screen-position) t) (set (make-local-variable 'scroll-preserve-screen-position) t)
(add-to-invisibility-spec 'notmuch-search) (add-to-invisibility-spec (cons 'ellipsis t))
(use-local-map notmuch-search-mode-map) (use-local-map notmuch-search-mode-map)
(setq truncate-lines t) (setq truncate-lines t)
(setq major-mode 'notmuch-search-mode (setq major-mode 'notmuch-search-mode
@ -679,9 +679,6 @@ foreground and blue background."
(append (overlay-get overlay 'face) attributes))))) (append (overlay-get overlay 'face) attributes)))))
notmuch-search-line-faces))) notmuch-search-line-faces)))
(defun notmuch-search-isearch-authors-show (overlay)
(remove-from-invisibility-spec (cons (overlay-get overlay 'invisible) t)))
(defun notmuch-search-author-propertize (authors) (defun notmuch-search-author-propertize (authors)
"Split `authors' into matching and non-matching authors and "Split `authors' into matching and non-matching authors and
propertize appropriately. If no boundary between authors and propertize appropriately. If no boundary between authors and
@ -755,13 +752,11 @@ non-authors is found, assume that all of the authors match."
(insert visible-string) (insert visible-string)
(when (not (string= invisible-string "")) (when (not (string= invisible-string ""))
(let ((start (point)) (let ((start (point))
(invis-spec (make-symbol "notmuch-search-authors"))
overlay) overlay)
(insert invisible-string) (insert invisible-string)
(add-to-invisibility-spec (cons invis-spec t))
(setq overlay (make-overlay start (point))) (setq overlay (make-overlay start (point)))
(overlay-put overlay 'invisible invis-spec) (overlay-put overlay 'invisible 'ellipsis)
(overlay-put overlay 'isearch-open-invisible #'notmuch-search-isearch-authors-show))) (overlay-put overlay 'isearch-open-invisible #'delete-overlay)))
(insert padding)))) (insert padding))))
(defun notmuch-search-insert-field (field date count authors subject tags) (defun notmuch-search-insert-field (field date count authors subject tags)