This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Title: Fix memory cycles in Weak*Dictionary
Type: Stage:
Components: Library (Lib) Versions:
Status: closed Resolution: accepted
Dependencies: Superseder:
Assigned To: fdrake Nosy List: barry, ddaa10, fdrake
Priority: high Keywords: patch

Created on 2001-04-21 04:19 by ddaa10, last changed 2022-04-10 16:03 by admin. This issue is now closed.

File name Uploaded Description Edit
weakref-patch ddaa10, 2001-04-21 04:19
Messages (3)
msg36428 - (view) Author: Deleted User ddaa10 (ddaa10) Date: 2001-04-21 04:19
There is a subtle bug in WeakValueDictionary and
WeakKeyDictonary that cause them to create reference

This does not break anything by itself, but:
1/ it's bad to rely on the garbage collector;
2/ this could lead to uncollectable cycles if a
subclass of Weak*Dictionary defines __del__.

The trick is that deletions of a key/value of a item
trigger a remove function. That remove function is
strong referenced inside the weakref object. That
function internally stores a strong reference to the (dictionary) object. obviously
strong references the weakref object.

The minimal overhead solution would be to use a __del__
method that would empty the dictionary (thus
breaking the references loops at Weak*Dictionary
destruction). This solution is not acceptable since a
key (for WeakValueDictionnary) or a value (for
WeakKeyDictionary) can be a composite object. Such
composite object can contain a reference which
ultimately loops back to the Weak*Dictionary. Ok that's
an user ref cycle, but the library __del__ method makes
it uncollectable.

The solution I propose is to change the remove function
to contain, not a strong reference to the dictionary,
but a weak reference to the Weak*Dictionary object. If
the weakref has expired when the remove function is
called; we just do nothing.

This can lead to a silent change in behavior if the
user has broken the encapsulation of the
Weak*Dictionary and stored an external reference to the
data dictionary. I think the best possible solution
would be to give the choice between the two remove
functions at runtime through a module variable.

The attached patch makes a "" file
from the "" file of the 2.1 distribution.
That file implements my proposed solution. It has been
regression tested.

It would make sense to add test units for memory cycles
int, but I'm too newbie (and do not
have enough time) to do it myself.

Keep on the good work.
msg36429 - (view) Author: Barry A. Warsaw (barry) * (Python committer) Date: 2001-08-21 04:16
Logged In: YES 

Bumping the priority to 6 since It Would Be Good if Fred
could look at this before 2.2a2, but not critical.
msg36430 - (view) Author: Fred Drake (fdrake) (Python committer) Date: 2001-09-28 19:02
Logged In: YES 

Accepted with minor modifications as Lib/ revision
(Sorry for the delay!)
Date User Action Args
2022-04-10 16:03:59adminsetgithub: 34383
2001-04-21 04:19:19ddaa10create