> Now the question is how we build the bloom filter. A simple answer is > to let the rmap do the legwork, i.e., when it encounters dense > regions, add them to the filter. Of course this means we'll have to > use the rmap more than we do now, which is not ideal for some > workloads but necessary to avoid worst case scenarios. How would you maintain the bloom filter over time? Assume a process that always creates new mappings and unmaps old mappings. How do the stale old mappings get removed and avoid polluting it over time? Or are you thinking of one of the fancier bloom filter variants that support deletion? As I understand they're significantly less space efficient and more complicated. -Andi
