Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Hashtbl.remove/clear never shrink the internal bucket array #5555
Original bug ID: 5555
The internal bucket array of an hashtable grows in Hashtbl.add/replace,
Comment author: @rixed
Oh, reading your comment then the actual diff I realize that reset also clears the hashtbl.
I then respectfully disagree with closing this ticket, then.
It seams to me that the initial concern was that when using long lived hashtables which sizes may vary in great proportion then the overall size of all hashtable growth continuously, which hurts memory and thus performances.
I understand that shrinking dynamically a hash is a tedious topic (one must avoid to continuously grow/shrink), though.