unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Alan Mackenzie <acm@muc.de>
Cc: luangruo@yahoo.com, monnier@iro.umontreal.ca,
	gregory@heytings.org, mattiase@acm.org, philipk@posteo.net,
	silent2600@gmail.com, emacs-devel@gnu.org
Subject: Re: emacs master + org Wrong type argument: number-or-marker-p
Date: Thu, 04 Aug 2022 16:18:40 +0300	[thread overview]
Message-ID: <83mtck2llb.fsf@gnu.org> (raw)
In-Reply-To: <Yuuc7WVfnULW6ddB@ACM> (message from Alan Mackenzie on Thu, 4 Aug 2022 10:18:21 +0000)

> Date: Thu, 4 Aug 2022 10:18:21 +0000
> Cc: Po Lu <luangruo@yahoo.com>, monnier@iro.umontreal.ca,
>   gregory@heytings.org, mattiase@acm.org, philipk@posteo.net,
>   silent2600@gmail.com, emacs-devel@gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> > > And what if someone wants to write a fontification function whose
> > > results depend, for example, on a single character at a known position
> > > outside of the accessible region? That cannot result in a freeze
> 
> > I cannot reason about something as abstract and theoretical.
> 
> CC Mode is such a mode, though it depends on more than just a single
> character outside the accessible region.

And what catastrophic results does the current master produce with CC
Mode, when you edit files with very long lines, due to this narrowing?

> > Users did and do complain about locked-up Emacs when they try to edit
> > files with long lines.  They just didn't realize one of the reasons
> > was font-lock (or syntax-ppss), so they didn't complain specifically
> > about that.  But every complaint you see about these situations is
> > basically a complaint about font-lock and its syntax-parsing parts.
> 
> Has anybody asked the question why is font-lock so slow on these long
> lines?  The answer is surely not the use of widen and narrow-to-region.
> A piece of text takes exactly as long to fontify when its buffer is
> narrowed as when it is not.

Of course.  But the problem is that font-lock was found to examine
much larger portions of the buffer than the ones to which we now
restrict it in those cases.  And the speedup is evident.  What does
that tell you?

> I think (though I have not analysed it any further) the cause of this
> slowness is font-lock fontifying from BOL to EOL.  That's an awful lot of
> fontification if we have long lines.  If this is the case, a better
> solution to the problem would be to restrict the font-locked region to,
> say, the visible line.  Or to the window.  Or something like that.

That's what we do: we restrict it to somewhat more than fits in the
window.  But the files in questions have lines that are much longer
than that.

> The current "solution" breaks things, because it doesn't fix what is
> broken and fixes what isn't broken.  In particular, it breaks CC Mode
> when there are long lines in a buffer.

No, the current solution sacrifices some of the font-lock correctness
to give us a usable Emacs.  I say it's a justified tradeoff.

> > Anyway, this discussion doesn't lead anywhere.  We have decided to try
> > this way of solving a long-standing problem in Emacs, and no amount of
> > talking will cause us to change that decision.  Only code that makes
> > font-lock and syntax.c significantly faster, and/or reports about
> > specific issues (as opposed to general semi-philosophical concerns)
> > caused by these changes, can affect both the implementation of these
> > changes and our future decisions about its defaults.
> 
> I don't want to be provocative, but having opcodes that only work most of
> the time rather than all of the time isn't a mere semi-philosophical
> concern.

They work all the time when there are no long lines.  When there are
long lines, they work slightly less correctly, and the lack of
correctness is only visible in the fontifications.  Hardly a disaster,
if you keep in mind that one of the previously recommended solutions
was to turn on so-long-mode, which turns off font-lock (to tell
nothing of the not-so-distant past, when Emacs didn't have font-lock
at all).

IOW, it's a tradeoff: we give up some of the font-lock correctness,
and in return gain a usable Emacs.



  reply	other threads:[~2022-08-04 13:18 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-08-01 13:13 emacs master + org Wrong type argument: number-or-marker-p hx
2022-08-01 13:37 ` Eli Zaretskii
2022-08-01 15:11   ` Philip Kaludercic
2022-08-01 15:52     ` Eli Zaretskii
2022-08-01 16:07       ` Philip Kaludercic
2022-08-01 16:34         ` Visuwesh
2022-08-01 16:11       ` Gregory Heytings
2022-08-01 16:25         ` Eli Zaretskii
2022-08-01 16:34           ` Philip Kaludercic
2022-08-01 16:39             ` Eli Zaretskii
2022-08-01 17:15               ` Mattias Engdegård
2022-08-01 17:24                 ` Eli Zaretskii
2022-08-01 17:36                   ` Mattias Engdegård
2022-08-01 17:59                     ` Eli Zaretskii
2022-08-01 18:06                       ` Gregory Heytings
2022-08-01 18:25                         ` Eli Zaretskii
2022-08-01 19:14                           ` Gregory Heytings
2022-08-01 18:47                         ` Mattias Engdegård
2022-08-01 19:16                           ` Gregory Heytings
2022-08-01 20:05                             ` Alan Mackenzie
2022-08-02 13:46                               ` Eli Zaretskii
2022-08-02 18:59                                 ` Alan Mackenzie
2022-08-02 19:15                                   ` Eli Zaretskii
2022-08-02 20:28                                     ` Alan Mackenzie
2022-08-03  1:21                                       ` Po Lu
2022-08-03  2:38                                         ` Eli Zaretskii
2022-08-03  4:34                                           ` Po Lu
2022-08-03 12:02                                             ` Eli Zaretskii
2022-08-03 12:07                                               ` Po Lu
2022-08-03 12:34                                                 ` Eli Zaretskii
2022-08-03 13:10                                                   ` Po Lu
2022-08-03 13:36                                                     ` Eli Zaretskii
2022-08-04  1:04                                                       ` Po Lu
2022-08-04  1:09                                                         ` Gregory Heytings
2022-08-04  1:27                                                           ` Po Lu
2022-08-04  6:45                                                           ` Eli Zaretskii
2022-08-03 20:47                                               ` Stefan Monnier
2022-08-04  5:51                                                 ` Eli Zaretskii
2022-08-04  6:19                                                   ` Po Lu
2022-08-04  7:10                                                     ` Eli Zaretskii
2022-08-04  7:31                                                       ` Po Lu
2022-08-04  7:58                                                         ` Eli Zaretskii
2022-08-04  8:42                                                           ` Po Lu
2022-08-04  9:06                                                             ` Eli Zaretskii
2022-08-04 10:18                                                               ` Alan Mackenzie
2022-08-04 13:18                                                                 ` Eli Zaretskii [this message]
2022-08-04 16:07                                                                   ` Alan Mackenzie
2022-08-04 16:37                                                                     ` Eli Zaretskii
2022-08-04 10:26                                                               ` Po Lu
2022-08-04 11:33                                                                 ` Werner LEMBERG
2022-08-04 13:10                                                                 ` Eli Zaretskii
2022-08-04 21:56                                                           ` Stefan Monnier
2022-08-03  7:21                                         ` Gregory Heytings
2022-08-03 11:07                                           ` Po Lu
2022-08-03 12:25                                             ` Eli Zaretskii
2022-08-03 15:25                                             ` Gregory Heytings
2022-08-04  1:02                                               ` Po Lu
2022-08-04  1:08                                                 ` Gregory Heytings
2022-08-04  9:14                                                 ` Stefan Monnier
2022-08-05  3:19                                               ` Richard Stallman
2022-08-03  8:57                                         ` Stefan Monnier
2022-08-03 11:05                                           ` Po Lu
2022-08-03 11:50                                       ` Eli Zaretskii
2022-08-02  8:25                             ` Mattias Engdegård
2022-08-02  8:43                               ` Gregory Heytings
2022-08-02  8:28                           ` Stefan Monnier
2022-08-02  8:40                             ` Mattias Engdegård
2022-08-01 16:36           ` Gregory Heytings
2022-08-01 16:49           ` Lars Ingebrigtsen
2022-08-01 17:23             ` Andreas Schwab
2022-08-07 15:22           ` Julien Cubizolles
2022-08-01 16:39         ` Andreas Schwab
2022-08-02 16:37         ` Opcode Versioning Was: " Sam Steingold
2022-08-02 22:10           ` Stefan Monnier
2022-08-04 14:59             ` Sam Steingold
2022-08-04 22:11               ` Stefan Monnier
2022-08-02  8:59       ` Po Lu
  -- strict thread matches above, loose matches on Subject: below --
2022-08-01 13:45 Gerd Möllmann
2022-08-01 17:36 Gerd Möllmann
2022-08-01 17:58 ` Lars Ingebrigtsen

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83mtck2llb.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=acm@muc.de \
    --cc=emacs-devel@gnu.org \
    --cc=gregory@heytings.org \
    --cc=luangruo@yahoo.com \
    --cc=mattiase@acm.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=philipk@posteo.net \
    --cc=silent2600@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).