redjack/ipset — Issue #11: Fix the caching behavior to not be such a memory hog
Author: dcreager
Created: 2012-02-29 20:42:42+00:00
State: open

Our internal BDD implementation uses a cache to memoize BDD nodes, just like any other. (You have to do this to satisfy the *non-redundancy* property of an ROBDD.) Unfortunately we never expire nodes from that cache right now. That whole section of the library deserves a re-think.