[Python-Dev] When do sets shrink?

["Martin v. Löwis"]

Noam Raphael wrote:
> Should something be done about it?

It's very difficult to do something useful about it. Even if
you manage to determine how much memory you want to release,
it's nearly impossible to actually release the memory to the
operating system, because of the many layers of memory
management software that all need to agree that the memory
should be reused somewhere else (instead of keeping it on
that layer, just in case somebody using that layer wants
some memory).

Regards,
Martin