unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: martin rudalics <rudalics@gmx.at>
To: Alan Mackenzie <acm@muc.de>
Cc: cpitclaudel@gmail.com, Paul Eggert <eggert@cs.ucla.edu>,
	michael_heerdegen@web.de, emacs-devel@gnu.org,
	monnier@IRO.UMontreal.CA, Eli Zaretskii <eliz@gnu.org>
Subject: Re: scratch/accurate-warning-pos: Solid progress: the branch now bootstraps.
Date: Sat, 01 Dec 2018 20:04:43 +0100	[thread overview]
Message-ID: <5C02DB4B.6030609@gmx.at> (raw)
In-Reply-To: <20181201172127.GA29324@ACM>

 > Possibly.  Has anybody raised a bug report concerning (the lack of) an
 > i.c.c.?

I've been talking about annoyances not about bugs.  If, at all, people
would file a feature request disguised as a bug report for that.

 > The reaction to my work on this bug, AFTER spending many many days
 > hacking it has been uniformly hostile.  Not one reply has said "thanks
 > for fixing this bug", or anything like it.  I'm trying to think of a
 > reply which even acknowledged that a bug, a difficult bug, has been
 > fixed.

As someone who has been bitten by this bug occasionally I express my
thanks to you for your efforts.  I even have to admit that due to the
fact that line numbers are often reported incorrectly, I now never
bother to consult them in the first place but try to retrieve the
necessary information from any other context available.

But please do not judge my replies as "hostile".  I expressed my
concerns and I tried to do that at a sufficiently early stage in
response to similar concerns raised by Paul before.  And I tried to
provide a context in the sense that for me there are many annoyances
that bother me to the same extent (or even more) and where I never
would accept a slowdown as your reported.

For some years already I cannot run Emacs regularly from a debug build
because it can't keep up with my typing speed (which ironically also
gets slower day by day).  I can't yet imagine what to do when my
optimized builds slow down to a similar degree.

 > Not one reply has offered to try to help optimise the new code, rather
 > than discarding it.
 >
 > I'm not entirely sure either that those criticizing entirely understand
 > what has been fixed.  Paul E. admitted as much in his latest post.

I do _not_ criticize you and have no intentions to do that.  My
knowledge of the byte compiler is much too limited for that.

 >> I've kept quiet when the 'open-paren-in-column-0-is-defun-start'
 >> convention was abolished recently.  And I would have kept quiet in the
 >> case at hand as well.  But Eli once said that people should complain
 >> _before_ a change is made and so I did.
 >
 > Nobody complained before I put in 50 - 100 hours of work fixing the bug.
 > Or if they did, I wasn't listening.  Perhaps if they had, I might have
 > not bothered fixing it, given that people don't really seem to want it
 > fixed anyway.

You did not say in advance what people would have to pay for the fix.
And IIUC even you didn't know the price when you started coding.

 > The solution to this bug would be the same regardless of who implemented
 > it.  The improvement in performance from your changes will be the same
 > regardless of whether my bug fix is merged in or not.

Here I disagree.  If bug fixes are allowed to cause a significant
slowdown of Emacs, people will sooner or later stop improving its
performance or stop using it at all.  This is IMO reality and I hope
you don't dismiss it as yet another criticism.

 > And after my bug fix a bootstrap would still take "more than an hour".
 > You'd scarcely notice the difference.

Noticing differences and their cause is a process that may take
months.  Remember our ups and downs with xdisp.c.

 > Yes.  I haven't forgotten doing overnight builds on Emacs myself.  But
 > you also have to live with acknowledging most people's typical setup, as
 > I'm sure you do.

I do.  Although I'm probably too old to understand the philosophy of
using a retina display with reduced resolution when running Emacs.

 >>   > If you still object to this fix, even after trying it, what you are
 >>   > saying is that you prefer fast buggy software over slightly slower
 >>   > functional software.
 >
 >> I don't say that.
 >
 > You are saying that.  You're saying that the 7% - 8% or whatever slowdown
 > is more important to you than a bug free byte compiler.

If I can make the byte compiler bug free by not printing line numbers
when they are buggy with a probability of ...

 >> IMO the "byte compiler bug" has a simple fix which, however, nobody but
 >> me would accept: When there is the slightest doubt do not print
 >> position indications.
 >
 > This would mean printing no positions at all.  In a bootstrap (which I've
 > done rather a lot of, recently) only 25% of the positions output are
 > correct.  The other three quarters are junk.  Likely the pattern is
 > repeated in compilations of users' programs.  Apparently, nobody but me
 > thinks this is a Bad Thing.

... 75% then the first solution that comes to my mind is to not print
line numbers at all.  Then we have a "bug free compiler" (we all know
that such a thing does not exist, in reality).

martin



  parent reply	other threads:[~2018-12-01 19:04 UTC|newest]

Thread overview: 110+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-11-17 12:45 scratch/accurate-warning-pos: First tentative successes Alan Mackenzie
2018-11-17 13:13 ` Eli Zaretskii
2018-11-23 13:09   ` scratch/accurate-warning-pos: Solid progress: the branch now bootstraps Alan Mackenzie
2018-11-25 11:26     ` Charles A. Roelli
2018-11-25 14:31       ` Alan Mackenzie
2018-11-25 15:12         ` Andreas Schwab
2018-11-25 15:42           ` Alan Mackenzie
2018-11-25 16:40             ` Eli Zaretskii
2018-11-25 17:59               ` Alan Mackenzie
2018-11-25 18:15                 ` Eli Zaretskii
2018-11-25 18:23                   ` Alan Mackenzie
2018-11-25 19:36                     ` Alan Mackenzie
2018-11-25 16:22         ` Stefan Monnier
2018-11-25 17:35           ` Alan Mackenzie
2018-11-25 18:22             ` Stefan Monnier
2018-11-25 19:54               ` Alan Mackenzie
2018-11-25 20:08                 ` Stefan Monnier
2018-11-26  9:52                   ` Alan Mackenzie
2018-11-26 10:16                     ` Alan Mackenzie
2018-11-25 16:38         ` Eli Zaretskii
2018-11-25 17:27           ` Andreas Schwab
2018-11-25 17:31           ` Alan Mackenzie
2018-11-25 17:39             ` Eli Zaretskii
2018-11-25 18:08               ` Alan Mackenzie
2018-11-25 18:45       ` Paul Eggert
2018-11-25 19:30         ` Alan Mackenzie
2018-11-25 20:12           ` Paul Eggert
2018-11-25 21:29             ` Alan Mackenzie
2018-11-26  1:41               ` Paul Eggert
2018-11-26  3:41                 ` Eli Zaretskii
2018-11-26 17:43                   ` Paul Eggert
2018-11-26 18:43                     ` Alan Mackenzie
2018-11-26 19:18                       ` Clément Pit-Claudel
2018-11-26 19:42                         ` Alan Mackenzie
2018-11-27  1:07                           ` Gemini Lasswell
2018-11-27  1:45                             ` Alan Mackenzie
2018-11-27  6:06                             ` Eli Zaretskii
2018-11-27  2:48                       ` Paul Eggert
2018-11-27  7:43                         ` Alan Mackenzie
2018-11-27 20:27                           ` Paul Eggert
2018-11-27 21:15                             ` Alan Mackenzie
2018-11-27 21:37                               ` Paul Eggert
2018-11-27 21:53                                 ` Alan Mackenzie
2018-11-28  1:11                                   ` Paul Eggert
2018-11-28 12:04                                     ` Alan Mackenzie
2018-11-29 21:28                                       ` Paul Eggert
2018-11-29 22:05                                         ` Alan Mackenzie
2018-11-30 17:50                                           ` Paul Eggert
2018-11-30 18:55                                             ` Alan Mackenzie
2018-11-30 20:14                                               ` Paul Eggert
2018-11-30 22:02                                                 ` Alan Mackenzie
2018-11-30 23:46                                                   ` Paul Eggert
2018-12-01  7:35                                                     ` martin rudalics
2018-12-01  8:25                                                       ` Eli Zaretskii
2018-12-01 11:08                                                         ` Alan Mackenzie
2018-12-01 11:36                                                           ` Eli Zaretskii
2018-12-01 12:47                                                       ` Alan Mackenzie
2018-12-01 14:09                                                         ` martin rudalics
2018-12-01 14:30                                                           ` Stefan Monnier
2018-12-01 16:30                                                             ` martin rudalics
2018-12-01 19:56                                                               ` Stefan Monnier
2018-12-01 14:59                                                           ` Eli Zaretskii
2018-12-01 16:31                                                             ` martin rudalics
2018-12-01 16:53                                                               ` Eli Zaretskii
2018-12-01 19:04                                                                 ` martin rudalics
2018-12-01 19:22                                                                   ` Eli Zaretskii
2018-12-01 17:21                                                           ` Alan Mackenzie
2018-12-01 17:44                                                             ` Michael Heerdegen
2018-12-01 18:58                                                               ` Alan Mackenzie
2018-12-01 20:26                                                                 ` Alan Mackenzie
2018-12-01 17:48                                                             ` Eli Zaretskii
2018-12-01 21:00                                                               ` Paul Eggert
2018-12-01 17:50                                                             ` Clément Pit-Claudel
2018-12-01 18:26                                                               ` Yuri Khan
2018-12-01 19:15                                                                 ` Clément Pit-Claudel
2018-12-01 21:26                                                                 ` Paul Eggert
2018-12-02  6:48                                                                   ` Yuri Khan
2018-12-02 18:39                                                                   ` Gemini Lasswell
2018-12-03  2:28                                                                     ` Stefan Monnier
2018-12-01 19:04                                                             ` martin rudalics [this message]
2018-12-02 22:53                                                             ` Dmitry Gutov
2018-12-01  0:26                                               ` Gemini Lasswell
2018-12-01 11:48                                                 ` Alan Mackenzie
2018-11-27 22:09                                 ` Stefan Monnier
2018-11-28  2:18                                   ` Paul Eggert
2018-11-28  2:43                                     ` Stefan Monnier
2018-11-28  5:13                                       ` Paul Eggert
2018-11-28  6:03                                       ` Gemini Lasswell
2018-11-28  5:39                                   ` Gemini Lasswell
2018-11-28 13:06                                     ` Stefan Monnier
2018-11-28  6:28                                 ` Eli Zaretskii
2018-11-28 22:50                                   ` Paul Eggert
2018-11-29  7:19                                     ` Eli Zaretskii
2018-11-29 10:54                                     ` Alan Mackenzie
2018-11-29 11:13                                       ` Eli Zaretskii
2018-11-29 11:37                                         ` Alan Mackenzie
2018-11-29 21:12                                           ` Paul Eggert
2018-11-29 21:28                                             ` Alan Mackenzie
2018-11-28  0:53                               ` Gemini Lasswell
2018-11-26 20:04                     ` Stefan Monnier
2018-11-27  2:51                       ` Paul Eggert
2018-11-26  9:48                 ` Alan Mackenzie
2018-11-26 18:27                   ` Paul Eggert
2018-11-25 18:48     ` Gemini Lasswell
2018-11-25 20:02       ` Stefan Monnier
2018-11-26 12:39       ` Alan Mackenzie
2018-11-26 16:14         ` Gemini Lasswell
2018-11-26 17:06           ` Alan Mackenzie
2018-11-26 17:24             ` Alan Mackenzie
2018-11-29 12:26     ` scratch/accurate-warning-pos: Some real world timings Alan Mackenzie

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=5C02DB4B.6030609@gmx.at \
    --to=rudalics@gmx.at \
    --cc=acm@muc.de \
    --cc=cpitclaudel@gmail.com \
    --cc=eggert@cs.ucla.edu \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=michael_heerdegen@web.de \
    --cc=monnier@IRO.UMontreal.CA \
    /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).