GNU bug report logs - #29275
dynamic-link hangs on error

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#29275: closed (dynamic-link hangs on error)
Date: Wed, 22 Nov 2017 15:48:03 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 22 Nov 2017 16:47:57 +0100
with message-id <873756xqky.fsf <at> gnu.org>
and subject line Re: bug#29275: dynamic-link hangs on error
has caused the debbugs.gnu.org bug report #29275,
regarding dynamic-link hangs on error
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
29275: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29275
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: noxdafox <noxdafox <at> gmail.com>
To: bug-guile <at> gnu.org
Subject: dynamic-link hangs on error
Date: Sun, 12 Nov 2017 20:16:35 +0200

Greetings,

I am trying to call some C function which seems not to be included in 
Guile library (fnmatch).

If dynamic-link is given wrong library objects, it will hang forcing the 
user to kill the VM as it becomes unresponsive.

I could find at least 2 ways to reproduce it:

1. Calling dynamic-link on a wrong object

2. Calling dynamic-link subsequently on 2 non existing objects

Here's an example:

GNU Guile 2.2.2
Copyright (C) 1995-2017 Free Software Foundation, Inc.

Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.

Enter `,help' for help.
scheme@(guile-user)> (use-modules (system foreign))
scheme@(guile-user)> (define libc-obj (dynamic-link "nonexisting"))
ERROR: In procedure dynamic-link:
ERROR: In procedure dynamic-link: file: "nonexisting", message: "file 
not found"

Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user) [1]> (define libc-obj (dynamic-link "nonexisting"))

^^^ here the VM becomes unresponsive.

[Message part 3 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: noxdafox <noxdafox <at> gmail.com>
Cc: 29275-done <at> debbugs.gnu.org
Subject: Re: bug#29275: dynamic-link hangs on error
Date: Wed, 22 Nov 2017 16:47:57 +0100

Hello,

noxdafox <noxdafox <at> gmail.com> skribis:

> GNU Guile 2.2.2
> Copyright (C) 1995-2017 Free Software Foundation, Inc.
>
> Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
> This program is free software, and you are welcome to redistribute it
> under certain conditions; type `,show c' for details.
>
> Enter `,help' for help.
> scheme@(guile-user)> (use-modules (system foreign))
> scheme@(guile-user)> (define libc-obj (dynamic-link "nonexisting"))
> ERROR: In procedure dynamic-link:
> ERROR: In procedure dynamic-link: file: "nonexisting", message: "file
> not found"
>
> Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
> scheme@(guile-user) [1]> (define libc-obj (dynamic-link "nonexisting"))
>
> ^^^ here the VM becomes unresponsive.

This is because libguile synchronizes uses of ‘dynamic-link’ with a
non-recursive mutex.  Here, the “inner” ‘dynamic-link’ call occurs while
the mutex is already held by the calling thread, which is why it just
hangs.

Fixed in commit 48d42553ef5a9c2240bc2296d1b38dbfd5fca1ac, which will be
in the next 2.2 release.

Thanks,
Ludo’.

Previous Next

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