GNU bug report logs - #19235
make-fresh-user-module procedure leaks memory

Previous Next

Full log

View this message in rfc822 format

From: Chris Vine <chris <at> cvine.freeserve.co.uk>
To: Mark H Weaver <mhw <at> netris.org>
Cc: 19235 <at> debbugs.gnu.org
Subject: bug#19235: make-fresh-user-module procedure leaks memory
Date: Fri, 26 Dec 2014 18:26:08 +0000

As far as I can tell the make-fresh-user-module procedure is not called
by guile itself, and providing a global mutex for it with a binding
enabling it to be called from scheme code seems to work fine.

This also makes it straightforward to incorporate in a thread-safe
way the code you suggested to free stale user modules.  However, as I
mentioned, I am a bit reluctant to incorporate code which might break
in the future.  Is there any possibility that a "delete-module!"
procedure could be included within the public guile API for the next
release of guile?  It seems like something that could be useful to
anyone using non-default user modules in their code.

Chris

Previous Next

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