git-server-git.apps.pok.os.sepia.ceph.com Git

author	Andrew Kryczka <andrewkr@fb.com>
	Wed, 30 Aug 2017 06:02:34 +0000 (23:02 -0700)
committer	Andrew Kryczka <andrewkr@fb.com>
	Wed, 30 Aug 2017 06:02:34 +0000 (23:02 -0700)
commit	2b81d372eba5148d2e9dad8a3c9fdb92a358dde5
tree	055e5606eed125f719dd5d6a009571ea2ce569a6	tree \| snapshot
parent	cfaeb5846bec0ac90d8da15dc11f53eafbbfd537	commit \| diff

fix deleterange with memtable prefix bloom

Summary:
the range delete tombstones in memtable should be added to the aggregator even when the memtable's prefix bloom filter tells us the lookup key's not there. This bug could cause data to temporarily reappear until the memtable containing range deletions is flushed.

Reported in #2743.
Closes https://github.com/facebook/rocksdb/pull/2745

Differential Revision: D5639007

Pulled By: ajkr

fbshipit-source-id: 04fc6facb6f978340a3f639536f4ca7c0d73dfc9

HISTORY.md		diff \| blob \| history
db/db_range_del_test.cc		diff \| blob \| history
db/memtable.cc		diff \| blob \| history