bug#25706: 26.0.50; Slow C file fontification

[Alan Mackenzie]

Hello, Ravine.

On Thu, Dec 10, 2020 at 22:32:17 +0530, Ravine Var wrote:
> > Thank you indeed for taking the trouble to test the patch on the lesser
> > machine.  I do not have access to such a machine.  I am assuming that
> > before this patch, such a large file like osprey_reg....h would have
> > been completely unworkable on the machine.  It sounds as though it still
> > is.  However, have you noticed any improvement at all in performance?

> There is a marginal improvement - recovery from scroll lockups are
> slightly faster. But, in general, working with the osprey header
> file is still very painful.

OK, I still have some work to do, here.

> > Could I ask you please to do one more thing, and that is to take a
> > profile on this machine where it is giving trouble.  From a freshly
> > loaded buffer, move forward (if necessary) to a troublesome spot.  N.B.
> > C-u 1 M-> moves to 10% away from the end of the buffer, C-u 2 M-> 20%,
> > and so on.  Then start the profiler and do what is causing sluggish
> > performance.  Then have a look at the final profiler output, and expand
> > it sensibly so that the troublesome function can be found.

[ .... ]

> I opened the osprey file and started scrolling down and the screen
> locked up. Here is the profile report (with emacs -Q):

> https://gist.github.com/ravine-var/0c293968a902cde76af77f2872dde1d7

Thanks.  That was very helpful.  I've still got to analyse it more
deeply, but one thing that stood out (to me, at least), was
c-forward-name taking up 13% of the run time in your profile.  If we
include the garbage collection this will have caused, it might be as
high as 20% of the time, and that's right at the beginnning of your
buffer.

To fix this, can I ask you, please, to try adding the following patch to
your already patched software, and let me know if it helps at all.  If
it does, that's great, if not, could I ask you to do another profile for
me on the less powerful machine, say by opening the buffer, starting the
profiler, then moving to the middle of the buffer with C-u 5 M->.  This
may take some time to profile.  Thanks!

> I am using emacs master (along with your patch) built with LTO enabled
> and CFLAGS set to '-O2 -march=native'.

That's the ideal testing setup.

Here's that patch:



diff -r 863d08a1858a cc-engine.el
--- a/cc-engine.el      Thu Nov 26 11:27:52 2020 +0000
+++ b/cc-engine.el      Tue Dec 08 19:48:50 2020 +0000
@@ -8276,7 +8325,8 @@
        ;; typically called from `c-forward-type' in this case, and
        ;; the caller only wants the top level type that it finds to
        ;; be promoted.
-       c-promote-possible-types)
+       c-promote-possible-types
+       (lim+ (c-determine-+ve-limit 500)))
     (while
        (and
         (looking-at c-identifier-key)
@@ -8306,7 +8359,7 @@
 
                 ;; Handle a C++ operator or template identifier.
                 (goto-char id-end)
-                (c-forward-syntactic-ws)
+                (c-forward-syntactic-ws lim+)
                 (cond ((eq (char-before id-end) ?e)
                        ;; Got "... ::template".
                        (let ((subres (c-forward-name)))
@@ -8336,13 +8389,13 @@
                                             (looking-at "::")
                                             (progn
                                               (goto-char (match-end 0))
-                                              (c-forward-syntactic-ws)
+                                              (c-forward-syntactic-ws lim+)
                                               (eq (char-after) ?*))
                                             (progn
                                               (forward-char)
                                               t))))
                            (while (progn
-                                    (c-forward-syntactic-ws)
+                                    (c-forward-syntactic-ws lim+)
                                     (setq pos (point))
                                     (looking-at c-opt-type-modifier-key))
                              (goto-char (match-end 1))))))
@@ -8352,7 +8405,7 @@
                        (setq c-last-identifier-range
                              (cons (point) (match-end 0)))
                        (goto-char (match-end 0))
-                       (c-forward-syntactic-ws)
+                       (c-forward-syntactic-ws lim+)
                        (setq pos (point)
                              res 'operator)))
 
@@ -8366,7 +8419,7 @@
               (setq c-last-identifier-range
                     (cons id-start id-end)))
             (goto-char id-end)
-            (c-forward-syntactic-ws)
+            (c-forward-syntactic-ws lim+)
             (setq pos (point)
                   res t)))
 
@@ -8382,7 +8435,7 @@
               ;; cases with tricky syntactic whitespace that aren't
               ;; covered in `c-identifier-key'.
               (goto-char (match-end 0))
-              (c-forward-syntactic-ws)
+              (c-forward-syntactic-ws lim+)
               t)
 
              ((and c-recognize-<>-arglists
@@ -8391,7 +8444,7 @@
               (when (let (c-last-identifier-range)
                       (c-forward-<>-arglist nil))
 
-                (c-forward-syntactic-ws)
+                (c-forward-syntactic-ws lim+)
                 (unless (eq (char-after) ?\()
                   (setq c-last-identifier-range nil)
                   (c-add-type start (1+ pos)))
@@ -8406,7 +8459,7 @@
                       (when (and c-record-type-identifiers id-start)
                         (c-record-ref-id (cons id-start id-end)))
                       (forward-char 2)
-                      (c-forward-syntactic-ws)
+                      (c-forward-syntactic-ws lim+)
                       t)
 
                   (when (and c-record-type-identifiers id-start


-- 
Alan Mackenzie (Nuremberg, Germany).