GNU bug report logs -
#51264
Calling ‘texi-fragment->stexi’ in parallel leads to crashes
Previous Next
Reported by: Ludovic Courtès <ludo <at> gnu.org>
Date: Mon, 18 Oct 2021 12:55:01 UTC
Severity: important
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
[Message part 1 (text/plain, inline)]
Your message dated Fri, 22 Oct 2021 13:56:22 +0200
with message-id <87v91ptgrd.fsf <at> gnu.org>
and subject line Re: bug#51264: Calling ‘texi-fragment->stexi’ in parallel leads to crashes
has caused the debbugs.gnu.org bug report #51264,
regarding Calling ‘texi-fragment->stexi’ in parallel leads to crashes
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)
--
51264: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=51264
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
[Message part 3 (text/plain, inline)]
Hello!
I just stumbled upon this bug (here I use Guix to feed Texinfo strings
but I suppose we could reduce the test case to be Guix-less.)
Test case:
[bug-texi-parser-parallel.scm (text/plain, inline)]
(use-modules (guix) (gnu) (texinfo)
(ice-9 threads))
(define sequential? (getenv "SEQUENTIAL"))
(define (for-each/maybe-parallel proc lst)
(if (pk 'sequential? sequential?)
(for-each proc lst)
(n-par-for-each 10 proc lst)))
(for-each/maybe-parallel
(lambda (package)
(and=> (package-description package)
(lambda (str)
(catch 'parser-error
(lambda ()
(texi-fragment->stexi str))
(lambda args
(pk 'bah! args)
(error "failed"))))))
(fold-packages cons '()))
[Message part 5 (text/plain, inline)]
This code crashes when using ‘n-par-for-each’ but passes when run
sequentially:
--8<---------------cut here---------------start------------->8---
$ guix time-machine --commit=9cda21cf20a5c9bdf97e3a6d6c8f901fc3e4307d -- repl -- bug-texi-parser-parallel.scm
;;; (sequential? #f)
;;; (bah! (parser-error #f "Unknown command" codeand))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" endm))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" cod))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" comm))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" enum))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" cod))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" enem))
In thread:
failed
;;; (bah! (parser-error #f "Unknown command" endmand))
In thread:
failed
;;;;; (bah! (parser-error #f "Unknown command" eomm))
In thread:
failed
$ SEQUENTIAL=y guix time-machine --commit=9cda21cf20a5c9bdf97e3a6d6c8f901fc3e4307d -- repl -- bug-texi-parser-parallel.scm
;;; (sequential? "y")
$ guix repl -- <(echo '(pk (version))')
;;; ("3.0.7")
--8<---------------cut here---------------end--------------->8---
The bits shown in the ‘parser-error’ arguments suggests memory
corruption.
Ludo’.
[Message part 6 (message/rfc822, inline)]
[Message part 7 (text/plain, inline)]
Ludovic Courtès <ludo <at> gnu.org> skribis:
> I just stumbled upon this bug (here I use Guix to feed Texinfo strings
> but I suppose we could reduce the test case to be Guix-less.)
Here’s a standalone reproducer:
[bug-texi-parser-parallel.raw.scm (text/plain, inline)]
(use-modules (texinfo)
(sxml simple)
(ice-9 threads))
(define sequential? (getenv "SEQUENTIAL"))
(define (for-each/maybe-parallel proc lst)
(if (pk 'sequential? sequential?)
(for-each proc lst)
(n-par-for-each 6 proc lst)))
(setvbuf (current-output-port) 'none)
(for-each/maybe-parallel
(lambda (str)
(catch 'parser-error
(lambda ()
(texi-fragment->stexi str))
(lambda args
(pk 'bah! args '<<>> str)
(error "failed"))))
(make-list 5000 "Hello @code{world}, this is @emph{Texinfo}."))
[Message part 9 (text/plain, inline)]
It turned out that (sxml ssax input-parse) would reuse the same global
buffer for each call to ‘next-token’ and ‘next-token-of’ (the Texinfo
parser uses the latter).
Fixed in 3b42b1eb526a85e4fac772e1837046e56e3b9bdc.
Ludo’.
This bug report was last modified 3 years and 211 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.