GNU logs - #37231, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#37231: 27.0.50; concurrent XML validation yields an invalid file
Resent-From: Vincent Lefevre <vincent@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 30 Aug 2019 07:26:02 +0000
Resent-Message-ID: <handler.37231.B.156714991722294 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 37231 <at> debbugs.gnu.org
From: Vincent Lefevre <vincent@HIDDEN>
Date: Fri, 30 Aug 2019 09:25:01 +0200
Message-ID: <87r253m7xu.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>


Consider a big, valid XML file a.xml, e.g. using a vacuous schema, and
copy it to b.xml (thus a.xml and b.xml are the same file, though they
don't need to be identical for the test).

Open the files at the same time with: emacs -Q a.xml b.xml

Then one of them is regarded as invalid.

Note: This also works with "emacs -Q a.xml" then C-x 5 2 C-x f b.xml
while XML validation on a.xml hasn't finished.

The file a.xml must be big enough so that XML validation takes enough
time (or something like that). For instance, I can reproduce the bug
on my machine with a.xml being

<?xml version="1.0" encoding="utf-8"?>
<root>
  <a/>
  <a/>
  <a/>
  <a/>
  <a/>
  <a/>
  <a/>
...
  <a/>
  <a/>
</root>

where there are 3000 <a/>.


In GNU Emacs 27.0.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version 3.24.10)
 of 2019-08-23 built on zira
Repository revision: 7b0d49854675eae962c6baf8ae6fd90a2c87889b
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12004000
System Description: Debian GNU/Linux bullseye/sid

Recent messages:
Loading /home/vinc17/share/emacs/site-lisp/mutteditor.el (source)...done
Loading time...done
For information about GNU Emacs and the GNU system, type C-h C-a.

Configured using:
 'configure --prefix=/usr/local/emacs-trunk'

Configured features:
XPM JPEG TIFF GIF PNG RSVG SOUND GPM DBUS GSETTINGS GLIB NOTIFY INOTIFY
ACL LIBSELINUX GNUTLS LIBXML2 FREETYPE HARFBUZZ M17N_FLT LIBOTF XFT ZLIB
TOOLKIT_SCROLL_BARS GTK3 X11 XDBE XIM THREADS LIBSYSTEMD PDUMPER LCMS2
GMP

Important settings:
  value of $LC_COLLATE: POSIX
  value of $LC_CTYPE: en_US.UTF-8
  value of $LC_TIME: en_DK
  value of $LANG: POSIX
  locale-coding-system: utf-8-unix

Major mode: Lisp Interaction

Minor modes in effect:
  display-time-mode: t
  show-paren-mode: t
  tooltip-mode: t
  global-eldoc-mode: t
  eldoc-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  column-number-mode: t
  line-number-mode: t
  transient-mark-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr warnings emacsbug message rmc puny dired
dired-loaddefs format-spec rfc822 mml easymenu mml-sec password-cache
epa derived epg epg-config gnus-util rmail rmail-loaddefs
text-property-search time-date subr-x seq byte-opt gv bytecomp
byte-compile cconv mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
mm-util mail-prsvr mail-utils time cus-start cus-load paren cc-styles
cc-align cc-engine cc-vars cc-defs edmacro kmacro cl-loaddefs cl-lib
tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type
mwheel term/x-win x-win term/common-win x-dnd tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode
lisp-mode prog-mode register page menu-bar rfn-eshadow isearch timer
select scroll-bar mouse jit-lock font-lock syntax facemenu font-core
term/tty-colors frame cl-generic cham georgian utf-8-lang misc-lang
vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932
hebrew greek romanian slovak czech european ethiopic indian cyrillic
chinese composite charscript charprop case-table epa-hook jka-cmpr-hook
help simple abbrev obarray minibuffer cl-preloaded nadvice loaddefs
button faces cus-face macroexp files text-properties overlay sha1 md5
base64 format env code-pages mule custom widget hashtable-print-readable
backquote threads dbusbind inotify lcms2 dynamic-setting
system-font-setting font-render-setting move-toolbar gtk x-toolkit x
multi-tty make-network-process emacs)

Memory information:
((conses 16 65080 9343)
 (symbols 48 8743 1)
 (strings 32 20691 2807)
 (string-bytes 1 697512)
 (vectors 16 11221)
 (vector-slots 8 142606 9736)
 (floats 8 24 22)
 (intervals 56 217 0)
 (buffers 992 12))

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Vincent Lefevre <vincent@HIDDEN>
Subject: bug#37231: Acknowledgement (27.0.50; concurrent XML validation
 yields an invalid file)
Message-ID: <handler.37231.B.156714991722294.ack <at> debbugs.gnu.org>
References: <87r253m7xu.fsf@HIDDEN>
X-Gnu-PR-Message: ack 37231
X-Gnu-PR-Package: emacs
Reply-To: 37231 <at> debbugs.gnu.org
Date: Fri, 30 Aug 2019 07:26:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 37231 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
37231: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D37231
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 20 Sep 2019 18:50:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 20 14:50:28 2019
Received: from localhost ([127.0.0.1]:58495 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1iBNz9-0004zS-Qf
	for submit <at> debbugs.gnu.org; Fri, 20 Sep 2019 14:50:28 -0400
Received: from quimby.gnus.org ([80.91.231.51]:33808)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1iBNz8-0004zK-4I
 for control <at> debbugs.gnu.org; Fri, 20 Sep 2019 14:50:26 -0400
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie)
 by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.89) (envelope-from <larsi@HIDDEN>) id 1iBNz4-0004vy-Ek
 for control <at> debbugs.gnu.org; Fri, 20 Sep 2019 20:50:24 +0200
Date: Fri, 20 Sep 2019 20:50:22 +0200
Message-Id: <87h8569501.fsf@HIDDEN>
To: control <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
Subject: control message for bug #37231
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  tags 37231 + confirmed quit 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

tags 37231 + confirmed
quit

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#37231: 27.0.50; concurrent XML validation yields an invalid file
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 20 Sep 2019 18:54:01 +0000
Resent-Message-ID: <handler.37231.B37231.156900559419542 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Vincent Lefevre <vincent@HIDDEN>
Cc: 37231 <at> debbugs.gnu.org
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <87r253m7xu.fsf@HIDDEN>
Date: Fri, 20 Sep 2019 20:53:05 +0200
In-Reply-To: <87r253m7xu.fsf@HIDDEN> (Vincent Lefevre's message of "Fri,
 30 Aug 2019 09:25:01 +0200")
Message-ID: <87d0fu94vi.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Vincent Lefevre <vincent@HIDDEN> writes:

> Consider a big, valid XML file a.xml, e.g. using a vacuous schema, and
> copy it to b.xml (thus a.xml and b.xml are the same file, though they
> don't need to be identical for the test).
>
> Open the files at the same time with: emacs -Q a.xml b.xml
>
> Then one of them is regarded as invalid.

I can confirm that this bugs out.

I know nothing about the nxml code, but I did notice that about half of
the rng variables are defined thusly:

(defvar rng-validate-up-to-date-end nil
  "Last position where validation is known to be up to date.")
(make-variable-buffer-local 'rng-validate-up-to-date-end)

But the ones that it reports as failing here depends on variables like
`rng-pending-contents', which are not buffer-local.  So to test blindly,
I made that also buffer-local...  and then the entire process failed
with a backtrace, so that's not the solution.  :-)

But I do think it's really suspicious that some of those variables are
buffer-local while others aren't.  Perhaps somebody who knows how that
machinery works could have a peek at it.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.